Alternatives and similar repositories for haskell-cas:

Users that are interested in haskell-cas are comparing it to the libraries listed below

• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 10 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 6 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆61Updated 6 years ago
• jaredloomis / Idris-HoTT
  Homotopy Type Theory proofs in Idris
  ☆22Updated 5 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 9 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• leventov / yarr
  Yer another array library
  ☆41Updated 6 years ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 5 years ago
• mcschroeder / ctrie
  Non-blocking concurrent hashmap for Haskell
  ☆17Updated 7 years ago
• jfdm / idris-config
  Parsers for various configuration files written in Idris.
  ☆19Updated 7 years ago
• pigworker / CS410-14
  being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  ☆69Updated 9 years ago
• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆134Updated 5 years ago
• KesterTong / idris2048
  2048 in Idris
  ☆121Updated 7 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 9 years ago
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆207Updated 5 years ago
• avieth / Algebraic
  Experiments on the construction of functions
  ☆29Updated 9 years ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 6 years ago
• cfredric / NumberTheory
  A Haskell number theory library.
  ☆14Updated 7 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆57Updated 7 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆46Updated 7 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago