Pulse-level simulator of the ENIAC
☆44Sep 22, 2026Updated this week
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:
- ☆14Jul 23, 2017Updated 9 years ago
- 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
- 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.
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 6 years ago
- 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
- ☆14Sep 11, 2019Updated 7 years ago
- Rust ICMP socket, intended to be similar to std TCP/UDP sockets in future☆12Apr 2, 2019Updated 7 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
- Epic Canvas. A decent WebGL library built around webGL 1.0 and the drawArrays mode. Allows for WebGL codes of 3D and 4D visuals. Version…☆14Oct 19, 2025Updated 11 months 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.
- BSD Administration Scripts v2☆21Aug 28, 2026Updated 3 weeks ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆17Dec 19, 2023Updated 2 years ago
- The website for the AdvancedResearch community☆21Sep 15, 2026Updated last week
- 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.☆25Jan 11, 2023Updated 3 years ago
- Rust client for the Finnhub API☆10Sep 5, 2023Updated 3 years ago
- Перевод интерфейса 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
- 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.
- 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
- KolibriOS Developer Edition. This is a System Image for developers.☆12Feb 21, 2021Updated 5 years ago
- A simple script for plotting the flight path of aircraft from ADS-B packet data☆12Jan 25, 2018Updated 8 years ago
- 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
- ESS ES1969 x64 driver for Windows, sourcecode reconstruction and driver☆16Apr 3, 2024Updated 2 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
- WIP Server Emulator for the now-closed MMORPG Fer.al. Shoutout to @Rawaho, without them and their research, this project wouldn't be poss…☆11Aug 14, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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
- Interpreters for Tiny Basic written in Basic (various versions), C, C#, Java, Pascal, Python, VB.Net and others. Pure interpreters, e.g.,…☆42Mar 19, 2025Updated last year
- No-nonsense patches for YM2612.☆11Oct 3, 2018Updated 7 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
- A simple library of extending the current functionality of SDL2 without having to change your includes. Currently supporting RenderQuads,…☆14Jun 17, 2024Updated 2 years ago