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:
- ☆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 11 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
- 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.
- 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
- Cuda-based matrix/vector computations☆12Feb 25, 2020Updated 6 years ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆25Oct 4, 2020Updated 5 years ago
- ☆14Sep 11, 2019Updated 6 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- 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
- The website for the AdvancedResearch community☆21Jul 31, 2026Updated 2 weeks 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
- An abstract-interpretation-based static analysis for inferring refinement types☆16Aug 11, 2025Updated last year
- an advanced text adventure engine with a web interface, written in prolog☆25Nov 29, 2015Updated 10 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.
- ☆14May 28, 2025Updated last year
- 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
- 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☆16Apr 3, 2024Updated 2 years ago
- FM Patches I've made☆10Aug 22, 2021Updated 4 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
- 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.
- 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
- Interpreters for Tiny Basic written in Basic (various versions), C, C#, Java, Pascal, Python, VB.Net and others. Pure interpreters, e.g.,…☆41Mar 19, 2025Updated last year
- 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 2 months ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆16Updated this week
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Jul 3, 2020Updated 6 years ago
- CTSS source and binaries☆42Apr 18, 2022Updated 4 years ago