Alternatives and similar repositories for build

Users that are interested in build are comparing it to the libraries listed below

• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆106Updated last year
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆164Updated 2 weeks ago
• tweag / rules_haskell
  Haskell rules for Bazel.
  ☆271Updated last week
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆144Updated 3 years ago
• au-ts / cogent
  Cogent Project
  ☆165Updated 3 months ago
• ollef / rock
  Build system
  ☆123Updated last year
• wh5a / Algorithm-W-Step-By-Step
  Classic Algorithm W for type inference.
  ☆253Updated 15 years ago
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆187Updated 4 months ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated 2 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆205Updated 5 years ago
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆618Updated last month
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆214Updated 2 years ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆262Updated 9 months ago
• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆370Updated 2 years ago
• awakesecurity / spectacle
  Embedded specification language & model checker in Haskell
  ☆174Updated 2 months ago
• snowleopard / selective
  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆207Updated last year
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆281Updated 4 years ago
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆368Updated last year
• frank-lang / frank
  Frank compiler
  ☆295Updated last year
• ndmitchell / shake
  Shake build system
  ☆787Updated 4 months ago
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆584Updated last month
• pigworker / CS410-17
  being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…
  ☆263Updated 7 years ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆267Updated last year
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆200Updated 5 years ago
• github / deli
  ☆166Updated 4 years ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆187Updated 3 months ago
• quchen / prettyprinter
  A modern, extensible and well-documented prettyprinter.
  ☆301Updated 7 months ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆125Updated 5 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• vmchale / polyglot
  Tool to count lines of source code.
  ☆252Updated last year