mukeshtiwari / Idris

Related projects ⓘ

Alternatives and complementary repositories for Idris

• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆47Updated 5 years ago
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 5 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆26Updated 4 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• stchang / redis
  A redis client for Racket.
  ☆17Updated 9 years ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago
• racket / parser-tools
  ☆11Updated last week
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆76Updated last year
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 5 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 8 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 8 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 4 years ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆34Updated this week
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 7 years ago
• nv-vn / ogen
  A tool for creating new OCaml projects with OPAM, Oasis, and Merlin
  ☆23Updated 7 years ago
• jonsterling / tt
  secret project
  ☆17Updated 6 years ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated last month
• idris-industry / idris-ffi-example
  A minimal example of the Idris C FFI
  ☆14Updated 9 years ago
• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 6 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• gatlin / psilo
  a parallel, safe, iterative list operation language for systems programming
  ☆16Updated 4 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• alpha-convert / pacman
  A proof that Idris is pacman complete
  ☆8Updated 7 years ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆24Updated 4 years ago
• mietek / agda-intro
  Mirror of Conor McBride’s 2011 Agda course materials
  ☆11Updated 5 years ago