On going experiments with Clash
☆22Oct 17, 2015Updated 10 years ago
Alternatives and similar repositories for Clash6502
Users that are interested in Clash6502 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Kansas Lava implementation of MOS 6502 microprocessor☆16Sep 19, 2018Updated 7 years ago
- Rules for performing tasks related to FPGA development in Bazel.☆12Aug 12, 2021Updated 4 years ago
- ☆17Jan 6, 2024Updated 2 years ago
- A Bluespec SystemVerilog library of miscellaneous components☆18Apr 14, 2025Updated last year
- RISC-V BSV Specification☆23Jan 18, 2020Updated 6 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.
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- A collection of reusable Clash designs/examples☆54Jan 28, 2024Updated 2 years ago
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Aug 22, 2024Updated last year
- Minimal RISC-V RV32I CPU design as described in a companion blog post.☆13Jun 14, 2020Updated 5 years ago
- An Awesome MCP Server Framework for Haskell☆44Feb 11, 2026Updated 2 months ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18May 15, 2019Updated 6 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 7 years ago
- RCA COSMAC CDP1802 functional equivalent CPU core in VHDL☆27Jan 7, 2018Updated 8 years ago
- Convert lambda expressions to CCC combinators☆150Feb 23, 2016Updated 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.
- Derived from https://sourceforge.net/projects/v2kparse☆45Sep 10, 2015Updated 10 years ago
- diagrams backend that renders directly to an HTML5 canvas☆23Apr 21, 2016Updated 10 years ago
- Haskell library for hardware description☆106Aug 18, 2025Updated 8 months ago
- concurrent process runner☆31Oct 13, 2019Updated 6 years ago
- QuasiQuoter for GHCJS JavaScript FFI☆20Jul 1, 2016Updated 9 years ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆50Mar 27, 2026Updated last month
- Universal Disassembler program for 8-bit microprocessors☆28Dec 4, 2025Updated 4 months ago
- Programmable multichannel ADPCM decoder for FPGA☆26Dec 28, 2020Updated 5 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Sep 14, 2011Updated 14 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.
- 📚 A collection of resources about normalization-by-evaluation☆29Jul 29, 2025Updated 9 months ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆28Dec 4, 2022Updated 3 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Apr 5, 2016Updated 10 years ago
- Forth for the J1-CPU☆18Mar 13, 2017Updated 9 years ago
- A RiscV processor implementing the RV32I instruction set written in Clash☆56Apr 11, 2018Updated 8 years ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆16Oct 22, 2025Updated 6 months ago
- Low-level Haskell bindings to GLFW☆14Oct 13, 2025Updated 6 months ago
- Very Naive MIPS CPU using Clash☆29Oct 17, 2021Updated 4 years ago
- A formal semantics of the RISC-V ISA in Haskell☆174Aug 13, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- From Haskell to Hardware via CCCs☆58Jun 22, 2016Updated 9 years ago
- Open source fpga project leveraging vtr CAD flow.☆26Mar 4, 2023Updated 3 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 3 months ago
- A crackme demo program based on Forth code☆13Sep 27, 2012Updated 13 years ago
- ☆31Mar 2, 2021Updated 5 years ago
- 🔁 elastic circuit toolchain☆33Dec 2, 2024Updated last year
- An extended version of QFileSystemModel with access to parent directory☆12Feb 27, 2019Updated 7 years ago