Alternatives and similar repositories for adaptive

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

• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆90Updated 4 years ago
• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 11 years ago
• clf / celf
  ☆62Updated 6 years ago
• jaredloomis / Idris-HoTT
  Homotopy Type Theory proofs in Idris
  ☆22Updated 6 years ago
• mainland / language-c-quote
  ☆59Updated last year
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 10 years ago
• iu-parfunc / haskell_dsl_tour
  Examples of relevant technologies for implementing DSLs in Haskell.
  ☆15Updated 10 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated this week
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 10 years ago
• joom / WangsAlgorithm
  A classical propositional theorem prover in Haskell, using Wang's Algorithm.
  ☆36Updated 6 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆34Updated 3 years ago
• GaloisInc / pure-zlib
  A Haskell-only implementation of zlib / DEFLATE.
  ☆32Updated 3 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆86Updated 7 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆49Updated 2 years ago
• AshleyMoni / QuadTree
  QuadTree library for Haskell, using lenses.
  ☆15Updated 7 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 7 years ago
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 10 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 9 years ago
• dmwit / pi-eta-epsilon
  An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"
  ☆23Updated 13 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 10 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 7 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• acfoltzer / Molog
  A typed logic programming language embedded in Haskell
  ☆49Updated 12 years ago
• pa-ba / McCarthy-Painter
  Coq proof for the paper "Compiling a Fifty Year Journey"
  ☆13Updated 8 years ago
• jwiegley / linearscan
  ☆17Updated 3 years ago