☆21Aug 1, 2015Updated 10 years ago
Alternatives and similar repositories for Synthesis
Users that are interested in Synthesis are comparing it to the libraries listed below
Sorting:
- ☆14Mar 20, 2019Updated 6 years ago
- Common definitions for USB constants.☆25Mar 2, 2025Updated 11 months ago
- Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document☆18Jul 17, 2016Updated 9 years ago
- RISC-V Specification in Coq☆116Jan 5, 2026Updated last month
- RISC-V port of LLVM Linker☆24Aug 3, 2018Updated 7 years ago
- racket scheme peg-parser☆23Nov 13, 2021Updated 4 years ago
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆164Nov 20, 2025Updated 3 months ago
- A generic test bench written in Bluespec☆57Dec 15, 2020Updated 5 years ago
- Color quantization library☆37May 14, 2025Updated 9 months ago
- CoreIR Symbolic Analyzer☆74Oct 27, 2020Updated 5 years ago
- Mini Stepper Motor with Android and Arduino☆18Aug 3, 2014Updated 11 years ago
- Implementation of RISC-V RV32IM. Simple in-order 3-stage pipeline. Low resources (e.g., FPGA softcore).☆34Jul 10, 2016Updated 9 years ago
- Haskell typechecker☆39May 7, 2019Updated 6 years ago
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- Locus site for Public Review of Several RISC-V ISA Formal Specs☆75Jun 18, 2020Updated 5 years ago
- A formally verified high-level synthesis tool based on CompCert and written in Coq.☆98Jan 29, 2026Updated last month
- A core language for rule-based hardware design 🦑☆173Dec 10, 2025Updated 2 months ago
- Bluespec SystemVerilog library for use of the IBM Coherent Accelerator-Processor Interface (CAPI)☆11May 25, 2016Updated 9 years ago
- Vim plugin for Bluespec SystemVerilog (BSV)☆11Nov 8, 2020Updated 5 years ago
- Use Rust in React Native through WebAssembly☆11Jan 7, 2023Updated 3 years ago
- high abstraction synthesis☆14Apr 8, 2024Updated last year
- STM32F401 Discovery sensor demo with BlueNRG device☆11Jul 9, 2014Updated 11 years ago
- Medium Access Control layer of 802.15.4☆13Nov 14, 2014Updated 11 years ago
- ☆12Oct 19, 2014Updated 11 years ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 5 years ago
- Micro-blogging engine☆58Sep 2, 2013Updated 12 years ago
- This library is a workaround until futures-rs and error-chain crates works out-of-box with each other☆13May 18, 2017Updated 8 years ago
- Elixir wrapper of Basho's Bitcask Key/Value store.☆12Mar 14, 2015Updated 10 years ago
- A low-resource native app for sharing space with co-workers and friends.☆15Feb 20, 2025Updated last year
- Testing processors with Random Instruction Generation☆55Jan 13, 2026Updated last month
- Simple examples to demonstrate full-stack Rust audio plugin dev with baseplug and iced_audio☆14Dec 5, 2021Updated 4 years ago
- Tools for working with types where a subset of values has a total order, like e.g. floats without NaN☆13Nov 7, 2025Updated 3 months ago
- ☆12Sep 20, 2022Updated 3 years ago
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Mar 17, 2015Updated 10 years ago
- Graphical 2048 implementation for Emacs☆13Apr 29, 2020Updated 5 years ago
- A processing thing that draws weird glyphs☆12May 2, 2017Updated 8 years ago