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
  ☆24Updated 5 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆40Updated 5 months ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆32Updated 4 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆68Updated 8 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• nickdrozd / busy-beaver-stuff
  Tools for finding and analyzing Busy Beaver programs for Turing machines
  ☆13Updated this week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆58Updated 9 months ago
• rzach / what-if
  Textbook on non-classical logics
  ☆13Updated 5 months ago
• meithecatte / isabelle-math-contests
  Solutions to math olympiad problems in Isabelle/HOL
  ☆11Updated 4 years ago
• skeeto / british-square
  British Square Engine (Analysis and Perfect AI Player)
  ☆17Updated 5 years ago
• rurban / libu8ident
  unicode security guidelines for identifiers
  ☆35Updated 2 weeks ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆21Updated last year
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 11 years ago
• rochus-keller / Are-we-fast-yet
  Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon
  ☆66Updated this week
• jpakkane / chapterizer
  A book generator
  ☆28Updated last week
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 3 years ago
• ChristopherDrum / pez
  Portable Executable Zork; notes and code for interactive fiction authoring via Cosmopolitan Libc
  ☆24Updated 7 months ago
• KaKrzysiek / bigint
  Open source library to handle integers of any size in C
  ☆14Updated 2 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆90Updated 2 weeks ago
• xldenis / besm
  Resurrecting PP-BESM
  ☆27Updated last week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆37Updated 7 months ago
• ghewgill / neon-lang
  Implementation of a simple programming language
  ☆71Updated 2 weeks ago
• stokito / fortress-lang
  ☆58Updated 8 years ago
• microsoft / checkedc-musl
  This repo contains a version of musl that is being modified to Checked C. Checked C is an extension to C that adds checking to detect or …
  ☆27Updated 2 years ago
• iczelia / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago