snowleopard / buildLinks
Build Systems à la Carte
☆273Updated last year
Alternatives and similar repositories for build
Users that are interested in build are comparing it to the libraries listed below
Sorting:
- Forward build system with speculation and caching☆110Updated 2 years ago
- Tool to count lines of source code.☆254Updated last year
- A compiler for functional programs on serialized data☆173Updated this week
- Cogent Project☆174Updated 9 months ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆216Updated 2 years ago
- Elsa is a lambda calculus evaluator☆191Updated 3 months ago
- Fast Aho-Corasick string searching☆192Updated 11 months ago
- Haskell rules for Bazel.☆279Updated this week
- A simple expressions language with polymorphic extensible row types.☆305Updated 2 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated this week
- Robust multi-prompt delimited control and effect handlers in C/C++☆130Updated 2 years ago
- Build system☆131Updated 2 months ago
- The adventures of a Haskell compiler☆236Updated 2 months ago
- An implementation of Pie in Haskell☆211Updated 6 years ago
- The LLVM LHC Haskell Optimization System☆202Updated 5 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆120Updated 4 years ago
- Equational laws for free☆264Updated 7 months ago
- GRIN backend for GHC☆143Updated 4 years ago
- History of Programming Languages, Spring 2017☆137Updated 7 years ago
- Embedded specification language & model checker in Haskell☆179Updated 8 months ago
- Dependent type checker using normalisation by evaluation☆270Updated last year
- Link to preprints for ICFP'17 and colocated events☆136Updated 7 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆210Updated 2 months ago
- Frank compiler☆303Updated last year
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆375Updated 2 years ago
- Spartan type theory☆273Updated 3 months ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- Symbolic formula representation and solver interaction library☆171Updated 3 weeks ago