stopachka/godel-numbers 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

stopachka/godel-numbers

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/stopachka/godel-numbers)

Close

stopachka / godel-numbersView on GitHubMore

• External links
• Readme badge

☆38Nov 18, 2020Updated 5 years ago

Alternatives and similar repositories for godel-numbers

Users that are interested in godel-numbers are comparing it to the libraries listed below

• xledger / pod_sql_server

  View on GitHub
  Babashka pod for SQL Server
  ☆10May 15, 2024Updated last year
• technoblogy / visible-lisp-computer

  View on GitHub
  A Lisp interpreter that displays the contents of the Lisp workspace on an OLED display
  ☆16Aug 14, 2019Updated 6 years ago
• tstamborski / wild-snake-boa-ii

  View on GitHub
  A snake game for MS-DOS. 🐍
  ☆19Sep 3, 2024Updated last year
• h3rb / nimud

  View on GitHub
  NiMUD: Shared Adventure Game brought to you by Locke; NiM5 is an advanced multi-user gaming server.
  ☆11Sep 4, 2024Updated last year
• skeeto / carpet-fractal-genetics

  View on GitHub
  Carpet fractal genetic algorithm
  ☆13Oct 4, 2017Updated 8 years ago
• dmatlack / moridin

  View on GitHub
  a simple operating system
  ☆10May 10, 2015Updated 10 years ago
• Otann / wrench

  View on GitHub
  🔧 Elegant configuration for a more civilized age
  ☆46Jun 24, 2023Updated 2 years ago
• weshatheleopard / bktools

  View on GitHub
  All kinds of tools for BK-0010 (my personal project open for public to see)
  ☆12Jan 5, 2026Updated 2 months ago
• neilb / Chatbot-Eliza

  View on GitHub
  Release history of Chatbot-Eliza
  ☆10Dec 4, 2023Updated 2 years ago
• sergev / x1-algol-compiler

  View on GitHub
  Algol 60 compiler for Electrologica X1, restored
  ☆15Jul 27, 2025Updated 7 months ago
• 173duprot / saneforth

  View on GitHub
  TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…
  ☆13Feb 26, 2023Updated 3 years ago
• saulpw / frotzos

  View on GitHub
  a barebones bootable platform to run the frotz z-code interpreter inside a VM
  ☆18Oct 17, 2016Updated 9 years ago
• calmsacibis995 / v7x86

  View on GitHub
  A fork of v7x86
  ☆17Oct 22, 2022Updated 3 years ago
• RattyDAVE / cray1

  View on GitHub
  ☆13Jun 4, 2023Updated 2 years ago
• jdhollis / deployment-pipeline

  View on GitHub
  A skeleton CodePipeline implementation in Terraform
  ☆12Dec 31, 2019Updated 6 years ago
• AshleyF / HP35

  View on GitHub
  HP-35 calculator emulators (F# and JavaScript)
  ☆13Sep 5, 2020Updated 5 years ago
• moon-chilled / Two_Kilo

  View on GitHub
  Two Kilo—fully functional texteditor in 2 kb of C
  ☆15May 29, 2020Updated 5 years ago
• joewing / jl

  View on GitHub
  Small, embeddable LISP-like language.
  ☆15May 14, 2016Updated 9 years ago
• rust11 / rust

  View on GitHub
  RUST/SJ and RUST/XM RT-11 compatible PDP-11 operating systems
  ☆14Oct 20, 2025Updated 4 months ago
• reclojure / reclojure-mobile

  View on GitHub
  re:Clojure mobile app
  ☆13Jan 5, 2023Updated 3 years ago
• neyho / eywa

  View on GitHub
  ☆10Feb 19, 2026Updated 2 weeks ago
• cctv2206 / Pintos-project-3

  View on GitHub
  Pintos Operating System Implementation for Virtual Memory
  ☆12Jun 27, 2016Updated 9 years ago
• ecdsa / simple-websocket-server

  View on GitHub
  A python based websocket server that is simple and easy to use.
  ☆11Jul 25, 2015Updated 10 years ago
• MIPS / meos

  View on GitHub
  ☆12Jun 4, 2018Updated 7 years ago
• t1lang / t1doc

  View on GitHub
  T1 Documentation
  ☆11May 14, 2019Updated 6 years ago
• esoteric-programmer / LMAO

  View on GitHub
  LMAO is a tool that builds Malbolge programs from the low-level assembly language HeLL.
  ☆12Apr 10, 2020Updated 5 years ago
• prool / virtustan-mud

  View on GitHub
  Virtustan MUD
  ☆12Feb 5, 2026Updated last month
• nzeemin / bkbtl-doc

  View on GitHub
  BK-0010 / BK-0011 documentation
  ☆13Feb 26, 2019Updated 7 years ago
• tristanstraub / clj-python-trampoline

  View on GitHub
  Open an NREPL session from an existing python process
  ☆29Sep 19, 2020Updated 5 years ago
• sergev / deco

  View on GitHub
  Demos Commander, dual-pane orthodox file manager
  ☆20Feb 14, 2024Updated 2 years ago
• adimalla / Minimal-TCP-IP-Stack

  View on GitHub
  Minimal TCP/IP stack for non OS based micrcontroller enviornment.
  ☆19Apr 19, 2020Updated 5 years ago
• mspublic / OpenLTE

  View on GitHub
  Mirror of OpenLTE
  ☆15Dec 7, 2014Updated 11 years ago
• jgrassler / papercut

  View on GitHub
  Papercut NNTP server
  ☆15Jul 1, 2016Updated 9 years ago
• oulenspiegel / kingsbounty3

  View on GitHub
  King's Bounty 3 (extended JavaScript fan remake of original 1990 game)
  ☆16Mar 2, 2024Updated 2 years ago
• nanochess / heart

  View on GitHub
  x86 16-bit program drawing the heart curve equation
  ☆17Feb 15, 2021Updated 5 years ago
• 8l / miniPicoLisp

  View on GitHub
  A kind of "pure" PicoLisp (not "pure Lisp"!).
  ☆13Aug 22, 2017Updated 8 years ago
• neozeed / dos211

  View on GitHub
  just the MS-DOS 2.11 sources, I re-aranged stuff and made it (slightly) easier to rebuild on Windows.
  ☆22May 25, 2024Updated last year
• lambdaisland / funnel

  View on GitHub
  Transit-over-WebSocket Message Relay
  ☆63Feb 28, 2025Updated last year
• bthaase / avp-mud

  View on GitHub
  ☆15Oct 8, 2023Updated 2 years ago