A Forth environment on a single-Instruction 16-bit SUBLEQ machine
☆17Jul 31, 2026Updated 2 months ago
Alternatives and similar repositories for subleq
Users that are interested in subleq are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple multitasking OS kernel☆114Feb 4, 2026Updated 8 months ago
- A VM that uses LFSR instead of a normal program counter that runs Forth☆17Sep 30, 2026Updated 3 weeks ago
- A red-black tree implementation☆44Oct 15, 2025Updated last year
- A connection prover with lazy paramodulation.☆14Nov 25, 2020Updated 5 years ago
- ☆21Nov 27, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆15Nov 23, 2025Updated 11 months ago
- Normalization by evaluation of simply typed combinators.☆27Feb 24, 2022Updated 4 years ago
- An Inventory of mostly open-source Soft Core Processors. Although many have FPGA stats, many do not.☆10Oct 12, 2026Updated 2 weeks ago
- get you an ultimate lexer generator using Fable; port OCaml sedlex to FSharp, Python and more!☆16Aug 6, 2022Updated 4 years ago
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆31Aug 20, 2024Updated 2 years ago
- Pointless reimplementation of Unix userland tools.☆15Aug 28, 2013Updated 13 years ago
- Partition refinement☆16Oct 4, 2026Updated 3 weeks ago
- A POSIX RISC-V OS kernel written in C23, featuring preemptive priority scheduling, virtual memory, tiered allocators, time management, mo…☆45Feb 4, 2025Updated last year
- The compiler for subset of scheme developed as part of P523☆29Mar 6, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 成大選課小幫手☆10Aug 28, 2015Updated 11 years ago
- Generators Gallery☆11Mar 21, 2026Updated 7 months ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆46Apr 14, 2021Updated 5 years ago
- A compiler of C subset by USTB OWL Wheel Lab.☆13Mar 8, 2026Updated 7 months ago
- Boot a real Linux kernel as an in-process library (LKL) and route intercepted syscalls to it via seccomp☆99Sep 29, 2026Updated last month
- An implementation of tic-tac-toe in C, featuring AI agents☆36Apr 21, 2025Updated last year
- ☆23Oct 12, 2024Updated 2 years ago
- Plan 9 C compiler za/zc/zl supporting AVR32, including a small OS to run on a clone of the Berkeley mote, with some extra audio hardware☆14Jan 3, 2025Updated last year
- Satisfy all your REST API testing needs.☆11Oct 17, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Rust RFCs 正體中文翻譯☆26May 9, 2026Updated 5 months ago
- A general purpose gpu computation library in odin☆12May 9, 2025Updated last year
- A collection of algorithms to reverse using partial information various hashes used by Minecraft to seed its ChunkRandom PRNG.☆10Mar 7, 2024Updated 2 years ago
- Virtual Linux soundcard driver☆31May 6, 2024Updated 2 years ago
- A fixed point library (Signed Q16.16) for embedded systems.☆61Apr 14, 2025Updated last year
- ☆14Updated this week
- Computer Security Fall 2019 by Hsu-Chun Hsiao @ CSIE NTU Taiwan☆24Mar 20, 2021Updated 5 years ago
- A concurrent library based on cooperative scheduling of user-level threads(fibers) implemented in C++☆27Jun 15, 2022Updated 4 years ago
- ☆11Oct 24, 2018Updated 8 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.
- Formalizations of Gradually Typed Languages in Agda☆60Mar 2, 2026Updated 7 months ago
- Doom classic port to lightweight RISC‑V☆11Jan 1, 2026Updated 9 months ago
- CLI utilty to work out proper constants for vpternlogic instruction☆13Jan 22, 2023Updated 3 years ago
- GO Bindings for Csound6☆14Jul 16, 2021Updated 5 years ago
- Database for Chrome OS release info and download URLs (scripts only)☆14Oct 22, 2026Updated last week
- Input/output tester for the RetroGame☆12Jul 22, 2019Updated 7 years ago
- A minimal lockless queue (i.e. a light pipe) witten in vanilla C.☆13May 6, 2018Updated 8 years ago