Alternatives and similar repositories for zpordle

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

• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 2 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 4 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆72Updated 3 weeks ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated last month
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated 2 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆24Updated this week
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• meithecatte / isabelle-math-contests
  Solutions to math olympiad problems in Isabelle/HOL
  ☆11Updated 4 years ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆15Updated last week
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆14Updated 6 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆36Updated last month
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated 3 months ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆94Updated last year
• jevinskie / old-github-feed
  Brings back GitHub's old feed
  ☆8Updated last year
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆18Updated last year
• chemlambda / molecular
  Molecular computers with interaction combinators like graph rewrite systems
  ☆10Updated 2 years ago
• barry-jay-personal / typed_tree_calculus
  types for various combinatory systems, especialy tree calculi
  ☆18Updated 5 months ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• FormalizedFormalLogic / Incompleteness
  Formalize Incompleness Theorem Related Results
  ☆9Updated 4 months ago
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆23Updated 2 weeks ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated last year
• naproche / naproche
  Write formal proofs in natural language and LaTeX.
  ☆38Updated 3 weeks ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆55Updated last year