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

☆42Nov 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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• xledger / pod_sql_server

  View on GitHub
  Babashka pod for SQL Server
  ☆10Apr 2, 2026Updated last month
• 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
• lambdaisland / funnel

  View on GitHub
  Transit-over-WebSocket Message Relay
  ☆63Feb 28, 2025Updated last year
• luposlip / nd-db

  View on GitHub
  Clojure library exposing newline delimited files as lightning fast databases
  ☆14Feb 27, 2025Updated last year
• neyho / eywa

  View on GitHub
  ☆10Apr 1, 2026Updated last month
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• vlaaad / blanket

  View on GitHub
  Soft encapsulation for Clojure data structures
  ☆23Sep 6, 2019Updated 6 years ago
• district0x / re-frame-spec-interceptors

  View on GitHub
  Reframe event interceptors for validating db and args with spec
  ☆16Jan 17, 2018Updated 8 years ago
• Otann / wrench

  View on GitHub
  🔧 Elegant configuration for a more civilized age
  ☆46Jun 24, 2023Updated 2 years ago
• tristanstraub / clj-python-trampoline

  View on GitHub
  Open an NREPL session from an existing python process
  ☆29Sep 19, 2020Updated 5 years ago
• stathissideris / datascript-dom

  View on GitHub
  Experiment that uses datascript to query HTML/XML in a DOM-like way
  ☆24Oct 17, 2015Updated 10 years ago
• jdhollis / deployment-pipeline

  View on GitHub
  A skeleton CodePipeline implementation in Terraform
  ☆12Dec 31, 2019Updated 6 years ago
• thheller / shadow-cljsjs

  View on GitHub
  ☆23Apr 17, 2026Updated 3 weeks ago
• reclojure / reclojure-mobile

  View on GitHub
  re:Clojure mobile app
  ☆13Jan 5, 2023Updated 3 years ago
• borkdude / puget-cli

  View on GitHub
  A CLI version of puget
  ☆38Jan 6, 2021Updated 5 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• dmatlack / moridin

  View on GitHub
  a simple operating system
  ☆10May 10, 2015Updated 10 years ago
• flybot-sg / Pastoral

  View on GitHub
  Derived Values, Flowing, for Arcadia (Clojure in Unity).
  ☆21May 11, 2019Updated 6 years ago
• GrammaTech / cl-smt-lib

  View on GitHub
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆20Mar 24, 2022Updated 4 years ago
• timothypratley / power-turtle

  View on GitHub
  Interactive turtle power in your browser
  ☆23Jul 8, 2019Updated 6 years ago
• wilkerlucio / js-data-interop

  View on GitHub
  Clojurescript <-> JS data interop using specialized data structures.
  ☆23Sep 27, 2020Updated 5 years ago
• skeeto / carpet-fractal-genetics

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

  View on GitHub
  libzfs binding for Java
  ☆12Feb 4, 2020Updated 6 years ago
• pfeodrippe / tla-edn

  View on GitHub
  A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN
  ☆16Dec 28, 2025Updated 4 months ago
• swannodette / cljs-master

  View on GitHub
  ClojureScript Master Class
  ☆17Sep 14, 2019Updated 6 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• clj-commons / meta

  View on GitHub
  A meta-repo for clj-commons discussions
  ☆46Jul 30, 2023Updated 2 years ago
• alexkehayias / grammarling

  View on GitHub
  Interactive grammar parsing renderer
  ☆14Jan 7, 2018Updated 8 years ago
• hypirion / lein-shell

  View on GitHub
  Call shell from within Leiningen.
  ☆57Jul 31, 2018Updated 7 years ago
• into-docker / unixsocket-http

  View on GitHub
  A Clojure library to handle HTTP communication over UNIX domain (and TCP) sockets
  ☆21Oct 9, 2023Updated 2 years ago
• rururu / ClojureMiniIDE

  View on GitHub
  A minimalistic integrated development environment for the Clojure programming language.
  ☆30Dec 24, 2025Updated 4 months ago
• henryw374 / cljs.java-time

  View on GitHub
  jsr-310 (java.time) api in Clojurescript
  ☆14Mar 7, 2023Updated 3 years ago
• borkdude / dynaload

  View on GitHub
  The dynaload logic from clojure.spec.alpha as a library
  ☆53Nov 16, 2025Updated 5 months ago
• imrekoszo / unlazy

  View on GitHub
  Configuration for clj-kondo, discouraging lazy processing
  ☆13Jan 30, 2026Updated 3 months ago
• levand / heat

  View on GitHub
  H.E.A.T. - Hiccup Enlive Adapter & Transforms
  ☆17Jun 9, 2017Updated 8 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• tstamborski / wild-snake-boa-ii

  View on GitHub
  A snake game for MS-DOS. 🐍
  ☆18Sep 3, 2024Updated last year
• biotz / hydrogen-ce

  View on GitHub
  Hydrogen Community Edition
  ☆19Jan 4, 2023Updated 3 years ago
• 8l / miniPicoLisp

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

  View on GitHub
  clojure tvm bindings and exploration
  ☆97Aug 25, 2022Updated 3 years ago
• clojure-goes-fast / clj-memory-meter

  View on GitHub
  Measure object memory consumption in Clojure
  ☆315Sep 29, 2025Updated 7 months ago
• MIPS / meos

  View on GitHub
  ☆12Jun 4, 2018Updated 7 years ago
• namin / reflective-towers

  View on GitHub
  software archaeology of reflective towers of interpreters
  ☆17Jun 6, 2025Updated 11 months ago