Alternatives and similar repositories for andrews-deal:

Users that are interested in andrews-deal are comparing it to the libraries listed below

• pslusarz / gnubridge
  Open source java contract bridge game
  ☆26Updated this week
• tsurucapital / parsergen
  Generate fast Haskell parsers for fixed width packets
  ☆21Updated 5 years ago
• jdevuyst / dependable-data-structures
  Experiments in implementing functional data structures in Idris
  ☆15Updated 5 years ago
• GeorgOfenbeck / SpiralS
  ☆22Updated 11 years ago
• Dash-Lambda / Eso
  A (mostly) purely functional console-based esoteric language interpreter.
  ☆12Updated 3 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• vmchale / edit-distance
  Levenshtein edit distance, packaged for ATS
  ☆12Updated 2 years ago
• epfldata / c-scala
  C as an Embedded Language in Scala
  ☆18Updated 10 years ago
• phadej / latex-svg
  Render LaTeX math to SVG mages
  ☆17Updated 10 months ago
• leepike / theresistance
  Bayesian solver for The Resistance card game: https://en.wikipedia.org/wiki/The_Resistance_(game)
  ☆11Updated 9 years ago
• AHartNtkn / Dependent-Binary-Lambda-Calculus
  A Dependently Typed Esolang
  ☆10Updated 7 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• fsprojects / LSON
  Lisp inspired serialization (intended for when you don't even want to take a dependency on JSON serializer)
  ☆14Updated 3 years ago
• bos / suffixtree
  An efficient, lazy suffix tree implementation
  ☆13Updated 4 years ago
• epfldata / dbstage
  ☆15Updated 4 years ago
• namin / dafny-sandbox
  Dafny for Metatheory of Programming Languages
  ☆24Updated last month
• SWI-Prolog / packages-plunit
  The SWI-Prolog Unit Testing library
  ☆9Updated 2 weeks ago
• cartazio / language-c
  git mirror of language-c darcs repo at http://code.haskell.org/language-c
  ☆12Updated last year
• JakubGrobelny / aurox-lang
  Interpreter written for Prolog course.
  ☆10Updated 5 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 6 months ago
• jdevuyst / rekenaar
  Idris tactics for (commutative) monoids
  ☆20Updated 4 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• deech / treap-ats
  ☆13Updated 3 years ago
• simple-haskell / simple-haskell-website
  Home page for the Simple Haskell Initiative
  ☆15Updated 2 years ago
• ibrahimsag / rw
  an experiment in presenting code.
  ☆14Updated 4 years ago
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆26Updated 5 years ago
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆45Updated 2 months ago
• dlewissandy / lambda-blas
  Native Haskell implementation of the BLAS library
  ☆9Updated 7 years ago
• vpatryshev / Categories
  Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories
  ☆25Updated this week
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 6 years ago