snowleopard / build
Build Systems à la Carte
☆250Updated 7 months ago
Alternatives and similar repositories for build:
Users that are interested in build are comparing it to the libraries listed below
- Shake build system☆775Updated last week
- Forward build system with speculation and caching☆102Updated last year
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆212Updated last year
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆195Updated 4 years ago
- A simple expressions language with polymorphic extensible row types.☆303Updated last year
- Relational programming in Haskell. Mostly developed on twitch.☆258Updated 4 months ago
- A compiler for functional programs on serialized data☆158Updated this week
- Slides from talks that I give☆294Updated last year
- Fast Aho-Corasick string searching☆187Updated this week
- Cogent Project☆161Updated last year
- GRIN backend for GHC☆144Updated 3 years ago
- Haskell rules for Bazel.☆268Updated this week
- Tool to count lines of source code.☆250Updated 11 months ago
- haskell ghc-illustrated☆259Updated 3 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆598Updated this week
- An implementation of Pie in Haskell☆204Updated 5 years ago
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆506Updated 7 months ago
- Convert Haskell source code to Coq source code☆280Updated 4 years ago
- Dependent type checker using normalisation by evaluation☆256Updated 4 months ago
- A modern, extensible and well-documented prettyprinter.☆297Updated 2 months ago
- The Makam Metalanguage☆196Updated last year
- Functional programming with fewer indirections☆760Updated 4 years ago
- The LLVM LHC Haskell Optimization System☆198Updated 4 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆115Updated last year
- Embedded specification language & model checker in Haskell☆174Updated 2 years ago
- Build system☆123Updated last year
- Play Minesweeper by formally proving your moves in Idris☆166Updated 4 months ago
- Haskell implemented with combinators☆404Updated this week
- 1ML prototype interpreter☆277Updated 4 years ago
- The adventures of a Haskell compiler☆218Updated last month