Pulse-level simulator of the ENIAC
☆42Apr 15, 2026Updated 3 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:
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 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 10 months ago
- 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 8 years ago
- A programmable virtual CPU written in untyped lambda calculus☆70Oct 20, 2022Updated 3 years ago
- Cuda-based matrix/vector computations☆12Feb 25, 2020Updated 6 years ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆26Oct 4, 2020Updated 5 years ago
- Ring Erlang exercise implemented in several languages☆15Jun 18, 2022Updated 4 years ago
- Cellular autotmata screensaver with a colourful rock-paper-scissors implementation.☆12Mar 8, 2015Updated 11 years ago
- Rust ICMP socket, intended to be similar to std TCP/UDP sockets in future☆12Apr 2, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 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 9 months 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
- Rust client for the Finnhub API☆10Sep 5, 2023Updated 2 years ago
- Перевод интерфейса Phabricator'а на русский язык☆13Oct 6, 2017Updated 8 years ago
- an advanced text adventure engine with a web interface, written in prolog☆25Nov 29, 2015Updated 10 years ago
- ☆14May 28, 2025Updated last year
- A real-time 3D distance field modeling software☆23Dec 8, 2017Updated 8 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.
- 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 last year
- 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☆15Apr 3, 2024Updated 2 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
- 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 last month
- 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.
- 🔧 🎨 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
- A tool that creates visualizations of the data layout on Commodore 1541 disk images☆78Apr 3, 2026Updated 3 months ago
- SimH simulator emulator fork with Control Panels and Visual devices. IBM 650, IBM NORC, IBM 701, IBM 360, SWTPC 6800, Ferranti Mark I, HP…☆81Apr 3, 2026Updated 3 months ago
- A CUDA port of Thurston's evert that path traces a sphere being turned inside out☆24Feb 9, 2024Updated 2 years ago
- Ocaml code from Writing an Interpreter in Go☆11Aug 16, 2019Updated 6 years ago