Alternatives and similar repositories for Idris-old

Users that are interested in Idris-old are comparing it to the libraries listed below

• hamishmack / ghcjs
  Haskell to Javascript compiler (via GHC)
  ☆20Updated 5 years ago
• nominolo / lambdachine
  VM and tracing JIT for Haskell (work in progress)
  ☆79Updated 10 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆33Updated 3 years ago
• adamgundry / inch
  A type-checker for Haskell with integer constraints
  ☆42Updated 10 years ago
• byorgey / type-matrices
  Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
  ☆14Updated 7 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• thoughtpolice / strict-ghc-plugin
  A plugin for GHC to turn Haskell into a strict language
  ☆27Updated 13 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆57Updated 7 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• sellout / dada
  A total recursion scheme library for Dhall
  ☆66Updated last month
• sinelaw / fresh
  ☆14Updated 7 years ago
• chetant / LibClang
  Haskell FFI to libclang
  ☆58Updated 8 years ago
• DanBurton / Blog
  It's a blog. Insert clever Haskell type signature here.
  ☆24Updated 8 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 6 months ago
• sweirich / trellys
  Automatically exported from code.google.com/p/trellys
  ☆47Updated 6 years ago
• shayan-najd / MiniFeldspar
  ☆23Updated 10 years ago
• jwiegley / coq-pipes
  ☆98Updated 7 years ago
• edsko / ghc-dump-tree
  Dump GHC's abstract syntax trees
  ☆41Updated 3 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 10 years ago
• BekaValentine / SimpleFP-v2
  A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
  ☆109Updated 8 years ago
• kazu-yamamoto / cab
  A maintenance command of Haskell cabal packages
  ☆36Updated last month
• jonsterling / JonPRL
  An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …
  ☆110Updated 6 years ago
• jdolson / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆14Updated 7 years ago
• atzeus / FRPNow
  ☆89Updated 4 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆46Updated 7 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆150Updated 9 years ago
• alanz / machines-play
  Playing with https://github.com/ekmett/machines
  ☆51Updated 8 years ago
• gregorycollins / hashtables
  Mutable hash tables for Haskell, in the ST monad
  ☆131Updated last month