Library code for upcoming RetroClash book
☆10Feb 22, 2025Updated last year
Alternatives and similar repositories for retroclash-lib
Users that are interested in retroclash-lib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Nov 2, 2021Updated 4 years ago
- A hand-written streaming byte parser for OpenStreetMap Protobuf data.☆12Dec 8, 2021Updated 4 years ago
- diagrams backend that renders directly to an HTML5 canvas☆23Apr 21, 2016Updated 10 years ago
- A Clash playground/starter kit, using Nix☆37Feb 8, 2019Updated 7 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆61May 26, 2021Updated 5 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.
- ☆31Mar 2, 2021Updated 5 years ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆28Dec 4, 2022Updated 3 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 years ago
- A PYNQ overlay demonstrating the Xilinx RFSoC SD-FEC☆13Jun 29, 2022Updated 3 years ago
- ☆16Aug 21, 2019Updated 6 years ago
- Markdown parser☆11Mar 23, 2026Updated 2 months ago
- Interactive-diagrams☆39May 18, 2015Updated 11 years ago
- Mathpaqs: a collection of mathematical packages in pure Ada☆13Feb 6, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Repository for sources used for Nomad slot in Paris Container Day 2017☆10Jun 14, 2017Updated 8 years ago
- Efficient, polymorphic Map Algebra in Haskell.☆38Feb 17, 2020Updated 6 years ago
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago
- JavaScript knot drawing and identification tool☆11Jul 20, 2016Updated 9 years ago
- A json-like data structure library in Ada☆13Mar 26, 2025Updated last year
- typing haskell in haskell☆18Sep 22, 2022Updated 3 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 8 years ago
- Ada-tailored UML Modeling Language☆11May 14, 2023Updated 3 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.
- ☆15Aug 8, 2020Updated 5 years ago
- Apache Kafka Ada client library, based off of librdkafka☆14Sep 2, 2022Updated 3 years ago
- Sampling without replacement algorithms☆16Jun 11, 2024Updated last year
- Where Lions Roam: RISC-V on the VELDT☆265Dec 15, 2025Updated 5 months ago
- NeoGeo FPGA☆12May 12, 2026Updated 2 weeks ago
- Alire port to aarch64☆15Aug 21, 2024Updated last year
- https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html☆12Jul 6, 2016Updated 9 years ago
- Make a map of all georeferenced maps on routegadget☆14Aug 4, 2021Updated 4 years ago
- ☆15Apr 25, 2019Updated 7 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.
- Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference☆79Nov 24, 2022Updated 3 years ago
- JSON/JWK/JWS/JWT/Base64 library in SPARK☆20Oct 12, 2020Updated 5 years ago
- Brushless motor control software written in Ada☆11Jan 30, 2018Updated 8 years ago
- Testing Infrastructure for Temporal AbstractioNs☆23Aug 24, 2020Updated 5 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18May 15, 2019Updated 7 years ago
- Board files to build the ZCU111 PYNQ image☆21Oct 11, 2022Updated 3 years ago
- NBAda - An Ada library of lock-free data structures and algorithms.☆13May 16, 2015Updated 11 years ago