Alternatives and similar repositories for rival

Users that are interested in rival are comparing it to the libraries listed below

• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆52Updated 2 months ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated 3 weeks ago
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆20Updated last year
• florence / diagrama
  A diagram drawing library for Racket
  ☆19Updated 4 years ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆36Updated 7 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• soarlab / FPTaylor
  Tool for Rigorous Estimation of Round-Off Floating-Point Errors
  ☆31Updated 9 months ago
• wilbowma / scribble-bettergrammar
  A Scribble library for typesetting grammars better
  ☆15Updated 2 years ago
• isadofschi / combinatorial_nullstellensatz
  A Lean formal proof of the Combinatorial Nullstellensatz
  ☆11Updated 2 years ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• samdphillips / raco-run
  Run raco run! Easier running Racket submodules on the command line.
  ☆10Updated last month
• leanprover / KLR
  A formalization of ML kernel languages
  ☆15Updated this week
• michaelballantyne / ee-lib
  ☆12Updated last year
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆36Updated 5 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• kovach / etch
  ☆17Updated last year
• herbie-fp / regraph
  Racket Equivalence Graph Library
  ☆19Updated 3 years ago
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 5 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• wilbowma / experimenting-with-redex
  A Redex tutorial with a focus on how to do work in Redex
  ☆11Updated 8 months ago
• kentookura / forester.nvim
  Neovim plugin for forester
  ☆16Updated 7 months ago
• SuzanneSoy / scribble-math
  Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation
  ☆17Updated last year
• takikawa / racket-ppa
  Ubuntu PPA for Racket (based on the upstream in Debian at https://salsa.debian.org/bremner/racket). Check the Launchpad page for details …
  ☆10Updated 2 years ago
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated last year
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆13Updated 7 years ago
• NoahStoryM / ctp
  Category Theory in Programming
  ☆12Updated 2 months ago
• bennn / trivial
  Stronger types for a few Typed Racket operators
  ☆11Updated last year
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated last year
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year