Alternatives and similar repositories for qarith-stern-brocot:

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

• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆26Updated 4 years ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆23Updated 4 months ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated this week
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆67Updated 7 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆28Updated last week
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆32Updated 8 months ago
• stchang / mlish
  ☆21Updated 4 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 7 months ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆29Updated 4 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• kiranandcode / rhombus-in-the-rough
  A 2D RPG implemented in the Rhombus Racket dialect
  ☆51Updated last year
• vmchale / j-hs
  Call J from Haskell
  ☆12Updated 2 weeks ago
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated 10 months ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• rocketnia / fexpress
  A compilation-friendly fexpr language. (Proof of concept.)
  ☆20Updated last year
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• haskell-implementations / hugs
  Haskell User's Gofer System
  ☆22Updated 8 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆117Updated 2 weeks ago
• racket / honu
  ☆19Updated last year
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆20Updated 5 months ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• jkoppel / ecta
  ☆33Updated 9 months ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• evincarofautumn / hap-hs
  Haskell [re]implementation of Hap, a simple event-based programming language.
  ☆12Updated 4 years ago