gergoerdi / mos6502-kansas-lavaLinks
Kansas Lava implementation of MOS 6502 microprocessor
☆16Updated 7 years ago
Alternatives and similar repositories for mos6502-kansas-lava
Users that are interested in mos6502-kansas-lava are comparing it to the libraries listed below
Sorting:
- On going experiments with Clash☆22Updated 10 years ago
- Forth clone in Haskell☆33Updated 8 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆59Updated 4 years ago
- A Z80 assembler embedded in Haskell☆17Updated 2 years ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆28Updated 2 years ago
- A Haskell 6502 Emulator☆69Updated 9 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 15 years ago
- scheme->gba : a Scheme compiler targeting ARM assembly.☆13Updated 9 years ago
- Synthesis-Aided Compiler for GreenArrays GA144☆54Updated 8 years ago
- Library code for upcoming RetroClash book☆10Updated 9 months ago
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- a Java VM implemented in Forth☆40Updated 13 years ago
- Interpreter for functional pure type systems.☆21Updated 8 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆48Updated 2 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Updated 14 years ago
- Forth interpreter in F#☆18Updated 2 years ago
- A Dependently Typed Esolang☆10Updated 8 years ago
- Haskell implementation of Notch's dcpu-16 specification (assembler, emulator)☆42Updated 13 years ago
- A tiny 32 bit kernel written in ATS☆26Updated 11 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Updated 10 years ago
- Forth douments, books, papers☆81Updated 7 years ago
- Forth for the J1-CPU☆19Updated 8 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 13 years ago
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆40Updated 2 years ago
- doom☆17Updated 9 years ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆51Updated 9 years ago
- The Kent Retargetable occam Compiler☆46Updated 3 years ago
- From Haskell to Hardware via CCCs☆58Updated 9 years ago
- Stack machine with 4-bit instructions☆79Updated 7 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 12 years ago