This project is a conversion of the source code from VHDL BY EXAMPLE by Blaine C. Readler, and some slightly modfied examples from the CLaSH website.
☆11Sep 4, 2017Updated 9 years ago
Alternatives and similar repositories for CLaSH-by-example
Users that are interested in CLaSH-by-example are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A collection of reusable Clash designs/examples☆54Jan 28, 2024Updated 2 years ago
- ☆15Nov 14, 2014Updated 11 years ago
- An implementation of the Language Server Protocol for Common Lisp☆21Jan 2, 2021Updated 5 years ago
- ☆17May 13, 2026Updated 5 months ago
- An image-processing library for Haskell.☆10Mar 26, 2016Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Plot package similar to gnuplot☆23Mar 26, 2024Updated 2 years ago
- Reverse-mode automatic differentiation with delimited continuations☆17Jul 3, 2023Updated 3 years ago
- QuickLift frontend in PureScript☆15Mar 25, 2016Updated 10 years ago
- Fetch and automatically update nix derivation sources☆10Sep 3, 2024Updated 2 years ago
- Server-side blog engine written in Scheme☆30Dec 15, 2023Updated 2 years ago
- A Genetic Algorithm library in Haskell☆20Nov 11, 2018Updated 7 years ago
- Computational Neuroscience 3rd year CS course at the University of Bristol☆14Jul 19, 2022Updated 4 years ago
- NixOS configuration for various machines.☆13Apr 2, 2019Updated 7 years ago
- A lightweight database schema migration system for Rust☆24Oct 29, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Software for interfacing with Qontrol hardware.☆11Jun 11, 2024Updated 2 years ago
- A pretty-printing library for laying out text in two dimensions, using a simple box model.☆39Dec 22, 2025Updated 10 months ago
- A helper script / git extension for cataloguing computation results☆14Mar 15, 2021Updated 5 years ago
- RISC-V Specification in Coq☆13Sep 17, 2018Updated 8 years ago
- Interact with coqtop within Vim☆11May 15, 2013Updated 13 years ago
- Foundational Verification of Hybrid Systems☆15Mar 23, 2017Updated 9 years ago
- Compare the public API of different versions of a Hackage library☆61May 2, 2018Updated 8 years ago
- ☆10Apr 15, 2022Updated 4 years ago
- An FPGA design project by Kais Kudrolli, Sohil Shah, and DongJoon Park for 18-545 at Carnegie Mellon University.☆10Nov 30, 2017Updated 8 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- Introduction to AI☆42Apr 28, 2025Updated last year
- Fourier series applet☆24Apr 22, 2023Updated 3 years ago
- Lenses in Coq☆17Oct 7, 2022Updated 4 years ago
- Common Lisp Editing extension for Visual Studio Code☆39Jun 11, 2021Updated 5 years ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆20Apr 22, 2020Updated 6 years ago
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 8 years ago
- A RiscV processor implementing the RV32I instruction set written in Clash☆58Apr 11, 2018Updated 8 years ago
- A Clojure library for writing difference equations☆13Jul 15, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆20Mar 15, 2016Updated 10 years ago
- AWS virtual infrastructure simulator for training reinforcement learning based cloud capacity management systems☆11Sep 23, 2020Updated 6 years ago
- GHC prof manipulation script☆32Feb 4, 2024Updated 2 years ago
- All Games ever played on the No Name Go Server (First commit contains the original files, later may enhance their compatibility with SGF …☆16Apr 2, 2012Updated 14 years ago
- Concurrent Functional Reactive Programming for Rust☆16Jun 14, 2016Updated 10 years ago
- An implementation of the Core language☆30Oct 4, 2015Updated 11 years ago
- Haskell binding for Menoh DNN inference library☆13Nov 30, 2018Updated 7 years ago