FPGA Based Apollo Guidance Computer
☆86Jul 21, 2019Updated 6 years ago
Alternatives and similar repositories for AGC
Users that are interested in AGC are comparing it to the libraries listed below
Sorting:
- An RCA COSMAC 1802 simulation for the Arduino mostly aimed at the KIM UNO hardware. Will work without it though.☆19Aug 14, 2023Updated 2 years ago
- IP cores for the FPGA Libre project☆12Aug 7, 2017Updated 8 years ago
- A java telnet server☆13Feb 23, 2026Updated last week
- A URL shortener web application written with WebSharper and ASP.NET Core☆13May 26, 2021Updated 4 years ago
- The Compiler of HLang☆10Feb 27, 2021Updated 5 years ago
- Standard HyperRAM core for ECP5 written in Litex/Migen☆14Dec 6, 2019Updated 6 years ago
- A cross platform, formally verified, open source, hyperRAM controller with simulator☆14Feb 22, 2019Updated 7 years ago
- ☆11Feb 16, 2019Updated 7 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- Topological sort algorithm☆15Jan 15, 2026Updated last month
- A brief overview of the main CI services☆16Aug 1, 2025Updated 7 months ago
- Verilog simulation files for a replica of the Apollo Guidance Computer☆131May 2, 2022Updated 3 years ago
- a solver for opam packages using 0install's solver engine☆22Jul 22, 2025Updated 7 months ago
- The Michelson Symbolic vErifier☆13Feb 3, 2023Updated 3 years ago
- Forth for RISC-V SBCs☆33Aug 2, 2025Updated 7 months ago
- OpenFPGA☆34Mar 12, 2018Updated 7 years ago
- ☆96Jun 16, 2021Updated 4 years ago
- Schematics and board layouts for an Apollo Guidance Computer replica☆111Apr 14, 2019Updated 6 years ago
- PyTorch implementation of "Pyramid Scene Parsing Network".☆16Nov 7, 2021Updated 4 years ago
- The VAX/VMS 3.7 (1984) source code.☆25Jan 27, 2023Updated 3 years ago
- A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.☆21Mar 19, 2015Updated 10 years ago
- Place & Router for Minetest☆18Nov 5, 2022Updated 3 years ago
- A simple optical illusion in python☆42Oct 12, 2020Updated 5 years ago
- FPGA implementation of the Apollo Guidance Computer☆20Dec 27, 2022Updated 3 years ago
- 🧪 My tiny project for Software Testing☆19Nov 15, 2018Updated 7 years ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 years ago
- FPGA implementation of DEC PDP-1 computer (1959) in Verilog, with CRT, Teletype and Console.☆193Jul 9, 2022Updated 3 years ago
- Morphle Logic V1.0, an open hardware asynchronous runtime reconfigurable array ARRA or PPL,FPGA,CPLD☆23Feb 12, 2023Updated 3 years ago
- XXDP was, and remains, the PDP-11 diagnostic operating system. This project attempts to recover XXDP sources and documents.☆28Dec 11, 2022Updated 3 years ago
- Minimal support for Canonical S-expressions☆28Jul 18, 2023Updated 2 years ago
- An online Verilog IDE based on YosysJS.☆24Jan 7, 2016Updated 10 years ago
- Test of ICEstick PLL usage with Yosys/Arachne-PNR/Icetools☆21Oct 8, 2016Updated 9 years ago
- Cross compile FPGA tools☆21Jan 4, 2021Updated 5 years ago
- GROM-8 CPU☆20Dec 17, 2017Updated 8 years ago
- Isabelle LLVM Code Generator and Refinement☆29Nov 10, 2025Updated 3 months ago
- The Core Flight System (cFS) Scheduler Lab App (sch_lab)☆21Jan 26, 2026Updated last month
- MINT2 The latest version of MINT☆29May 10, 2025Updated 9 months ago
- language verification, construction, and analysis☆20Apr 2, 2022Updated 3 years ago
- Example code in Verilog for the Blackice II FPGA☆30Sep 8, 2019Updated 6 years ago