Alternatives and similar repositories for cfg-checker

Users that are interested in cfg-checker are comparing it to the libraries listed below

• ivan-m / jbi

  View on GitHub
  Just Build It - a "do what I mean" abstraction for Haskell build tools
  ☆12Jun 8, 2018Updated 7 years ago
• joelburget / easytest

  View on GitHub
  Simple testing toolkit
  ☆10May 28, 2021Updated 4 years ago
• deepfire / nh

  View on GitHub
  Manage Nix Haskell override sets
  ☆11Sep 30, 2018Updated 7 years ago
• lthms / chain

  View on GitHub
  Extensible, Type Safe Error Handling in Haskell
  ☆13Dec 22, 2020Updated 5 years ago
• ChrisPenner / Type-Tac-Toe

  View on GitHub
  Type-safe tic-tac-toe using Typesafe programming in Haskell
  ☆15Sep 1, 2017Updated 8 years ago
• uqcyber / veriopt-releases

  View on GitHub
  Verifying the optimization phases of the GraalVM compiler
  ☆14Jan 13, 2025Updated last year
• joom / fuzzy

  View on GitHub
  Fuzzy string search in Haskell
  ☆14Jan 5, 2024Updated 2 years ago
• AndrasKovacs / SemanticsWithApplications

  View on GitHub
  Formal semantics in Agda.
  ☆16Jul 2, 2015Updated 10 years ago
• pigworker / Ming

  View on GitHub
  being the emperor of Mongo, but also a verb
  ☆15Dec 25, 2018Updated 7 years ago
• ocharles / nix-build-cache

  View on GitHub
  Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.
  ☆25Feb 6, 2021Updated 5 years ago
• kowainik / idris-patricia

  View on GitHub
  🌋 Idris implementation of patricia tree
  ☆23Nov 6, 2020Updated 5 years ago
• ChrisPenner / dumbwaiter

  View on GitHub
  Extensible HTTP Web server configured entirely by a yaml file
  ☆25Dec 14, 2017Updated 8 years ago
• takenobu-hs / commandline-haskell

  View on GitHub
  command-line Haskell with 'ghc -e'
  ☆22Aug 11, 2017Updated 8 years ago
• stackbuilders / scalendar

  View on GitHub
  DEPRECATED: Haskell Library to deal with resource availability in a Calendar
  ☆24Jul 14, 2023Updated 2 years ago
• archive567 / chart-unit

  View on GitHub
  Unital Charts
  ☆27Feb 17, 2020Updated 5 years ago
• frerich / catamorphism

  View on GitHub
  A package exposing a function for generating catamorphisms.
  ☆29Apr 15, 2018Updated 7 years ago
• haskell-haskey / haskey-btree

  View on GitHub
  B+-tree implementation in Haskell
  ☆28May 12, 2019Updated 6 years ago
• TOTBWF / muprl

  View on GitHub
  A small NuPRL style proof assistant
  ☆31Jan 31, 2019Updated 7 years ago
• andrewthad / quickcheck-classes

  View on GitHub
  Quickcheck Properties for common typeclasses
  ☆35Dec 27, 2025Updated last month
• QuentinDuval / IdrisReducers

  View on GitHub
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Jul 28, 2017Updated 8 years ago
• takenobu-hs / ghc-development-flow

  View on GitHub
  GHC development flow
  ☆24May 3, 2017Updated 8 years ago
• Secular12 / cortexprime

  View on GitHub
  ☆11May 31, 2025Updated 8 months ago
• habit-lang / alb

  View on GitHub
  ☆40Aug 5, 2024Updated last year
• awakesecurity / language-ninja

  View on GitHub
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Feb 6, 2018Updated 8 years ago
• Gabriella439 / Haskell-Total-Library

  View on GitHub
  Exhaustive pattern matching using lenses, traversals, and prisms
  ☆33Sep 4, 2022Updated 3 years ago
• ndmitchell / neil

  View on GitHub
  General tools for Neil
  ☆38Feb 2, 2025Updated last year
• tov / alms

  View on GitHub
  The Alms Programming Language
  ☆44Aug 29, 2018Updated 7 years ago
• glguy / utf8-string

  View on GitHub
  Support for reading and writing UTF8 Strings in Haskell
  ☆46Mar 22, 2022Updated 3 years ago
• qfpl / tasty-hedgehog

  View on GitHub
  Tasty integration for the Hedgehog property testing library
  ☆38Dec 17, 2025Updated last month
• tomdjong / thesis-template

  View on GitHub
  Template for a (PhD) thesis
  ☆10Nov 5, 2025Updated 3 months ago
• OpenGridForum / DFDL

  View on GitHub
  ☆14Jan 16, 2026Updated 3 weeks ago
• rootmos / silly-joy

  View on GitHub
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆36Oct 25, 2024Updated last year
• typeable / schematic

  View on GitHub
  type-safe JSON spec and validation tool
  ☆86Jan 15, 2021Updated 5 years ago
• evincarofautumn / Toody

  View on GitHub
  A two-dimensional parser combinator library.
  ☆42May 26, 2017Updated 8 years ago
• blmage / duo-toolbox

  View on GitHub
  A set of general and specialized tools for building browser extensions and user scripts targeting Duolingo.
  ☆10Nov 15, 2025Updated 2 months ago
• frasertweedale / hs-tax-ato

  View on GitHub
  Tax types and computations for Australia
  ☆11Dec 8, 2025Updated 2 months ago
• GoogleChromeLabs / webidl-diff

  View on GitHub
  ☆14Jul 17, 2018Updated 7 years ago
• powerlord / mapchoices

  View on GitHub
  A ground-up rewrite of the mapchooser system
  ☆10May 9, 2020Updated 5 years ago
• VarmaMSP / snake-game

  View on GitHub
  A demo of Functional Reactive Programming in Purescript
  ☆11May 17, 2018Updated 7 years ago