C toolchain and programs for the UNIVAC 1219B
☆31Jul 15, 2026Updated 2 months ago
Alternatives and similar repositories for univac-1219-riscv
Users that are interested in univac-1219-riscv are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- u[Dark]RISC -- "micro-darkrisc" -- an early 16-bit micro-RISC processor defined before DarkRISCV☆20Jul 25, 2023Updated 3 years ago
- An embedding of ZFC into Agda☆13Dec 10, 2021Updated 4 years ago
- Programming language based on russian language☆13Sep 13, 2026Updated last week
- CP/M Functional VI Clone in HiTech-C☆19Aug 9, 2026Updated last month
- How to run any Python code with only 4 (or 2) (or 1) distinct punctuation marks☆15Jul 6, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Low-level simulators for various PiDP-style panels, including the PiDP-1☆22Aug 18, 2026Updated last month
- 8x16 game based on STC15F2K60S2 an 8051 clone☆23Dec 31, 2020Updated 5 years ago
- SPI MITM for the Arty S7-50☆14Dec 24, 2022Updated 3 years ago
- ☆67Jun 24, 2019Updated 7 years ago
- some atari 2600 experiments☆17Aug 20, 2026Updated last month
- A copy of Atari's coin-op assembler and tools, as well as coin-op Centipede☆23Jun 9, 2024Updated 2 years ago
- ☆13Jul 8, 2024Updated 2 years ago
- ☆14Oct 11, 2023Updated 2 years ago
- My Agda/Mikan stuff☆13Aug 29, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Turn any input device into a dedicated macrodevice.☆13May 7, 2022Updated 4 years ago
- Per-window keyboard layout switcher for Awesome WM☆16Feb 23, 2017Updated 9 years ago
- Simple IRC Bot for flooding☆11Sep 12, 2011Updated 15 years ago
- Recreation of the classic arcade game Donkey Kong for the Ti-84 Plus CE☆15May 23, 2019Updated 7 years ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- 6502 microprocessor emulator; library and command line utility☆19Mar 18, 2023Updated 3 years ago
- Multi-channel EEP Engine Program: advanced 1-bit sound engine for 83+/84+ series of calculators (except regular 83+)☆13Mar 31, 2024Updated 2 years ago
- HeiChips 2025 LibreLane Workshop☆18Aug 25, 2025Updated last year
- A curated collection of CP/M software☆34Aug 18, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- A tool for the TI-84 Plus CE graphing calculator to display commas as thousands separators☆11May 21, 2022Updated 4 years ago
- A spaceflight simulation game involving human-like creatures, sometimes referred to as "gnomes".☆23Apr 27, 2026Updated 4 months ago
- ☆16Oct 31, 2023Updated 2 years ago
- OpenGL ES 2.0 soft rendering pipeline implemented in C++.☆11Aug 15, 2019Updated 7 years ago
- Mechanized Theory of Event Structures☆16Aug 16, 2023Updated 3 years ago
- Coq solutions to exercises in HoTT book☆12Jan 31, 2014Updated 12 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- eZ80 disassembler☆22Jul 28, 2022Updated 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.
- wine for 9☆16Oct 29, 2022Updated 3 years ago
- A combinator reduction engine that accepts syntax for lambda expressions and is optimal. Rebase pending. That will affect forks. Downstre…☆12Mar 31, 2024Updated 2 years ago
- ☆18Feb 20, 2024Updated 2 years ago
- Describe Toki Pona using Grammatical Framework☆12Jun 5, 2020Updated 6 years ago
- Linux kernel modules written in Scratch☆86Jun 27, 2022Updated 4 years ago
- Compiles Python modules for TI-83PCEEP / TI-84PCEPy / TI-84PCE-TEP / TI-82AEP graphing calculators☆13Sep 8, 2026Updated last week
- VS Code language support for (e)Z80 TI-BASIC. Also used by github-linguist☆15Jan 3, 2026Updated 8 months ago