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
  ☆16Updated 2 years ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆17Updated 4 months ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• rocq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆23Updated 2 months ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 2 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated 2 weeks ago
• stchang / mlish
  ☆22Updated 5 years ago
• florence / diagrama
  A diagram drawing library for Racket
  ☆19Updated 4 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• racket / honu
  ☆19Updated last year
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 5 years ago
• racket / parser-tools
  ☆14Updated last month
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆23Updated 7 months ago
• webyrd / scheme-primer
  Interactive Scheme Primer, written in Scheme.
  ☆21Updated 6 months ago
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆13Updated last year
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 7 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• jfdm / velo-lang
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Updated 2 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated 11 months ago
• racket / plot
  ☆43Updated last month
• jackfirth / racket-package-template
  My personal template repository for Racket packages
  ☆16Updated 4 years ago
• NoahStoryM / ctp
  Category Theory in Programming
  ☆12Updated 2 weeks ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆44Updated last month
• drym-org / qi
  An embeddable flow-oriented language.
  ☆70Updated last month
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 4 years ago
• racket / math
  ☆38Updated 2 weeks ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago