Stars
The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher kinded types (no partial a…
A comparison of how computational effects and handlers are implemented in various programming languages.
A repository for the stack switching proposal.
Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-type-variable constraints. Nevertheless, it's probably enough …
A collaborative bibliography of work related to the theory and practice of computational effects
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
Must read research papers and links to tools and datasets that are related to using machine learning for compilers and systems optimisation
Draw on your GitHub contribution graph ░▒▓█
a playground for making 3D art with lisp and math
A simple, fun, and interactive way to learn the F# language through testing.
RE# - A high-performance, automata based regex engine with first-class support for intersection and complement operations.
🌈 Colour / Color conversion, interpolation, and comparison for .NET
Microsoft PowerToys is a collection of utilities that supercharge productivity and customization on Windows
This repo contains Minsk, a handwritten compiler in C#. It illustrates basic concepts of compiler construction and how one can tool the language inside of an IDE by exposing APIs for parsing and ty…
Weighs the soul of incoming HTTP requests to stop AI crawlers
Stride (formerly Xenko), a free and open-source cross-platform C# game engine.
This is accompanying code for our JCGT / I3D paper, "A Dataset and Explorer for 3D Signed Distance Functions (SDF)".
Formalization of CBPV extended with effect and coeffect tracking