Alternatives and similar repositories for Cow:

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

• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• byorgey / type-matrices
  Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
  ☆13Updated 7 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 9 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• cdparks / lambda-machine
  A simple UI for evaluating expressions in the untyped lambda calculus
  ☆56Updated 2 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆74Updated 12 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• jaseemabid / lisper
  A tiny scheme interpreter in Haskell
  ☆24Updated 5 years ago
• kevinsullivan / cs1113f16
  CS1 through Type Theory
  ☆15Updated 8 years ago
• jfdm / idris-config
  Parsers for various configuration files written in Idris.
  ☆20Updated 7 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• pigworker / CS410-14
  being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  ☆70Updated 9 years ago
• docopt / docopt.hs
  A command-line interface description language and parser that will make you smile
  ☆119Updated last month
• rodrigogribeiro / idrisregexp
  Regular expression matching in Idris
  ☆11Updated 8 years ago
• KesterTong / idris2048
  2048 in Idris
  ☆121Updated 7 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 6 years ago
• tranma / almost-complexity
  complexity testing for haskell
  ☆48Updated 9 years ago
• fpco / schoolofhaskell
  ☆33Updated 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
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆24Updated 2 months ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• alexanderkyte / VerticalFingerTree
  ☆33Updated 8 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆65Updated 11 years ago
• isovector / typecraft
  it's a starcraft clone but with a dope typesystem
  ☆49Updated 5 years ago
• nrnrnr / SML-Lint
  Tool for detecting bad style in Standard ML programs
  ☆16Updated 6 years ago