vmchale / polyglotLinks
Tool to count lines of source code.
☆252Updated last year
Alternatives and similar repositories for polyglot
Users that are interested in polyglot are comparing it to the libraries listed below
Sorting:
- A simple expressions language with polymorphic extensible row types.☆302Updated 2 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆617Updated 3 weeks ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆379Updated last year
- Functional programming with fewer indirections☆765Updated 4 years ago
- A categorical programming language with effects☆278Updated 2 years ago
- A minimal proof language.☆205Updated 6 years ago
- Malfunctional Programming☆347Updated 6 months ago
- A compiler for functional programs on serialized data☆164Updated this week
- Compiler for the Mirth programming language.☆466Updated last week
- Functional workflows☆365Updated last year
- Dependent type checker using normalisation by evaluation☆260Updated 8 months ago
- 1ML prototype interpreter☆282Updated 4 years ago
- Programming language agnostic type construction language based on polynomials.☆368Updated last year
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- Bootstrapping ATS3☆218Updated this week
- Shake build system☆784Updated 4 months ago
- Build Systems à la Carte☆252Updated 11 months ago
- A modern, extensible and well-documented prettyprinter.☆302Updated 6 months ago
- The adventures of a Haskell compiler☆225Updated 3 weeks ago
- Spartan type theory☆266Updated last year
- Functional teaching language for use in a discrete mathematics course☆169Updated last month
- The compiler for Keli☆173Updated 6 years ago
- Proving leftpad correct two-dozen different ways☆674Updated last month
- GRIN backend for GHC☆144Updated 3 years ago
- Parser combinators for Idris☆243Updated 6 years ago
- Haskell-based shell scripting language☆600Updated 3 weeks ago
- Haskell + Lisp☆209Updated last year
- A high-level ncurses alternative written in Haskell☆321Updated 2 months ago