Pulse-level simulator of the ENIAC
☆44Apr 15, 2026Updated 4 months ago
Alternatives and similar repositories for eniac-simulator
Users that are interested in eniac-simulator 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 open format definition for static analysis tools☆11Jan 20, 2023Updated 3 years ago
- FPGA Verilog implementation of 1949 EDSAC Computer with animated tape reader, panel, teleprinter and CRT scope☆14Sep 5, 2025Updated last year
- A program to create IMF music used by several classic ID and Apogee games such as Wolfenstein 3D and Commander Keen.☆16Jun 4, 2025Updated last year
- A strongly typed Forth. Stack elements know their type. Functions, words, strings and tables (Lua-esque tables) are first class types.☆16May 23, 2010Updated 16 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 6 years ago
- 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.
- A 65C02 Assembly eDSL in Haskell☆18May 31, 2018Updated 8 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆36Aug 2, 2017Updated 9 years ago
- A programmable virtual CPU written in untyped lambda calculus☆70Oct 20, 2022Updated 3 years ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆25Oct 4, 2020Updated 5 years ago
- Ring Erlang exercise implemented in several languages☆15Jun 18, 2022Updated 4 years ago
- an (unoptimized) quipu knot pattern maker processing sketch. Takes an ASCII file and converts to PDF. Each line of the input file is a qu…☆13Feb 20, 2018Updated 8 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- Pez is a Forth dialect based on Atlast, with expanded capabilities and more portability.☆34Apr 5, 2015Updated 11 years ago
- Common source code repository for emulators of the Burroughs B5500 computer system.☆24Jan 11, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Перевод интерфейса Phabricator'а на русский язык☆13Oct 6, 2017Updated 8 years ago
- If you just got a fresh Windows 10 and you don't know why your Internet stopped working around the same time, try this. These are scripts…☆11Jan 15, 2025Updated last year
- An abstract-interpretation-based static analysis for inferring refinement types☆16Aug 11, 2025Updated last year
- Drag and drop a hosts file to convert it.☆14Jan 15, 2025Updated last year
- an advanced text adventure engine with a web interface, written in prolog☆25Nov 29, 2015Updated 10 years ago
- ☆15May 28, 2025Updated last year
- KolibriOS Developer Edition. This is a System Image for developers.☆12Feb 21, 2021Updated 5 years ago
- A real-time 3D distance field modeling software☆23Dec 8, 2017Updated 8 years ago
- A simple script for plotting the flight path of aircraft from ADS-B packet data☆12Jan 25, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- This program streamlines the creation of tilesets in SMBX2 by automating the most tedious parts of the process.☆11Aug 25, 2024Updated 2 years ago
- A fast python tool for creating permutations of alphanumerics☆11Mar 22, 2020Updated 6 years ago
- FM Patches I've made☆10Aug 22, 2021Updated 5 years ago
- IPS - High Level Programming of Small Systems for the AMSAT space projects (communication satellites for radio amateurs)☆24Aug 12, 2019Updated 7 years ago
- A static analysis tool for C.☆29Oct 29, 2019Updated 6 years ago
- An SNES BRR encoder / decoder. snesbrr encodes standard PCM wave files into BRR files that can be used by the S-DSP of the SNES. Windows …☆13Nov 14, 2016Updated 9 years ago
- nim language☆11Feb 21, 2023Updated 3 years ago
- Mostly safe wrapper for alloca☆31Aug 3, 2023Updated 3 years ago
- No-nonsense patches for YM2612.☆11Oct 3, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- WON'T follow any github users☆18Dec 5, 2025Updated 9 months ago
- Comparing different renderers and the resulting images☆11Apr 29, 2020Updated 6 years ago
- Microsoft BASIC for 6502 (Commodore, Apple, KIM-1, AIM-65, OSI, ...)☆14Feb 23, 2025Updated last year
- An efficient, portable and secure general-purpose virtual machine and virtual network using libable☆28Jun 3, 2026Updated 3 months ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆16Updated this week
- A shelter for stale branches from the previous repository of Doom2D Forever.☆10Jan 14, 2025Updated last year
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Jul 3, 2020Updated 6 years ago