antonyeagle / edl
Elements of Deductive Logic, an open-source intermediate logic textbook
☆12Updated 7 years ago
Alternatives and similar repositories for edl:
Users that are interested in edl are comparing it to the libraries listed below
- ☆16Updated 3 years ago
- Adlib Tracker II is, dare we say, the most userfriendly tracker aimed for the OPL3 FM-chip, and is full of advanced features to simplify …☆43Updated 6 years ago
- Guess a 5-letter word, for CBM-based machines (C64, X16, etc.)☆10Updated last year
- Empire for the PDP-10 in the FORTRAN-10 programming language☆47Updated 3 years ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆25Updated 2 years ago
- Game Boy Assembly Programming☆18Updated 5 years ago
- A MIDI message routing tool written in Haskell. This program was written to benchmark the performance of MIDI message handling in Euterpe…☆14Updated 4 years ago
- an assortment of TOOLS for Music editing in Final fantasy VI☆17Updated last month
- Aheui interpreter in Javascript☆23Updated 8 years ago
- A library for creating and loading UNIF files☆10Updated 4 years ago
- Disassembly of Super Mario Bros 3☆17Updated 4 years ago
- wav file from dpcm converting tool☆14Updated 6 years ago
- A clone of the old Future Crew MusicDiskPlayer☆18Updated 4 years ago
- A clean implementation of Forth on 32-bit linux-x86☆14Updated 4 years ago
- Toledo Atomchess for Atari VCS/2600☆27Updated last year
- Generate the default VGA 256-color palette.☆24Updated 7 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆32Updated 7 years ago
- Attempt to find a brute-force solution to Tetris☆17Updated 2 years ago
- Static recompilation of IDO 5.3 and 7.1 for modern platforms☆50Updated last week
- A simulator for the IBM 704 computer☆32Updated last year
- Exploring the space of all possible programs☆27Updated 11 years ago
- CRT simulation, as seen on TV☆16Updated 3 years ago
- DOS cassette tape interface for IBM PC.☆15Updated 2 years ago
- NES homebrew to interactively write values to the 2A03 sound registers☆15Updated 3 years ago
- Simulate a 4-function TI calculator and the Sinclair Scientific calculator using the original source code☆29Updated 6 years ago
- HTML5 Canvas-based port of my old Firedemo☆39Updated 7 years ago
- SNES reverse engineering toolkit with support for static recompilation☆30Updated 3 years ago
- Commander X16 Maze game☆10Updated 3 years ago
- LFAC - Low Fidelity Audio Codec☆17Updated 2 years ago