Runnable code from Chaitin's "The Limits of Mathematics (in C)"
☆18Sep 1, 2022Updated 3 years ago
Alternatives and similar repositories for chaitin_lisp
Users that are interested in chaitin_lisp are comparing it to the libraries listed below
Sorting:
- A Small Combinator-Reduction System☆18Jul 14, 2020Updated 5 years ago
- Public Domain, Self-hosting Operating System☆14Apr 12, 2018Updated 7 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26May 27, 2020Updated 5 years ago
- A minimal Forth VM and Compiler implemented in PostScript☆29Apr 7, 2011Updated 14 years ago
- Tcl compiled with emscripten☆42Apr 12, 2015Updated 10 years ago
- FPGA assembler! Create bare-metal FPGA designs without Verilog or VHDL (Not to self: use Lisp next time)☆54Jul 22, 2021Updated 4 years ago
- Embedded Microprocessor System Design using FPGAs 1. edition ISBN:☆12Apr 1, 2025Updated 11 months ago
- retrohunblog☆57Oct 11, 2025Updated 4 months ago
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated last month
- A GUI application that emulates a GLCD by allowing you to set/clear pixels speeding-up embedded UI development.☆13Sep 11, 2020Updated 5 years ago
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- Pong game written in the boot sector☆38Jan 26, 2026Updated last month
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- 2016-2017 WS and SS Courses☆10Mar 25, 2021Updated 4 years ago
- EOPF 101 introduces you to tools and practical examples working with Sentinel Zarr data created by the ESA EOPF Sample Service.☆33Updated this week
- Racket bindings for the Slack API☆10Mar 4, 2019Updated 7 years ago
- This is mirror of☆37Feb 18, 2023Updated 3 years ago
- Alter Keyboard Layouts☆12Jan 4, 2021Updated 5 years ago
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 8 months ago
- Intel IA16 emulator for embedded development☆45Dec 12, 2025Updated 2 months ago
- Bootstrap compiler☆44May 14, 2019Updated 6 years ago
- Osmocom implementation of the 3GPP Serving GPRS Support Node (SGSN); mirrored from https://gitea.osmocom.org/cellular-infrastructure/osmo…☆14Updated this week
- Provider library - a library of small helpers. These may or may not become part of OpenSSL at some point☆12May 15, 2025Updated 9 months ago
- CVS import of qemacs for some experiments☆11Oct 2, 2022Updated 3 years ago
- Fourmilab Blockchain Tools provide a variety of utilities for users, experimenters, and researchers working with blockchain-based cryptoc…☆15Aug 20, 2023Updated 2 years ago
- copy one disk or image file to an other☆11Dec 23, 2020Updated 5 years ago
- Updated SLIP/PPP via the venerable Slirp☆15Apr 20, 2025Updated 10 months ago
- An implementation of the Xerox IFS protocol suite☆12Oct 3, 2023Updated 2 years ago
- Customise cursor blinking in Obsidian☆12Mar 10, 2023Updated 2 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- Read-only mirror. Please submit merge requests / issues to https://gitlab.com/libvirt/libvirt-perl☆13Updated this week
- LDP publication tools for processing Asciidoc, DocBook XML, DocBook SGML and Linuxdoc☆11Oct 24, 2022Updated 3 years ago
- Processing code to implement John Fairfield's Spellcaster☆10Jan 5, 2016Updated 10 years ago
- Urho3D extra minimal examples and demos. Tested in Ubuntu 18.04.☆11Feb 25, 2022Updated 4 years ago
- VHDL 1802 Core with TinyBASIC for the Lattice MachXO2 Pico board☆15Dec 23, 2016Updated 9 years ago
- MARS_NWE NetWare Emulator☆13Oct 2, 2024Updated last year
- Original Joy☆11Dec 17, 2024Updated last year