vmchale / polyglotLinks
Tool to count lines of source code.
☆254Updated 2 years ago
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.☆305Updated 2 years ago
- A small and expressive dependently typed language☆131Updated 5 years ago
- A minimal proof language.☆212Updated 7 years ago
- Haskell In New Clothes☆110Updated 5 years ago
- Build Systems à la Carte☆273Updated last year
- 1ML prototype interpreter☆290Updated 5 years ago
- The LLVM LHC Haskell Optimization System☆202Updated 5 years ago
- Malfunctional Programming☆351Updated last year
- A Pascal to LLVM compiler in Haskell☆124Updated 6 years ago
- A compiler for functional programs on serialized data☆174Updated this week
- The Makam Metalanguage☆199Updated 2 years ago
- Play Minesweeper by formally proving your moves in Idris☆169Updated last year
- Programming language agnostic type construction language based on polynomials.☆370Updated last year
- Fast Aho-Corasick string searching☆193Updated 11 months ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆160Updated 6 years ago
- The compiler for Keli☆173Updated 6 years ago
- Parser combinators for Idris☆244Updated 6 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- Frank compiler☆303Updated last year
- Elsa is a lambda calculus evaluator☆192Updated 3 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆383Updated 7 months ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 4 years ago
- djb's redo implementation in Haskell (for Haskell from Scratch video series)☆148Updated 8 years ago
- Haskell JIT☆187Updated 6 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆388Updated 2 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆216Updated 2 years ago
- Compiler for the Mirth programming language.☆483Updated last month
- Plasma Programming Language☆167Updated 9 months ago
- Source repository for https://hackage.haskell.org/package/language-c☆95Updated 2 months ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆120Updated 4 years ago