danbriggs/Turing external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

danbriggs/Turing

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/danbriggs/Turing)

Close

danbriggs / TuringView on GitHubMore

• External links
• Readme badge

Methods for accelerating and proving theorems about 5-state Busy Beaver candidates

☆20Oct 29, 2021Updated 4 years ago

Alternatives and similar repositories for Turing

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

• meithecatte / busycoq

  View on GitHub
  Busy Beaver deciders backed by Coq proof
  ☆61Mar 2, 2025Updated last year
• Myriad-Dreamin / vistyp

  View on GitHub
  Simple visualized cetz editor
  ☆11Apr 22, 2025Updated 10 months ago
• cooplab / Genetic_ancestors

  View on GitHub
  Scripts to generate simulations and plots used in blog posts on genetic and genealogical ancestry gcbias.org/category/genetic-genealogy/ …
  ☆17Dec 2, 2013Updated 12 years ago
• bbchallenge / bbchallenge-proofs

  View on GitHub
  Mathematical proofs of the bbchallenge project.
  ☆24Sep 1, 2025Updated 6 months ago
• ptal / AbSolute

  View on GitHub
  Constraint solver based on abstract interpretation
  ☆10Dec 20, 2024Updated last year
• basicpage / basicpage.github.io

  View on GitHub
  Template for a basic academic page
  ☆17Feb 24, 2026Updated 3 weeks ago
• Wenda302 / IsarStep

  View on GitHub
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Mar 15, 2021Updated 5 years ago
• mikeshulman / Coq-HoTT

  View on GitHub
  Homotopy type theory
  ☆14Sep 21, 2022Updated 3 years ago
• gerby-project / plastex

  View on GitHub
  Python package to convert LaTeX markup to DOM
  ☆15Jan 28, 2025Updated last year
• fblanqui / color

  View on GitHub
  Coq library on rewriting theory and termination
  ☆37Jan 27, 2026Updated last month
• jcoreyes / evolvingrl

  View on GitHub
  Supplementary Data for Evolving Reinforcement Learning Algorithms
  ☆47Mar 15, 2021Updated 5 years ago
• ThatOneCalculator / riesketcher

  View on GitHub
  Riemann sum graphs in Typst with CeTZ
  ☆22Sep 18, 2025Updated 6 months ago
• katydid / regex-deriv-coq

  View on GitHub
  ☆23Dec 3, 2024Updated last year
• firetto / Walnut

  View on GitHub
  ☆12Mar 31, 2024Updated last year
• ruehlef / ribbon

  View on GitHub
  Code that searches for ribbon bands
  ☆18Jan 28, 2025Updated last year
• uds-psl / autosubst2

  View on GitHub
  Official repository of the Autosubst 2 project.
  ☆25May 8, 2023Updated 2 years ago
• mikeshulman / basictex

  View on GitHub
  My basic LaTeX macros and BibTeX file.
  ☆14Jan 13, 2023Updated 3 years ago
• julia-actions / julia-buildpkg

  View on GitHub
  This action builds a Julia package.
  ☆19Dec 12, 2025Updated 3 months ago
• ramonfmir / lean-scheme

  View on GitHub
  Schemes in Lean (v2)
  ☆43Jul 30, 2020Updated 5 years ago
• rocq-archive / automata

  View on GitHub
  Beginning of formal language theory
  ☆23Dec 7, 2019Updated 6 years ago
• adamyedidia / parsimony

  View on GitHub
  ☆347Apr 19, 2018Updated 7 years ago
• b-mehta / combinatorics

  View on GitHub
  ☆25May 23, 2022Updated 3 years ago
• shauli-ravfogel / conformal-prediction

  View on GitHub
  ☆10Feb 2, 2023Updated 3 years ago
• varkor / tangle

  View on GitHub
  A modern string diagram editor for the web.
  ☆26Apr 22, 2025Updated 10 months ago
• llnl / AutoCog

  View on GitHub
  Automaton & Cognition
  ☆16Apr 14, 2024Updated last year
• steynvl / inferrer

  View on GitHub
  An automata learning library written in Python.
  ☆48Feb 26, 2020Updated 6 years ago
• varshakishore / IncDSI

  View on GitHub
  ☆11Sep 10, 2023Updated 2 years ago
• repalash / uiconfig-tweakpane

  View on GitHub
  Tweakpane theme/wrapper library for uiconfig.js: A UI renderer framework to dynamically generate website/configuration UIs from a JSON-li…
  ☆12Oct 27, 2025Updated 4 months ago
• LanglandsLearningGroup / Video-Lectures

  View on GitHub
  ☆12Jan 4, 2023Updated 3 years ago
• piktur / rhino_manifolds

  View on GitHub
  Surface geometry plugin for Rhinoceros 3D
  ☆10Aug 21, 2018Updated 7 years ago
• teorth / symmetric_project

  View on GitHub
  ☆96Nov 12, 2023Updated 2 years ago
• chris-taylor / LondonHUG

  View on GitHub
  Presentation/code from my talk at London HUG
  ☆58Jan 23, 2013Updated 13 years ago
• kisungyou / Riemann

  View on GitHub
  Learning with Data on Riemannian Manifolds
  ☆12Sep 26, 2025Updated 5 months ago
• pforemski / entropy-clustering

  View on GitHub
  Entropy clustering of IPv6 networks, see https://ipv6hitlist.github.io/
  ☆13Sep 24, 2018Updated 7 years ago
• JUrban / deepmath

  View on GitHub
  deep learning for math
  ☆29May 4, 2019Updated 6 years ago
• bbchallenge / bbchallenge-deciders

  View on GitHub
  Here we give programs that check if Turing machines halt or not.
  ☆15Sep 1, 2025Updated 6 months ago
• zyjux / sffg_tda

  View on GitHub
  This contains example code from "A Primer on Topological Data Analysis to Support Image Analysis Tasks in Environmental Science" for runn…
  ☆10Oct 10, 2022Updated 3 years ago
• stefaniaebli / dmt-signal-processing

  View on GitHub
  Signal compression and reconstruction on complexes preserving topological features via Discrete Morse Theory
  ☆14May 31, 2022Updated 3 years ago
• benoitseron / BosonSampling.jl

  View on GitHub
  Boson sampling tools for Julia
  ☆28Dec 12, 2025Updated 3 months ago