snowleopard / buildLinks
Build Systems à la Carte
☆267Updated 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 last week
- Cogent Project☆172Updated 8 months ago
- A simple expressions language with polymorphic extensible row types.☆304Updated 2 years ago
- Elsa is a lambda calculus evaluator☆191Updated 2 months ago
- The adventures of a Haskell compiler☆234Updated last month
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Fast Aho-Corasick string searching☆192Updated 10 months ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆216Updated 2 years ago
- Link to preprints for ICFP'17 and colocated events☆136Updated 7 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆206Updated 5 years ago
- An implementation of Pie in Haskell☆211Updated 6 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated this week
- The Makam Metalanguage☆198Updated 2 years ago
- Haskell rules for Bazel.☆278Updated this week
- Build system☆131Updated last month
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆129Updated 2 years ago
- Dependent type checker using normalisation by evaluation☆269Updated last year
- Performance comparison of parallel ray tracing in functional programming languages☆307Updated 2 years ago
- GRIN backend for GHC☆143Updated 4 years ago
- CLI-driven TLA+ project template☆43Updated 6 years ago
- Play Minesweeper by formally proving your moves in Idris☆168Updated last year
- Relational programming in Haskell. Mostly developed on twitch.☆266Updated last year
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- 1ML prototype interpreter☆289Updated 5 years ago
- The LLVM LHC Haskell Optimization System☆202Updated 5 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆209Updated last month