C toolchain and programs for the UNIVAC 1219B
☆29Jul 15, 2026Updated 3 weeks 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:
- An embedding of ZFC into Agda☆13Dec 10, 2021Updated 4 years ago
- dream86 - x86/PC emulator☆29Sep 17, 2022Updated 3 years ago
- CP/M Functional VI Clone in HiTech-C☆18Updated this week
- Flat Abstract Syntax Tree☆34Nov 4, 2017Updated 8 years ago
- How to run any Python code with only 4 (or 2) (or 1) distinct punctuation marks☆15Jul 6, 2025Updated last year
- 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.
- ☆12Nov 18, 2024Updated last year
- Low-level simulators for various PiDP-style panels, including the PiDP-1☆22May 1, 2026Updated 3 months ago
- 8x16 game based on STC15F2K60S2 an 8051 clone☆23Dec 31, 2020Updated 5 years ago
- Variable-sized block deduplication archival backed by Plan9's venti☆17Jul 15, 2024Updated 2 years ago
- A copy of Atari's coin-op assembler and tools, as well as coin-op Centipede☆23Jun 9, 2024Updated 2 years ago
- gaw3-20200922 fork with patches to improve remote commands sent from xschem to display waveforms☆18Mar 28, 2025Updated last year
- Assorted KiCad Symbols and Footprints☆15Mar 29, 2026Updated 4 months ago
- BOSshell for the TI-84+CE graphing calculator☆10Jul 31, 2020Updated 6 years ago
- Data, models, and code for the paper "Compact deep neural network models of visual cortex"☆16Mar 11, 2026Updated 4 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.
- My Agda stuff☆13Aug 4, 2026Updated last week
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- Turn any input device into a dedicated macrodevice.☆13May 7, 2022Updated 4 years ago
- Running Whisper, some LLM and Functionary on an Instinct Mi50 for HomeAssistant☆17Mar 9, 2025Updated last year
- GitHub-flavored emoji database☆15Sep 19, 2023Updated 2 years ago
- Tiny CSV module for Jai☆14Feb 10, 2026Updated 6 months 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☆16Aug 25, 2025Updated 11 months 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.
- Game Boy Advance emulator with audio support written in Rust 🦀🎮☆16Feb 26, 2025Updated last year
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- WebAssembly interpreter that fits in a QR code☆23Jun 17, 2026Updated last month
- ☆16Jan 28, 2021Updated 5 years ago
- A network filesystem client to connect to Dropbox☆17Jul 31, 2019Updated 7 years ago
- OpenGL ES 2.0 soft rendering pipeline implemented in C++.☆11Aug 15, 2019Updated 6 years ago
- A simple IDE emulator library along with some simple tools and patches to use it☆16Aug 24, 2019Updated 6 years ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- eZ80 disassembler☆22Jul 28, 2022Updated 4 years ago
- wine for 9☆16Oct 29, 2022Updated 3 years ago
- Use EEPROM modules as file storage. A very simple file system for EEPROMs on Arduino, ESP, RP2040.☆25Mar 12, 2025Updated last year
- 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
- 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☆12Updated this week