snowleopard / buildLinks
Build Systems à la Carte
☆255Updated 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
- Cogent Project☆166Updated 5 months ago
- Tool to count lines of source code.☆252Updated last year
- A compiler for functional programs on serialized data☆167Updated 2 months ago
- Fast Aho-Corasick string searching☆187Updated 6 months ago
- A simple expressions language with polymorphic extensible row types.☆303Updated 2 years ago
- Haskell rules for Bazel.☆276Updated last week
- 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
- Elsa is a lambda calculus evaluator☆187Updated 5 months ago
- Embedded specification language & model checker in Haskell☆174Updated 4 months ago
- Build system☆124Updated last year
- GRIN backend for GHC☆144Updated 3 years ago
- Equational laws for free☆259Updated 3 months ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆208Updated 3 weeks ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- The adventures of a Haskell compiler☆231Updated 3 months ago
- Relational programming in Haskell. Mostly developed on twitch.☆264Updated 11 months ago
- A build tool/package manager for C, configured with Dhall☆67Updated last year
- Functional teaching language for use in a discrete mathematics course☆170Updated 2 months ago
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆197Updated 3 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated last week
- Play Minesweeper by formally proving your moves in Idris☆167Updated 11 months ago
- Symbolic formula representation and solver interaction library☆168Updated this week
- Robust multi-prompt delimited control and effect handlers in C/C++☆124Updated last year
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆201Updated 5 years ago
- Richard A. Eisenberg's PhD Dissertation☆205Updated 7 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆371Updated 2 years ago
- The Makam Metalanguage☆199Updated 2 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago