l
lambdageek
I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.
141 repositories
175 followers
Boston, MA
Repositories
Select a repository to view its commits, contributors, and more.public
unbound-generics
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
Haskell
56
18
18
Updated 3 months ago
public
freer-church
Church-encoding of the Freer monad
Haskell
28
1
0
Updated 2 months ago
public
monovm-embed-sample
Example showing how to embed .NET 6 MonoVM in a native C application
Makefile
20
3
0
Updated 4 months ago
public
hithread
Barebones example of threads on .NET for WebAssembly
JavaScript
12
0
0
Updated 5 months ago
public
sample-dotnet-wasi-vscode
A sample VS Code extension that uses .NET WASI WebAssembly
TypeScript
11
1
0
Updated a year ago
public
monostump
A logging utility for the Mono AOT compiler
C#
9
0
0
Updated 4 months ago
public
centrinel
Analyze how a C program uses memory regions
Haskell
7
0
5
Updated 5 years ago
public
JsonToItemsTask
An MSBuild Task Factory for reading JSON blobs into properties and items
C#
5
0
0
Updated 4 years ago
public
wasmbo
You can build anything
JavaScript
4
0
0
Updated a year ago
public
mono-in-core
.NET 6 CoreCLR app hosting a .NET 6 MonoVM app
C#
4
0
0
Updated 7 months ago
public
gust
Small language with Pierce/Turner type inference
Haskell
3
3
0
Updated 3 years ago
public
sealsharp
Experimental C# bindings for SEAL
C#
3
0
1
Updated 2 years ago