Alternatives and similar repositories for sheetshow

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

• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆59Updated last year
• koko-m / GoI-Visualiser
  A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.
  ☆13Updated 4 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• pa-ba / equivalence
  ☆13Updated last month
• ComputerAidedLL / click-and-collect
  A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
  ☆22Updated 6 months ago
• imdea-software / fcsl-pcm
  Partial Commutative Monoids
  ☆29Updated 4 months ago
• codyroux / name-the-biggest-number
  ☆64Updated 3 years ago
• gregr / first-order-miniKanren
  miniKanren with a first-order representation of the search space
  ☆17Updated last year
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆43Updated 4 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 5 months ago
• Sintrastes / Montague
  A library for non-deterministically parsing natural language expressions into a structured form.
  ☆17Updated 2 years ago
• nadia-polikarpova / synquid
  ☆139Updated 3 years ago
• JoeyEremondi / pl-lt-rules
  Rules for writing academic papers and checking them using LTex-ls and LanguageTool
  ☆19Updated 7 months ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 5 years ago
• wilbowma / dissertation
  The source for "Compiling with Dependent Types" (my dissertation)
  ☆30Updated 3 years ago
• uwplse / pumpkin-pi
  An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
  ☆49Updated last month
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 4 years ago
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆41Updated last week
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆36Updated last month
• zydeco-lang / fiddle
  A dynamically-typed CBPV language embedded in Racket
  ☆39Updated last year
• namin / metaprogramming
  Course on Metaprogramming
  ☆72Updated 3 months ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆34Updated last month
• damien-pous / relation-algebra
  Relation algebra library for Coq
  ☆49Updated 3 weeks ago
• theoremprover-museum / LCF77
  The original Edinburgh LCF.
  ☆33Updated 8 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆34Updated 7 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆30Updated 7 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 6 months ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆33Updated 5 years ago
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆23Updated 9 months ago