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 8 months ago
- ☆10Jun 6, 2015Updated 11 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 11 years ago
- UVM/systemverilog/verilog/python VIM IDE☆17Aug 21, 2013Updated 13 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.
- AXI X-Bar☆19Apr 8, 2020Updated 6 years ago
- 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
- Haskell distributed parallel Haskell☆37Aug 26, 2017Updated 9 years ago
- hidden markov models in haskell☆34May 30, 2016Updated 10 years ago
- verification of the basic router protocol with UVM testbech //INCLUDED WITH RTL☆15Jan 4, 2019Updated 7 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- F9R-Dev simulator☆15Feb 1, 2016Updated 10 years ago
- 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☆14Aug 31, 2013Updated 13 years ago
- Verification Excellence Knowledge Sharing☆23Jul 14, 2014Updated 12 years ago
- My personal site.☆10Oct 6, 2026Updated last week
- Python package for working with Keysight/Agilent/HP test equipment.☆17Oct 1, 2026Updated last week
- Haskell library that uses HIBP to evaluate passwords☆12Jan 25, 2025Updated last year
- ASIC Design of the openSPARC Floating Point Unit☆17Mar 13, 2017Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.☆27Mar 30, 2020Updated 6 years ago
- native Verilog pcap, littletoe, bcd, xml and hash modules, with Icarus testbenches☆47Nov 24, 2014Updated 11 years ago
- 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 3 weeks ago
- 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
- AVR course at Brno University of Technology☆29Feb 8, 2026Updated 8 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Port of ciccreator to Python☆23Sep 29, 2026Updated 2 weeks ago
- Haskell HTTP client library for use with io-streams☆49Oct 20, 2023Updated 2 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 years ago
- learning VHDL☆12Jul 1, 2014Updated 12 years ago
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years 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
- Haskell client for Cassandra's CQL protocol☆28Jul 10, 2017Updated 9 years ago