Alternatives and similar repositories for zpordle

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

• iczelia / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆54Updated 6 months ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 2 months ago
• ccz181078 / Coq-BB5
  ☆330Updated 2 weeks ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆25Updated last year
• barry-jay-personal / typed_tree_calculus
  types for various combinatory systems, especialy tree calculi
  ☆19Updated 7 months ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆37Updated 3 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆115Updated this week
• meithecatte / isabelle-math-contests
  Solutions to math olympiad problems in Isabelle/HOL
  ☆11Updated 4 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆145Updated 7 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆64Updated 11 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆34Updated 4 months ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆48Updated last year
• leijurv / Kitteh2
  Second revision of my Kitteh language. Now comes with a compiler to x86.
  ☆17Updated 2 years ago
• vihdzp / rubik-lean4
  Lean 4 formalization of Rubik's cubes
  ☆33Updated 7 months ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆16Updated last year
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆26Updated last month
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆219Updated this week
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆12Updated 2 weeks ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆112Updated 2 months ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆93Updated last year
• dEAduction / dEAduction
  Source for the d∃∀duction project.
  ☆21Updated this week
• darrenks / golfscript
  A simple stack based code golf language
  ☆25Updated 3 years ago
• vihdzp / combinatorial-games
  Combinatorial game library in Lean 4
  ☆47Updated this week
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆44Updated this week
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆111Updated last year