Alternatives and similar repositories for qarith-stern-brocot

Users that are interested in qarith-stern-brocot are comparing it to the libraries listed below

• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆174Updated this week
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated 3 weeks ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆81Updated 8 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆167Updated 11 months ago
• mew-cx / chaitin_lisp
  Runnable code from Chaitin's "The Limits of Mathematics (in C)"
  ☆18Updated 3 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• standardml / twelf
  The Twelf Programming Language
  ☆143Updated this week
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆117Updated last week
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 6 months ago
• Dyalog / TryAPL
  This is the source code for TryAPL.org
  ☆27Updated 4 months ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆62Updated 16 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆18Updated 3 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 6 months ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆60Updated 5 months ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆146Updated this week
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆92Updated 5 months ago
• FredMesnard / lptp
  LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's
  ☆14Updated 2 months ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆29Updated 3 years ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• ashermancinelli / cxbqn
  BQN virtual machine
  ☆31Updated last year
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• Dyalog / dyalog-jupyter-kernel
  A Jupyter kernel for Dyalog APL
  ☆75Updated last week
• barry-jay-personal / typed_tree_calculus
  types for various combinatory systems, especialy tree calculi
  ☆23Updated 10 months ago
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆37Updated 10 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆152Updated 7 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year