Alternatives and similar repositories for Cow:

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

• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 9 years ago
• byorgey / type-matrices
  Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
  ☆13Updated 7 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆48Updated 2 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆73Updated 12 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago
• adamgundry / inch
  A type-checker for Haskell with integer constraints
  ☆40Updated 10 years ago
• rodrigogribeiro / idrisregexp
  Regular expression matching in Idris
  ☆11Updated 8 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 9 years ago
• johnfn / ghci-in-a-new-dress
  ghci with autocomplete, calltips, colors with type information, variable inspector, and more.
  ☆21Updated 13 years ago
• mietek / formal-logic
  TODO
  ☆23Updated 9 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• cdparks / lambda-machine
  A simple UI for evaluating expressions in the untyped lambda calculus
  ☆56Updated 2 years ago
• mzero / plush
  Plush - the comfy shell
  ☆67Updated 10 years ago
• pigworker / CS410-14
  being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  ☆69Updated 9 years ago
• kevinsullivan / cs1113f16
  CS1 through Type Theory
  ☆15Updated 8 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 6 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• carlssonia / adaptive
  ☆10Updated 12 years ago
• ggreif / dynamic-loader
  Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.
  ☆24Updated 6 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆36Updated 13 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 9 years ago
• isovector / jazz
  i bet you there is a typesystem behind music
  ☆32Updated 6 years ago
• reinh / haskell-wishlist
  A curated wishlist of Haskell libraries, packages, and tools
  ☆16Updated 9 years ago
• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 10 years ago