Boston, MA

Aleksey Kliger (λgeek)

Expert
@lambdageek

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)

58

freer-church. Church-encoding of the Freer monad

29

monovm-embed-sample. Example showing how to embed .NET 6 MonoVM in a native C application

23

mono. Mono open source ECMA CLI, C# and .NET implementation.

16

hithread. Barebones example of threads on .NET for WebAssembly

13

sample-dotnet-wasi-vscode. A sample VS Code extension that uses .NET WASI WebAssembly

11

monostump. A logging utility for the Mono AOT compiler

8

centrinel. Analyze how a C program uses memory regions

7

MSBuildStructuredLog. A logger for MSBuild that records a structured representation of executed targets, tasks, property and item values.

6

JsonToItemsTask. An MSBuild Task Factory for reading JSON blobs into properties and items

5

wasmbo. You can build anything

4

mono-in-core. .NET 6 CoreCLR app hosting a .NET 6 MonoVM app

4

dotnet-webgl-demo. Small example of using .NET WebAssembly to render WebGL

3

gust. Small language with Pierce/Turner type inference

3

sealsharp. Experimental C# bindings for SEAL

3

llvm-65116. linux-x64 repro for inline asm `call` no dtor

2

dotnet-wasm-raytracer. port of old demo

2

pro-dart. An exercise in cooperative asynchronous programming

2

emile. Extensible ML for Interesting Experiments

2

async-yield-example. Example of using IAsyncEnumerable<T>

2

friendly_pipes. An experiment in inter-process communication

1

mcp-server-dunnet. a Model Context Protocol for the dunnet text adventure game inside Emacs

1

gamble. Probabilistic Programming

1

XLamX. Lambda calc stepper for mobile devices

1

repro-coreclr-lldb. C

1

cppguide-wip.

1

eventthing. DOM event to async iterator

1

magic-const-rewriter. Replace a payload in an object file by searching for a magic constant

1

clang-compilation-database. Haskell library for working with the Clang JSON Compilation Database Format

1

naothello. Experiment with NativeAOT static libs

1

dnne_monovm_sample. Sample calling MonoVM using the DNNE NuGet

1

child. χld: a χpothetical linker

1

react-codemirror. Now you're thinking with Portals

1

interp-enum-compare-repro. C#

1

indentation. mirror of https://bitbucket.org/adamsmd/indentation

1

nodroid. C#

1

typed-seq. Type-directed sequences (ala van der Ploeg and Kiselyov)

1

wasm-nl-no-marshal. C#

1

small. Small experimental bits and pieces

1
39
Apply