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 2 years ago
- Functional programming with fewer indirections☆762Updated 4 years ago
- Shake build system☆781Updated 3 months ago
- A compiler for functional programs on serialized data☆163Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆612Updated last month
- A small and expressive dependently typed language☆129Updated 4 years ago
- Programming language agnostic type construction language based on polynomials.☆367Updated 11 months ago
- The LLVM LHC Haskell Optimization System☆200Updated 5 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆379Updated last year
- Malfunctional Programming☆347Updated 6 months ago
- 1ML prototype interpreter☆282Updated 4 years ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- The adventures of a Haskell compiler☆225Updated 5 months ago
- Parser combinators for Idris☆242Updated 6 years ago
- Fast Aho-Corasick string searching☆187Updated 3 months ago
- The video editor built for screencasters☆432Updated 4 years ago
- GRIN backend for GHC☆144Updated 3 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- Compiler for the Mirth programming language.☆463Updated this week
- Total functional programming (ESFP) literature☆187Updated 6 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆205Updated last year
- A high-level ncurses alternative written in Haskell☆321Updated 2 months ago
- Algebraic graphs☆738Updated 11 months ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆159Updated 4 years ago
- A mostly functional haskell compiler written in rust☆314Updated last year
- Optimal evaluator of λ-calculus terms.☆275Updated 2 years ago
- ☆291Updated 5 months ago
- Add ACID guarantees to any serializable Haskell data structure☆302Updated last month
- Use snippets of Rust inline in your Haskell programs☆226Updated 3 years ago