☆23Oct 8, 2025Updated 4 months ago
Alternatives and similar repositories for ucisc
Users that are interested in ucisc are comparing it to the libraries listed below
Sorting:
- ☆23Nov 13, 2014Updated 11 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- A MACRO-11 assembler for the PDP-11 in portable C source code. Copyright (c) 2001, Richard Krehbiel☆31May 6, 2017Updated 8 years ago
- GuidedSampler: Coverage-guided Sampling of SMT Solutions☆15Jul 9, 2025Updated 7 months ago
- Empire for the PDP-11 in Macro-11 assembler language☆32Mar 22, 2013Updated 12 years ago
- A Forth implementation☆13Feb 10, 2026Updated 2 weeks ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- Simple FORTH assembler for Intel 8086☆13Jul 28, 2021Updated 4 years ago
- META II compiler, assembler and bytecode interpreter.☆18Jan 20, 2026Updated last month
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆24May 28, 2025Updated 9 months ago
- A tiny Emacs editor core with a tiny Lisp extention language☆30May 1, 2017Updated 8 years ago
- DEC PDP-8 emulator running FOCAL 69 in 4K for Arduino DUE and Arduino MEGA 2560☆15Mar 3, 2021Updated 4 years ago
- CCPU for GA144☆23Jul 11, 2018Updated 7 years ago
- Unix V6 with Arpanet support☆17Oct 11, 2022Updated 3 years ago
- A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl☆17Jan 17, 2017Updated 9 years ago
- Here we give programs that check if Turing machines halt or not.☆15Sep 1, 2025Updated 6 months ago
- Some software for using Oberon 2013. http://www.inf.ethz.ch/personal/wirth/ProjectOberon/☆15Nov 7, 2023Updated 2 years ago
- Fiew Image Viewer is a lightweight, single executable, non-installed sequential image viewer designed to be used with big collections of …☆22Mar 15, 2025Updated 11 months ago
- a readable language that grows from the silicon☆61Jul 24, 2023Updated 2 years ago
- FPGA based PDP-8/i clone in verilog. Includes several TSS/8 sources and utiltities to build from source☆25Jan 2, 2016Updated 10 years ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆15Dec 29, 2021Updated 4 years ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Feb 18, 2025Updated last year
- Fork of Lua 5.1 to encourage end-user programming☆175Nov 27, 2023Updated 2 years ago
- Copy of cmFORTH☆40Nov 23, 2021Updated 4 years ago
- A 16-bit Lisp based operating system.☆78Aug 13, 2021Updated 4 years ago
- 🌱 Growing small systems in public☆42Nov 23, 2024Updated last year
- Assembler, Compiler and Emulator targeting the 8086 platform for use on x86 architecture. For BYU ECEn 425 - RTOS☆21May 4, 2023Updated 2 years ago
- Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.☆366Aug 18, 2022Updated 3 years ago
- A newborn programming language for extensible software☆16Dec 24, 2021Updated 4 years ago
- Interactive Theorem Proving for students☆21Aug 26, 2023Updated 2 years ago
- Statically Tracing 6502 Disassembler☆19Sep 24, 2018Updated 7 years ago
- ☆22Feb 22, 2020Updated 6 years ago
- Lua port of of microKanren, a minimal logic programming engine.☆34Jan 21, 2014Updated 12 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆95Nov 18, 2020Updated 5 years ago
- Unofficial mirror of the ETH A2 repository☆48Dec 18, 2022Updated 3 years ago
- My notes from reading this amazing book by Peter M. Kogge.☆25Apr 14, 2014Updated 11 years ago
- Port of Cyc to Common Lisp☆23Sep 1, 2020Updated 5 years ago
- Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.☆1,425Oct 17, 2025Updated 4 months ago
- B compiler for the PDP-8☆50Dec 16, 2025Updated 2 months ago