Stars
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
A collection of interesting libraries/tools for Monogame based game projects
Extensions to make MonoGame more awesome
C# / .NET Bindings for Yoga, Facebook's embeddable flexbox layout library
Immediate mode 3D gizmo for scene editing and other controls based on Dear Imgui
Just like System.Web.Abstractions, but for System.IO. Yay for testable IO access!