Netlist and Verilog Haskell Package
☆19Nov 21, 2010Updated 15 years ago
Alternatives and similar repositories for netlist-verilog
Users that are interested in netlist-verilog 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 simple pure LRU cache written in Haskell☆19Dec 3, 2018Updated 7 years ago
- ☆12Feb 9, 2026Updated 7 months ago
- ☆10Jun 6, 2015Updated 11 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 11 years ago
- AXI X-Bar☆20Apr 8, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Codec for Hadoop adding OpenPGP encryption using Bouncy Castle☆17Aug 18, 2011Updated 15 years ago
- Control your Arduino board from Haskell, using the Firmata protocol☆74Dec 15, 2022Updated 3 years ago
- User script for a better experince when using a reverse tree on Duolingo☆13Jun 11, 2021Updated 5 years ago
- Haskell bindings for the FUSE library☆27Jan 22, 2024Updated 2 years ago
- Spacemacs layer for using a nix friendly haskell-ide-engine lsp☆16Feb 28, 2019Updated 7 years ago
- hidden markov models in haskell☆34May 30, 2016Updated 10 years ago
- All of my Verilog_HDL codes☆11Apr 5, 2021Updated 5 years ago
- verification of the basic router protocol with UVM testbech //INCLUDED WITH RTL☆15Jan 4, 2019Updated 7 years ago
- F9R-Dev simulator☆15Feb 1, 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.
- Low-level Haskell bindings for libpq☆19Sep 19, 2019Updated 7 years ago
- Handle Fast Signal Traces (fst) in Python☆16Jun 11, 2025Updated last year
- Examples of unions, interfaces, and assertions in SystemVerilog☆13Aug 31, 2013Updated 13 years ago
- Verification Excellence Knowledge Sharing☆23Jul 14, 2014Updated 12 years ago
- A set of yasnippets for emacs that assist with SystemVerilog☆11Nov 25, 2011Updated 14 years ago
- My personal site.☆10Updated this week
- Python package for working with Keysight/Agilent/HP test equipment.☆17Sep 2, 2026Updated 3 weeks ago
- Haskell library that uses HIBP to evaluate passwords☆12Jan 25, 2025Updated last year
- Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.☆27Mar 30, 2020Updated 6 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.
- IP-XACT XML binding library☆17Jun 23, 2016Updated 10 years ago
- Submission template for Tiny Tapeout SKY130 (ChipFoundry) shuttles - analog, mixed signal and custom GDS projects☆19Sep 15, 2026Updated last week
- a toy synthesizer to explore haskell concepts☆15Feb 24, 2012Updated 14 years ago
- Java library for parsing and manipulating graph representations of gate-level Verilog netlists☆15Jan 9, 2017Updated 9 years ago
- PCI Express ® Base Specification Revision 3.0☆13May 23, 2018Updated 8 years ago
- Snap port of servant-server (WIP)☆28Aug 26, 2022Updated 4 years ago
- learning VHDL☆12Jul 1, 2014Updated 12 years ago
- SystemC Common Practices (SCP)☆38Feb 27, 2026Updated 6 months ago
- Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…☆13Jun 13, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Haskell client for Cassandra's CQL protocol☆28Jul 10, 2017Updated 9 years ago
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 6 years ago
- Sphinx domain to allow integration of Verilog / SystemVerilog documentation into Sphinx.☆27Mar 1, 2021Updated 5 years ago
- Simplify usage of nix dependencies during haskell development☆32May 9, 2019Updated 7 years ago
- transform literate source code to Markdown☆14Dec 19, 2025Updated 9 months ago
- Verilog language support in Atom☆18Jun 30, 2019Updated 7 years ago
- ☆24Feb 15, 2013Updated 13 years ago