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.
☆10Sep 4, 2017Updated 8 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
Sorting:
- A collection of reusable Clash designs/examples☆54Jan 28, 2024Updated 2 years ago
- a fast erasure codec which can be used with the command-line, C, Python, or Haskell☆45Dec 22, 2021Updated 4 years ago
- An implementation of the Language Server Protocol for Common Lisp☆19Jan 2, 2021Updated 5 years ago
- An image-processing library for Haskell.☆10Mar 26, 2016Updated 9 years ago
- QuickLift frontend in PureScript☆15Mar 25, 2016Updated 9 years ago
- Plot package similar to gnuplot☆23Mar 26, 2024Updated last year
- Server-side blog engine written in Scheme☆30Dec 15, 2023Updated 2 years ago
- Computational Neuroscience 3rd year CS course at the University of Bristol☆12Jul 19, 2022Updated 3 years ago
- A lightweight database schema migration system for Rust☆23Oct 29, 2019Updated 6 years ago
- Software for interfacing with Qontrol hardware.☆11Jun 11, 2024Updated last year
- Hands On Functional Kotlin, published by Packt☆13Jan 14, 2021Updated 5 years ago
- An implementation of the Core language☆30Oct 4, 2015Updated 10 years ago
- NixOS configuration for various machines.☆13Apr 2, 2019Updated 6 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- ☆12Jun 13, 2019Updated 6 years ago
- A pretty-printing library for laying out text in two dimensions, using a simple box model.☆38Dec 22, 2025Updated 3 months ago
- A Zoo of Haskell Newtype Wrappers☆15Nov 30, 2020Updated 5 years ago
- RISC-V Specification in Coq☆13Sep 17, 2018Updated 7 years ago
- Lenses in Coq☆17Oct 7, 2022Updated 3 years ago
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 7 years ago
- Foundational Verification of Hybrid Systems☆15Mar 23, 2017Updated 9 years ago
- ☆17Jan 6, 2024Updated 2 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52May 8, 2025Updated 10 months ago
- A RiscV processor implementing the RV32I instruction set written in Clash☆56Apr 11, 2018Updated 7 years ago
- Haskell knowledgebase, Zettelkasten style (~2 months experiment, which resulted in migration to srid.ca)☆17Jun 11, 2020Updated 5 years ago
- Haskell binding for Menoh DNN inference library☆12Nov 30, 2018Updated 7 years ago
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- Fourier series applet☆24Apr 22, 2023Updated 2 years ago
- A simple wrapper of an IO computation to show the used CPU time.☆16Mar 14, 2025Updated last year
- A Clojure library for writing difference equations☆13Jul 15, 2017Updated 8 years ago
- ☆21Mar 15, 2016Updated 10 years ago
- Kleene algebra, regular expressions☆33Nov 18, 2023Updated 2 years ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆20Apr 22, 2020Updated 5 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 13 years ago
- nixpkgs development utility☆21Oct 13, 2019Updated 6 years ago
- GHC prof manipulation script☆32Feb 4, 2024Updated 2 years ago
- AWS virtual infrastructure simulator for training reinforcement learning based cloud capacity management systems☆11Sep 23, 2020Updated 5 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Jun 18, 2021Updated 4 years ago
- Example of embedding Servant within a Yesod Application☆15Aug 23, 2016Updated 9 years ago