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
XLamX
Lambda calc stepper for mobile devices
F#
1
0
0
Updated 9 years ago
public
react-codemirror
Now you're thinking with Portals
TypeScript
1
0
0
Updated 3 years ago
public
magic-const-rewriter
Replace a payload in an object file by searching for a magic constant
C#
1
0
0
Updated 10 months ago
public
cppguide-wip
1
0
3
Updated 5 years ago
public
nodroid
C#
1
0
0
Updated 3 years ago
public
interp-enum-compare-repro
C#
1
0
0
Updated 2 years ago
public
eventthing
DOM event to async iterator
TypeScript
1
0
0
Updated 3 years ago
public
dot-emacs
My .emacs.d/init.el
Emacs Lisp
0
0
0
Updated 5 years ago
public
repro-gh-21032
C#
0
0
0
Updated 4 years ago
public
webcil-writer
Embed .NET assemblies in a custom container
C#
0
0
0
Updated 2 years ago
public
sparse
Linux kernel static analyzer for C (Upstream: git://git.kernel.org/pub/scm/devel/sparse/sparse.git)
C
0
0
0
Updated 8 years ago
public
gh-7393-mock
C#
0
0
0
Updated 7 years ago