Alternatives and similar repositories for incompleteness-computability

Users that are interested in incompleteness-computability are comparing it to the libraries listed below

• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆23Updated 2 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 2 months ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• graydon / monotone
  distributed revision control system -- historical snapshot
  ☆78Updated 11 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated 11 months ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆60Updated 8 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆54Updated 6 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 2 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 5 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆34Updated 3 months ago
• jimix / k42
  K42 Kernel
  ☆29Updated 13 years ago
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆31Updated 4 years ago
• iczelia / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆17Updated last year
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆84Updated last month
• meithecatte / isabelle-math-contests
  Solutions to math olympiad problems in Isabelle/HOL
  ☆11Updated 4 years ago
• metamath / metamath-book
  Source of metamath book
  ☆50Updated last year
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• nickdrozd / busy-beaver-stuff
  Tools for finding and analyzing Busy Beaver programs for Turing machines
  ☆12Updated this week
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆44Updated 2 months ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 7 years ago
• jpakkane / chapterizer
  A book generator
  ☆28Updated 2 weeks ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• ghewgill / neon-lang
  Implementation of a simple programming language
  ☆71Updated 6 months ago
• stokito / fortress-lang
  ☆57Updated 8 years ago
• KaKrzysiek / bigint
  Open source library to handle integers of any size in C
  ☆14Updated 2 years ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆29Updated 4 years ago
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 5 years ago
• GabrielDosReis / open-axiom
  OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
  ☆26Updated last year