Pinned Repositories
awesome-programming-languages
The list of an awesome programming languages that you might be interested in
csc
descriptive
Self-describing consumers/parsers
eashanhatti.github.io
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
emgm
Extensible and Modular Generics for the Masses
konna
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
peridot
A fast functional language based on two level type theory
proglangdesign.github.io
A website for the #proglangdesign community on freenode
eashanhatti's Repositories
eashanhatti/peridot
A fast functional language based on two level type theory
eashanhatti/konna
eashanhatti/awesome-programming-languages
The list of an awesome programming languages that you might be interested in
eashanhatti/csc
eashanhatti/descriptive
Self-describing consumers/parsers
eashanhatti/eashanhatti.github.io
eashanhatti/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
eashanhatti/emgm
Extensible and Modular Generics for the Masses
eashanhatti/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
eashanhatti/proglangdesign.github.io
A website for the #proglangdesign community on freenode