snowleopard / buildLinks
Build Systems à la Carte
☆253Updated 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☆107Updated last year
- A compiler for functional programs on serialized data☆164Updated last month
- Tool to count lines of source code.☆252Updated last year
- A simple expressions language with polymorphic extensible row types.☆302Updated 2 years ago
- Fast Aho-Corasick string searching☆187Updated 5 months ago
- Elsa is a lambda calculus evaluator☆187Updated 3 months ago
- Cogent Project☆165Updated 4 months ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- Relational programming in Haskell. Mostly developed on twitch.☆263Updated 10 months ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated this week
- Build system☆123Updated last year
- An implementation of Pie in Haskell☆205Updated 5 years ago
- GRIN backend for GHC☆144Updated 3 years ago
- Embedded specification language & model checker in Haskell☆174Updated 2 months ago
- Programming language agnostic type construction language based on polynomials.☆369Updated last year
- Equational laws for free☆259Updated 2 months ago
- The Art of the Propagator. See also:☆174Updated last year
- The adventures of a Haskell compiler☆227Updated 2 months ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- Symbolic formula representation and solver interaction library☆165Updated 3 weeks ago
- Haskell rules for Bazel.☆272Updated this week
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- Example code for how we swap compiled code within a running Haskell process.☆172Updated 6 years ago
- Dependent type checker using normalisation by evaluation☆263Updated 10 months ago
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆197Updated 3 years ago
- Performance comparison of parallel ray tracing in functional programming languages☆307Updated last year
- GHC Whole Program Compiler and External STG IR tooling☆118Updated 8 months ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆141Updated 6 years ago
- A Pascal to LLVM compiler in Haskell☆125Updated 5 years ago