lambdageek
Linked Accounts
lambdageek owns the following accounts on other platforms:
Repositories
unbound-generics Stars 58 Updated 2 months ago
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
centrinel Stars 7 Updated 8 years ago
Analyze how a C program uses memory regions
clang-compilation-database Stars 1 Updated 9 years ago
Haskell library for working with the Clang JSON Compilation Database Format
insomnia-dev (fork) Stars 0 Updated 9 years ago
Insomnia: A modular probabilistic programming language
History
lambdageek joined 9 years ago.