Stars
Compilers
8 repositories
Automatically exported from code.google.com/p/intuitionistic
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.