Alternatives and similar repositories for idris-algebra

Users that are interested in idris-algebra are comparing it to the libraries listed below

• domdere / fp-in-idris

  View on GitHub
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Mar 23, 2015Updated 10 years ago
• boyland / twelf-library

  View on GitHub
  Library classes for the Twelf Proof System
  ☆23Jun 16, 2020Updated 5 years ago
• idris-hackers / iQuery

  View on GitHub
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Jan 15, 2018Updated 8 years ago
• FranckS / RingIdris

  View on GitHub
  Ring solver for Idris
  ☆20Nov 12, 2018Updated 7 years ago
• andyarvanitis / idris-cplusplus

  View on GitHub
  Experimental C++11 backend for Idris
  ☆15Nov 29, 2014Updated 11 years ago
• jonsterling / agda-effectful-forcing

  View on GitHub
  Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…
  ☆13Sep 22, 2020Updated 5 years ago
• racket / algol60

  View on GitHub
  ☆13Nov 21, 2025Updated 2 months ago
• idris-hackers / idris-free

  View on GitHub
  Free Monads and useful constructions to work with them
  ☆26Aug 14, 2018Updated 7 years ago
• puffnfresh / tryidris

  View on GitHub
  Try Idris
  ☆35Sep 7, 2015Updated 10 years ago
• samth / fancy-app

  View on GitHub
  A Scala-style magic function application form
  ☆43Jul 31, 2022Updated 3 years ago
• GaloisInc / ICryptol

  View on GitHub
  IPython-style interaction for Cryptol
  ☆15Dec 5, 2016Updated 9 years ago
• dvanhorn / oaam

  View on GitHub
  Optimizing Abstract Abstract Machines
  ☆31Apr 6, 2017Updated 8 years ago
• maxsnew / grammars-and-semantic-actions

  View on GitHub
  Intrinsic Verification of Formal Grammar Theory
  ☆27Nov 22, 2025Updated 2 months ago
• idris-hackers / idris-posix

  View on GitHub
  System POSIX bindings for Idris.
  ☆36Jan 5, 2019Updated 7 years ago
• dspivak / dependent-types

  View on GitHub
  ☆12Mar 13, 2025Updated 11 months ago
• RobertHarper / TILT-Compiler

  View on GitHub
  Standard ML compiler based on typed intermediate languages.
  ☆51Aug 22, 2014Updated 11 years ago
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 10 years ago
• mordae / racket-avl

  View on GitHub
  AVL Trees for Racket
  ☆12Jan 7, 2018Updated 8 years ago
• philnguyen / z3-rkt

  View on GitHub
  Racket bindings for Z3
  ☆24May 11, 2019Updated 6 years ago
• ISANobody / sill

  View on GitHub
  ☆29Sep 14, 2015Updated 10 years ago
• CategoricalData / catdb

  View on GitHub
  Category theory in Coq, by Jason Gross
  ☆16Jan 29, 2015Updated 11 years ago
• ziman / idris-benchmarks

  View on GitHub
  Some benchmarks for Idris
  ☆12Aug 12, 2017Updated 8 years ago
• idris-hackers / idris-cph-exercises

  View on GitHub
  Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
  ☆23Sep 10, 2015Updated 10 years ago
• racket / libs

  View on GitHub
  Racket libraries
  ☆15Nov 5, 2025Updated 3 months ago
• amsa / fallacy-hunter

  View on GitHub
  Detect logical fallacies in text (POC)
  ☆14Apr 22, 2015Updated 10 years ago
• lixiangqi / medic

  View on GitHub
  Medic Package
  ☆10Nov 8, 2015Updated 10 years ago
• gbaz / mess

  View on GitHub
  Martin-Löf Extensible Specification and Simulator
  ☆29Jul 1, 2015Updated 10 years ago
• robrix / silkscreen

  View on GitHub
  Prettyprinting transformers for rainbow parens, precedence, etc.
  ☆16Feb 27, 2022Updated 3 years ago
• HoTT / Archive

  View on GitHub
  Archived materials related to Homotopy Type Theory.
  ☆12Apr 24, 2012Updated 13 years ago
• racket / parser-tools

  View on GitHub
  ☆15Nov 21, 2025Updated 2 months ago
• the-little-prover / the-little-prover.github.io

  View on GitHub
  ☆11May 18, 2016Updated 9 years ago
• danelahman / Normalization-By-Evaluation

  View on GitHub
  Formalization of normalization by evaluation for the fine-grain call-by-value language extended with algebraic effect theories
  ☆15Oct 18, 2025Updated 3 months ago
• racket / data

  View on GitHub
  ☆19Nov 21, 2025Updated 2 months ago
• peterlefanulumsdaine / cartmell-thesis

  View on GitHub
  HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
  ☆17Jan 6, 2026Updated last month
• hylang / tryhy

  View on GitHub
  hy appengine repl
  ☆29Aug 24, 2021Updated 4 years ago
• ralsei / six-eyes

  View on GitHub
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Jul 28, 2022Updated 3 years ago
• etnt / Haskerl

  View on GitHub
  Haskell subset compiled to the Beam machine.
  ☆42Sep 1, 2014Updated 11 years ago
• lexi-lambda / racket-curly-fn

  View on GitHub
  A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.
  ☆18Oct 20, 2016Updated 9 years ago
• jasonhemann / micro-in-mini

  View on GitHub
  an implementation of a microKanren(-like language) in miniKanren
  ☆27Aug 1, 2014Updated 11 years ago