andgate/type-theory-compiler
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
Haskell
Stargazers
- amirDublin, Ireland
- andgateSeattle, WA
- andorphttps://www.redbubble.com/shop/ap/92458473
- barambaniDublin, Ireland
- brendanzab@yeslogic
- chessai
- clayratIMDEA Software
- cyberglotGlasgow, UK
- esnekoLatvia
- felko
- gauravssnllocalhost
- googleson78@tripshot
- halhenke
- heyrutvikGujarat, India
- joom@Bloomberg
- jsoo1Santa Ana, CA
- jvalinsky
- kraglikRevolut
- L-TChenInstitute of Information Science, Academia Sinica
- lucasflorianiBrazil / Santa Catarina
- lucazulianMilan, Italy
- marcoonroadRio de Janeiro, RJ - Brasil.
- mgrabovskyFakta o klimatu
- mrkgnao
- mukeshtiwariSwansea
- sdiehlLondon
- segeljaktKTH Royal Institute of Technology
- simmsb@artificialio
- steshaw@tweag
- themattchan@awakesecurity
- timothyklim
- tkersey@thisisartium
- velveteerH-E-B
- vthenonekonata
- wiresStatebox
- xuanruiqiGraduate School of Mathematics, Nagoya University