vmchale / polyglot
Tool to count lines of source code.
☆249Updated 7 months ago
Related projects: ⓘ
- A simple expressions language with polymorphic extensible row types.☆300Updated last year
- Compiler for the Mirth programming language.☆445Updated last month
- Bootstrapping ATS3☆194Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆588Updated 4 months ago
- Programming language agnostic type construction language based on polynomials.☆366Updated 3 months ago
- Functional programming with fewer indirections☆758Updated 4 years ago
- Malfunctional Programming☆336Updated 2 months ago
- Shake build system☆770Updated 4 months ago
- Frank compiler☆274Updated 4 months ago
- The Makam Metalanguage☆187Updated last year
- The LLVM LHC Haskell Optimization System☆198Updated 4 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆186Updated 4 years ago
- Haskell + Lisp☆205Updated 4 months ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆364Updated 10 months ago
- 1ML prototype interpreter☆271Updated 4 years ago
- Spartan type theory☆250Updated 3 months ago
- Build Systems à la Carte☆243Updated 2 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆353Updated last week
- Resources for type theory, functional programming, etc.☆309Updated 3 years ago
- A compiler for functional programs on serialized data☆157Updated last month
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆363Updated last year
- Haskell JIT☆181Updated 4 years ago
- The compiler for Keli☆171Updated 5 years ago
- Dependent type checker using normalisation by evaluation☆251Updated 2 weeks ago
- Richard A. Eisenberg's PhD Dissertation☆207Updated 6 years ago
- Haskell In New Clothes☆111Updated 4 years ago
- My slides and compilation of resources.☆146Updated 2 weeks ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆115Updated 3 years ago
- Beating unix `wc` in Haskell☆136Updated 3 years ago
- ☆284Updated 8 months ago