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
dotnet-webgl-demo
Small example of using .NET WebAssembly to render WebGL
C#
3
0
0
Updated 7 months ago
public
llvm-65116
linux-x64 repro for inline asm `call` no dtor
C++
2
0
0
Updated a year ago
public
emile
Extensible ML for Interesting Experiments
Haskell
2
0
0
Updated 7 years ago
public
async-yield-example
Example of using IAsyncEnumerable<T>
C#
2
0
0
Updated 3 years ago
public
pro-dart
An exercise in cooperative asynchronous programming
Dart
2
0
0
Updated 5 years ago
public
repro-coreclr-lldb
C
1
0
0
Updated 10 months ago
public
dnne_monovm_sample
Sample calling MonoVM using the DNNE NuGet
Makefile
1
0
0
Updated 3 years ago
public
clang-compilation-database
Haskell library for working with the Clang JSON Compilation Database Format
Haskell
1
0
1
Updated 7 years ago
public
wasm-nl-no-marshal
C#
1
0
0
Updated 2 years ago
public
small
Small experimental bits and pieces
Haskell
1
0
0
Updated 8 years ago
public
typed-seq
Type-directed sequences (ala van der Ploeg and Kiselyov)
Haskell
1
0
0
Updated 11 years ago
public
indentation
mirror of https://bitbucket.org/adamsmd/indentation
Haskell
1
1
0
Updated 6 years ago