I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.
unbound-generics. Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
58freer-church. Church-encoding of the Freer monad
29monovm-embed-sample. Example showing how to embed .NET 6 MonoVM in a native C application
23mono. Mono open source ECMA CLI, C# and .NET implementation.
16hithread. Barebones example of threads on .NET for WebAssembly
13sample-dotnet-wasi-vscode. A sample VS Code extension that uses .NET WASI WebAssembly
11monostump. A logging utility for the Mono AOT compiler
8centrinel. Analyze how a C program uses memory regions
7MSBuildStructuredLog. A logger for MSBuild that records a structured representation of executed targets, tasks, property and item values.
6JsonToItemsTask. An MSBuild Task Factory for reading JSON blobs into properties and items
5wasmbo. You can build anything
4mono-in-core. .NET 6 CoreCLR app hosting a .NET 6 MonoVM app
4dotnet-webgl-demo. Small example of using .NET WebAssembly to render WebGL
3gust. Small language with Pierce/Turner type inference
3sealsharp. Experimental C# bindings for SEAL
3llvm-65116. linux-x64 repro for inline asm `call` no dtor
2dotnet-wasm-raytracer. port of old demo
2pro-dart. An exercise in cooperative asynchronous programming
2emile. Extensible ML for Interesting Experiments
2async-yield-example. Example of using IAsyncEnumerable<T>
2friendly_pipes. An experiment in inter-process communication
1mcp-server-dunnet. a Model Context Protocol for the dunnet text adventure game inside Emacs
1gamble. Probabilistic Programming
1XLamX. Lambda calc stepper for mobile devices
1repro-coreclr-lldb. C
1cppguide-wip.
1eventthing. DOM event to async iterator
1magic-const-rewriter. Replace a payload in an object file by searching for a magic constant
1clang-compilation-database. Haskell library for working with the Clang JSON Compilation Database Format
1naothello. Experiment with NativeAOT static libs
1dnne_monovm_sample. Sample calling MonoVM using the DNNE NuGet
1child. χld: a χpothetical linker
1react-codemirror. Now you're thinking with Portals
1interp-enum-compare-repro. C#
1indentation. mirror of https://bitbucket.org/adamsmd/indentation
1nodroid. C#
1typed-seq. Type-directed sequences (ala van der Ploeg and Kiselyov)
1wasm-nl-no-marshal. C#
1small. Small experimental bits and pieces
1