An x86-64 bare-metal LispOS running ISLisp in a single-address space. Direct memory and I/O control entirely from the Lisp REPL.
☆24Nov 6, 2026Updated this week
Alternatives and similar repositories for isiki
Users that are interested in isiki are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Feb 17, 2026Updated 8 months ago
- 💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42,…☆10May 16, 2026Updated 5 months ago
- Static Everywhere manifesto☆14Sep 25, 2026Updated last month
- The collected works of R. F. C. Walters☆13Nov 12, 2024Updated last year
- 187 raylib examples in Jolt: native Clojure on Chez Scheme, binding libraylib 6.0 directly over its C ABI☆19Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Clojure LLM☆15Aug 19, 2026Updated 2 months ago
- Interactive Theorem Proving for students☆21Aug 26, 2023Updated 3 years ago
- List of awesome tools/libraries around Jolt☆17Oct 9, 2026Updated last month
- ☆20Sep 9, 2026Updated last month
- Evergreen Common Lisp☆65Updated this week
- B-System (BTRON 3.20)☆18Updated this week
- 🛡️ CA: Certificate Authority. ДСТУ: 4145. ITU/IETF: 3279, 5755, 7030, X.509.☆21Aug 7, 2026Updated 3 months ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Jan 25, 2013Updated 13 years ago
- PFL/CSP for C☆20Feb 16, 2022Updated 4 years 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.
- Binary Editor☆24Jul 17, 2025Updated last year
- Reactive toolkit for Jolt☆23Oct 18, 2026Updated 3 weeks ago
- Your personal news briefing of the world events☆29Updated this week
- 💠 UPL: Мова опису кредитних програм☆19Jan 26, 2016Updated 10 years ago
- Self-modifying agentic harness written in common-lisp☆20Aug 29, 2026Updated 2 months ago
- 💧 SCAN: Сканування☆13Sep 25, 2022Updated 4 years ago
- Nice and friendly Coding Agent☆18Updated this week
- Open-source solid modeling in python☆12Apr 14, 2018Updated 8 years ago
- IsaacLab extension for the MicroDuck bipedal robot: USD assets, BAM actuator and gearbox-backlash models, and 21 RL task families — walki…☆18Oct 26, 2026Updated 2 weeks 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.
- ☆11Jan 13, 2026Updated 9 months ago
- Capacitive touch keyboard running QMK firmware☆13Aug 3, 2024Updated 2 years ago
- ☆13Dec 26, 2024Updated last year
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆24Aug 14, 2023Updated 3 years ago
- Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multi…☆20Jul 26, 2026Updated 3 months ago
- An ultra-compact (40x40mm) ESP32 smart fan controller PCB. Features 4-channel 12V PWM control, Wi-Fi / Home Assistant (ESPHome) integrati…☆14Sep 21, 2026Updated last month
- TRON Forum T-Kernel for Raspberry Pi and Renesas RZ/T1.☆14Nov 18, 2024Updated last year
- Fast, low-allocation, HTTP/1.1 + HTTP/2 + HTTP/3 Ring server adapter for Clojure. Java core optimized for Ring. Built on virtual threads☆40Updated this week
- A Julia package for calculating topological numbers☆36Jul 31, 2026Updated 3 months 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.
- Yet Another Starter Boilerplate for Common Lisp 🔥☆33Apr 22, 2025Updated last year
- ☆11Dec 23, 2025Updated 10 months ago
- ☆12Oct 1, 2024Updated 2 years ago
- A library for doing generic programming in Agda☆39Jan 27, 2021Updated 5 years ago
- Example of using Common Lisp code from C (using SBCL).☆13May 9, 2022Updated 4 years ago
- Ciao is an easy-to-use Common Lisp OAuth 2.0 client library. It is a port of the Racket OAuth 2.0 Client (package: webapi) to Common Lisp…☆29Apr 3, 2024Updated 2 years ago
- A statically-typed lisp for the BEAM☆12Aug 28, 2021Updated 5 years ago