snowleopard / build

Related projects ⓘ

Alternatives and complementary repositories for build

• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆102Updated last year
• ndmitchell / shake
  Shake build system
  ☆773Updated 6 months ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆158Updated this week
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆143Updated 3 years ago
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆185Updated 2 months ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆204Updated 5 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated last year
• ekmett / guanxi
  Relational programming in Haskell. Mostly developed on twitch.
  ☆256Updated 2 months ago
• vmchale / polyglot
  Tool to count lines of source code.
  ☆249Updated 9 months ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated last month
• stedolan / counterexamples
  Counterexamples in Type Systems
  ☆374Updated last year
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆650Updated this week
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆212Updated last year
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 5 years ago
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆503Updated 4 months ago
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆592Updated last month
• blynn / compiler
  The adventures of a Haskell compiler
  ☆213Updated last week
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆254Updated 2 months ago
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆366Updated 5 months ago
• au-ts / cogent
  Cogent Project
  ☆158Updated last year
• ollef / rock
  Build system
  ☆122Updated last year
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆195Updated 3 years ago
• well-typed / optics
  Optics as an abstract interface
  ☆375Updated 3 months ago
• Gabriella439 / slides
  Slides from talks that I give
  ☆294Updated last year
• awakesecurity / spectacle
  Embedded specification language & model checker in Haskell
  ☆175Updated last year
• tweag / funflow
  Functional workflows
  ☆362Updated 9 months ago
• nick8325 / quickspec
  Equational laws for free
  ☆250Updated 8 months ago
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆174Updated last month
• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆365Updated last year
• koka-lang / libhandler
  Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
  ☆188Updated 4 years ago