Alternatives and similar repositories for Reactive-Life

Users that are interested in Reactive-Life are comparing it to the libraries listed below

• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆42Updated 3 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 9 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆134Updated 2 months ago
• jmoy / alexhappy
  Examples for the book “Alex and Happy”
  ☆34Updated 10 years ago
• edwinb / WS-idr
  Yes, it is what you think it is
  ☆33Updated 9 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• brianhempel / live-ghci
  Evaluate special comments in your program on file save.
  ☆38Updated 4 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 5 months ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 7 years ago
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 6 years ago
• ethereon / Zef
  Functional Computer Vision
  ☆20Updated 10 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 6 years ago
• andgate / type-theory-compiler
  Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…
  ☆43Updated 5 years ago
• KesterTong / idris2048
  2048 in Idris
  ☆122Updated 7 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 4 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆105Updated 4 years ago
• haskell-at-work / domain-modelling-with-haskell
  ☆38Updated 7 years ago
• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated 2 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 7 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• rbarreiro / idrisjs
  Js libraries for idris
  ☆49Updated 5 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆78Updated 11 years ago
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆79Updated 7 years ago
• idris-hackers / IdrisWeb
  A secure web framework, built in the Idris language.
  ☆110Updated 11 years ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 5 years ago