Alternatives and similar repositories for qarith-stern-brocot:

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

• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 4 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 2 months ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• haskell-implementations / hugs
  Haskell User's Gofer System
  ☆24Updated 8 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 11 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• racket / honu
  ☆19Updated last year
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 7 months ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated 5 months ago
• jkoppel / ecta
  ☆34Updated 11 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆68Updated 2 weeks ago
• digama0 / mm-lean4
  Lean 4 Metamath verifier
  ☆17Updated last year
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 9 months ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆25Updated 3 months ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 2 years ago