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