snowleopard / buildLinks
Build Systems à la Carte
☆256Updated 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☆108Updated last year
- Tool to count lines of source code.☆252Updated last year
- A compiler for functional programs on serialized data☆167Updated this week
- Cogent Project☆169Updated 6 months ago
- A simple expressions language with polymorphic extensible row types.☆303Updated 2 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated 3 weeks ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- An implementation of Pie in Haskell☆209Updated 5 years ago
- Haskell rules for Bazel.☆276Updated last week
- Fast Aho-Corasick string searching☆187Updated 7 months ago
- Build system☆126Updated last year
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆210Updated last month
- GRIN backend for GHC☆144Updated 3 years ago
- Link to preprints for ICFP'17 and colocated events☆136Updated 7 years ago
- Equational laws for free☆259Updated 4 months ago
- Embedded specification language & model checker in Haskell☆174Updated 4 months ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆119Updated 4 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆124Updated last year
- Elsa is a lambda calculus evaluator☆187Updated 5 months ago
- Relational programming in Haskell. Mostly developed on twitch.☆265Updated last year
- A build tool/package manager for C, configured with Dhall☆67Updated last year
- The adventures of a Haskell compiler☆231Updated 4 months ago
- The LLVM LHC Haskell Optimization System☆202Updated 5 years ago
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆197Updated 4 years ago
- Symbolic formula representation and solver interaction library☆168Updated 2 weeks ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆372Updated 2 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- Shake build system☆788Updated 7 months ago
- The Art of the Propagator. See also:☆174Updated last year
- A curated list of awesome Coq frameworks, libraries and software.☆234Updated 3 weeks ago