System-on-a-Chip for FPGA, with xr16 RISC core and LCC port
☆12Jul 23, 2017Updated 8 years ago
Alternatives and similar repositories for XSOC-xr16
Users that are interested in XSOC-xr16 are comparing it to the libraries listed below
Sorting:
- A compiler for the Algol W programming language.☆15Jul 13, 2025Updated 7 months ago
- Reason about Term Rewriting Systems☆18Jul 24, 2022Updated 3 years ago
- Web-based emulator and operating environment for the ElectroData/Burroughs Datatron 205 computer system.☆14Aug 22, 2022Updated 3 years ago
- 6502 microprocessor emulator; library and command line utility☆19Mar 18, 2023Updated 2 years ago
- BK0011M (USSR retro home computer) core for MiST board☆16Mar 8, 2019Updated 6 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- 8080/8085 CPU Exerciser☆19Oct 30, 2012Updated 13 years ago
- Minimal microprocessor☆21Jul 1, 2017Updated 8 years ago
- A concise programming language that is fun to use☆16Dec 24, 2015Updated 10 years ago
- The RCA 1802 in Verilog☆21Dec 25, 2024Updated last year
- Lua port of of microKanren, a minimal logic programming engine.☆34Jan 21, 2014Updated 12 years ago
- RCA COSMAC CDP1802 functional equivalent CPU core in VHDL☆27Jan 7, 2018Updated 8 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆28Aug 19, 2025Updated 6 months ago
- αProlog☆18Jul 9, 2023Updated 2 years ago
- Stackless Joy☆23Apr 15, 2025Updated 10 months ago
- 32-bit RISC-V Emulator☆27Feb 23, 2019Updated 7 years ago
- Universal Disassembler program for 8-bit microprocessors☆28Dec 4, 2025Updated 3 months ago
- A heuristic procedure for proving inequalities☆34Sep 4, 2018Updated 7 years ago
- I refer you to the name of the repository☆25Dec 13, 2023Updated 2 years ago
- An automated theorem prover for first order logic.☆30Mar 23, 2017Updated 8 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆40Apr 11, 2023Updated 2 years ago
- PRolog Equation Solving System☆29Sep 2, 2016Updated 9 years ago
- Fully-featured music player and sequence designer, designed for square dance callers☆13Feb 20, 2026Updated 2 weeks ago
- mbed-os SD card driver and associated test cases☆36Feb 7, 2019Updated 7 years ago
- OTCC Deobfuscated and Explained☆46Apr 28, 2023Updated 2 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- An implementation of a CPU that uses a Linear Feedback Shift Register as a Program Counter instead of a normal one☆54Jun 6, 2025Updated 9 months ago
- Context Hub Runtime Environment (CHRE)☆10Oct 17, 2023Updated 2 years ago
- Webpage segmentation use DBSCAN☆13Apr 4, 2023Updated 2 years ago
- Literate testing for command-line programs☆39Jan 30, 2026Updated last month
- CSOM - C implementation of the Simple Object Machine Smalltalk☆37Jul 16, 2021Updated 4 years ago
- ☆10Jan 16, 2025Updated last year
- a minimal implementation of incremental computation in Scheme☆37Apr 30, 2017Updated 8 years ago
- GDB server to debug CPU simulation waveform traces☆43Feb 21, 2022Updated 4 years ago
- Launcher application for Google Chrome's flatpak on Endless OS☆11Updated this week
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- Pong game written in the boot sector☆38Jan 26, 2026Updated last month