vmchale / polyglot
Tool to count lines of source code.
☆250Updated 11 months ago
Alternatives and similar repositories for polyglot:
Users that are interested in polyglot are comparing it to the libraries listed below
- Compiler for the Mirth programming language.☆453Updated this week
- A simple expressions language with polymorphic extensible row types.☆303Updated last year
- The Makam Metalanguage☆196Updated last year
- 1ML prototype interpreter☆275Updated 4 years ago
- Shake build system☆773Updated 2 weeks ago
- The compiler for Keli☆172Updated 5 years ago
- Malfunctional Programming☆343Updated 2 months ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆370Updated last year
- Functional programming with fewer indirections☆760Updated 4 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆596Updated last month
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆194Updated 4 years ago
- Fast Aho-Corasick string searching☆187Updated last month
- Spartan type theory☆261Updated 7 months ago
- Programming language agnostic type construction language based on polynomials.☆367Updated 7 months ago
- Frank compiler☆281Updated 8 months ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- A modern, extensible and well-documented prettyprinter.☆298Updated 2 months ago
- Forward build system with speculation and caching☆102Updated last year
- The LLVM LHC Haskell Optimization System☆198Updated 4 years ago
- Industrial-strength monadic parser combinator library☆929Updated last month
- Resources for type theory, functional programming, etc.☆313Updated 3 years ago
- Bootstrapping ATS3☆205Updated this week
- A fast, flexible, fused effect system for Haskell☆649Updated last week
- A continuation of Stephen Diehl's Write You a Haskell☆158Updated 4 years ago
- My slides and compilation of resources.☆150Updated 4 months ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆116Updated 3 years ago
- Build Systems à la Carte☆248Updated 6 months ago
- A compiler for functional programs on serialized data☆158Updated last month
- GRIN backend for GHC☆144Updated 3 years ago