Runnable code from Chaitin's "The Limits of Mathematics (in C)"
☆19Sep 1, 2022Updated 4 years ago
Alternatives and similar repositories for chaitin_lisp
Users that are interested in chaitin_lisp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An R package for algebraic statistics.☆16Aug 22, 2026Updated 2 months ago
- (WIP) OCaml library for schedule, time, and time slots handling☆15Nov 10, 2020Updated 5 years ago
- dbus-based NetworkManager interface for Emacs☆10Dec 12, 2014Updated 11 years ago
- Links, guidance, and advice about universal algebra learning and research☆11Oct 16, 2018Updated 8 years ago
- ☆10Jun 24, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- macrostep for geiser and cider☆16Jul 17, 2021Updated 5 years ago
- Pataphysics; what the fuck?☆10Dec 8, 2022Updated 3 years ago
- ☆15May 23, 2017Updated 9 years ago
- Classroom demonstration of costly state verification in finance☆16Mar 30, 2015Updated 11 years ago
- ☆14Jul 24, 2021Updated 5 years ago
- Tiny CLOS for Scheme: from ftp://ftp.parc.xerox.com/pub/mops/tiny/☆62Oct 8, 2011Updated 15 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Jun 5, 2024Updated 2 years ago
- A semester long informal workshop looking at computational approaches to political philosophy☆12Jul 28, 2015Updated 11 years ago
- an hypermedia agent, not from the sixties☆14Jan 4, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Helper functions for the Julia package manager☆13Dec 31, 2025Updated 10 months ago
- A sensitivity analysis package for causal effects☆12Mar 18, 2024Updated 2 years ago
- ☆12Aug 11, 2026Updated 2 months ago
- A Map of Spinoza's Ethics: explore logical dependencies alongside the full Part I text, with interactive views and personal highlights.☆13Oct 1, 2026Updated last month
- Convenient functions for plotting economics-style supply/demand curves in R☆40Sep 19, 2017Updated 9 years ago
- Don't Lisp, Talk!☆58Aug 3, 2026Updated 3 months ago
- Access to EC2 Instance Metadata☆12Oct 3, 2026Updated last month
- The Common Lisp draft proposed American National Standard☆13May 20, 2015Updated 11 years ago
- ☆12Oct 13, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Facilities to handle "Iron" (IBM MVS or z/OS) in Emacs.☆10Aug 29, 2026Updated 2 months ago
- Scientific Computing Benchmarks☆11Mar 13, 2020Updated 6 years ago
- This repository replicates the figures from the 3rd edition of the book "Recursive Macroeconomic Theory" by Lars Ljungqvist and Thomas J.…☆12Feb 9, 2016Updated 10 years ago
- ☆14Apr 9, 2017Updated 9 years ago
- Higher-order clustering coefficients☆11Jun 18, 2020Updated 6 years ago
- OpenSource PD Charger/Supply based on Arduino☆14Jan 25, 2019Updated 7 years ago
- Create gifs in clojure!☆11Jan 23, 2024Updated 2 years ago
- A Clojure library for visualizing data.☆34Dec 5, 2022Updated 3 years ago
- Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!☆15Feb 21, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- Abstract type and interface definition for quantum circuit blocks.☆17Nov 9, 2021Updated 4 years ago
- Work with Monads in R☆49Jun 7, 2017Updated 9 years ago
- ☆12Oct 17, 2026Updated 3 weeks ago
- fork of git://git.videolan.org/libdvdcss.git http://www.videolan.org/developers/libdvdcss.html☆18Jun 25, 2023Updated 3 years ago
- Python package and CLI tool for social choice functions☆14Jun 20, 2021Updated 5 years ago
- ☆13Mar 22, 2026Updated 7 months ago