Alternatives and similar repositories for pru:

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

• edwinb / States
  State machines in Idris
  ☆36Updated 8 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 7 years ago
• nicolasstucki / scala-rrb-vector
  Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations
  ☆55Updated 5 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 8 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• slamdata / truffled-purescript
  ☆92Updated 9 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆50Updated 9 years ago
• jfdm / idris-config
  Parsers for various configuration files written in Idris.
  ☆19Updated 7 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• edwinb / WS-idr
  Yes, it is what you think it is
  ☆33Updated 9 years ago
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆57Updated 7 years ago
• y-taka-23 / learn-you-a-frege
  Frege Translation of "Learn You a Haskell for Great Good!."
  ☆51Updated 8 years ago
• idris-hackers / idris-lens
  ☆22Updated 8 years ago
• ermine-language / ermine
  The Ermine Programming Language - Join us on irc.freenode.net #ermine
  ☆220Updated 6 years ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆50Updated 12 years ago
• Blaisorblade / abt
  Implementing Abstract Binding Trees (in Scala, ...)
  ☆19Updated 9 years ago
• inc-lc / ilc-scala
  Scala implementation of ILC, with benchmarks
  ☆25Updated 8 years ago
• Jyothsnasrinivas / eta-spark-core
  eta-spark is a library that provides complete bindings for Apache Spark
  ☆21Updated 6 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆249Updated 8 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• TikhonJelvis / array-forth
  A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
  ☆27Updated 3 years ago
• liufengyun / stoic
  a capability-based system
  ☆40Updated 6 years ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆59Updated 7 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 9 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• scala-subscript / subscript
  ☆9Updated 7 years ago
• idris-hackers / idris-free
  Free Monads and useful constructions to work with them
  ☆26Updated 6 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago