vmchale / polyglot
Tool to count lines of source code.
☆250Updated last year
Alternatives and similar repositories for polyglot:
Users that are interested in polyglot are comparing it to the libraries listed below
- A simple expressions language with polymorphic extensible row types.☆302Updated last year
- Compiler for the Mirth programming language.☆460Updated this week
- Functional programming with fewer indirections☆760Updated 4 years ago
- A minimal proof language.☆204Updated 6 years ago
- Shake build system☆779Updated last month
- The Makam Metalanguage☆198Updated 2 years ago
- The compiler for Keli☆172Updated 5 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆205Updated 11 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆607Updated last month
- Haskell JIT☆184Updated 5 years ago
- Malfunctional Programming☆346Updated 4 months ago
- A modern, extensible and well-documented prettyprinter.☆301Updated 4 months ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆375Updated last year
- A compiler for functional programs on serialized data☆158Updated this week
- Programming language agnostic type construction language based on polynomials.☆367Updated 10 months ago
- 1ML prototype interpreter☆280Updated 4 years ago
- Build Systems à la Carte☆251Updated 9 months ago
- Dependent type checker using normalisation by evaluation☆258Updated 6 months ago
- Richard A. Eisenberg's PhD Dissertation☆206Updated 6 years ago
- Fast Aho-Corasick string searching☆187Updated last month
- Frank compiler☆288Updated 11 months ago
- optics for Haskell with the most amazing type errors you've seen☆242Updated 5 years ago
- Slides from talks that I give☆294Updated last year
- Functional teaching language for use in a discrete mathematics course☆168Updated 2 months ago
- Spartan type theory☆262Updated 10 months ago
- The Happy parser generator for Haskell☆301Updated last month
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- Functional workflows☆364Updated last year
- Forward build system with speculation and caching☆102Updated last year
- Compile Idris to Vimscript, like you always wanted.☆131Updated 7 years ago