Alternatives and similar repositories for Idris:

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

• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• mrb / idris-ruby
  Yes, really!
  ☆11Updated 9 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆46Updated 7 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• stchang / redis
  A redis client for Racket.
  ☆17Updated 9 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆72Updated 7 months ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 9 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 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
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• racket / parser-tools
  ☆13Updated last month
• deech / shen-rust
  ☆35Updated 5 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 6 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 years ago
• o1 / n2o
  N2O: Standard ML Application Server
  ☆19Updated 3 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated last year
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago
• ojarjur / multischeme
  Compile-time multitasking support for the Scheme programming language
  ☆37Updated 10 years ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated 6 months ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago