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 set of yasnippets for emacs that assist with SystemVerilog☆11Nov 25, 2011Updated 14 years ago
- IP data structures and textual representation☆14May 27, 2013Updated 13 years ago
- ☆12Feb 9, 2026Updated 8 months ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 11 years ago
- A simple pure LRU cache written in Haskell☆19Dec 3, 2018Updated 7 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.
- UVM/systemverilog/verilog/python VIM IDE☆17Aug 21, 2013Updated 13 years ago
- ☆10Jun 6, 2015Updated 11 years ago
- AXI X-Bar☆19Apr 8, 2020Updated 6 years ago
- Haskell interface to the udis86 disassembler for x86 and x86-64 / AMD64☆14Aug 28, 2011Updated 15 years ago
- Verilog language support in Atom☆18Jun 30, 2019Updated 7 years ago
- A library to load classes from DLLs☆12Jul 5, 2026Updated 3 months ago
- Accelerator for MatmulFree LLM algorithm☆14Oct 22, 2026Updated last week
- A Preprocessor for Verilog HDL written in C++☆11May 26, 2012Updated 14 years ago
- Apache ZooKeeper client for Haskell (GHC)☆16Jan 19, 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.
- Spacemacs layer for using a nix friendly haskell-ide-engine lsp☆16Feb 28, 2019Updated 7 years ago
- Browser-native, GPU-accelerated editor for very large hierarchical 2D IC-layout scenes, written in Rust (native and WebAssembly).☆16Aug 23, 2026Updated 2 months ago
- Spotify web API in Haskell☆13Mar 29, 2016Updated 10 years ago
- Haskell distributed parallel Haskell☆37Aug 26, 2017Updated 9 years ago
- All of my Verilog_HDL codes☆11Apr 5, 2021Updated 5 years ago
- hidden markov models in haskell☆34May 30, 2016Updated 10 years ago
- Haskell bindings for the FUSE library☆27Jan 22, 2024Updated 2 years ago
- F9R-Dev simulator☆15Feb 1, 2016Updated 10 years ago
- My personal site.☆10Oct 6, 2026Updated 3 weeks 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.
- ☆10Sep 14, 2021Updated 5 years ago
- Low-level Haskell bindings for libpq☆19Sep 19, 2019Updated 7 years ago
- Codec for Hadoop adding OpenPGP encryption using Bouncy Castle☆17Aug 18, 2011Updated 15 years ago
- Advanced Peripheral Bus (APB) UVM testbench project☆10Apr 9, 2017Updated 9 years ago
- AnalogStudio is a comprehensive, professional-grade Electronic Design Automation (EDA) software suite developed by Algo Science Lab for d…☆20Jul 22, 2026Updated 3 months ago
- Examples of unions, interfaces, and assertions in SystemVerilog☆14Aug 31, 2013Updated 13 years ago
- The ANUBIS benchmark suite for Incremental Synthesis☆13Dec 15, 2020Updated 5 years ago
- Mirror of the Universal Verification Methodology from sourceforge☆37Jan 21, 2015Updated 11 years ago
- Generate a Verilog Source file and testbench file for a given Moore FSM☆17Nov 18, 2012Updated 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Python package for working with Keysight/Agilent/HP test equipment.☆17Oct 1, 2026Updated last month
- Netlist and Verilog Haskell Package☆13Oct 6, 2019Updated 7 years ago
- Breadcrumb for Emacs☆23May 5, 2024Updated 2 years ago
- Framework-agnostic pagination boilerplate☆11Sep 29, 2026Updated last month
- Haskell library that uses HIBP to evaluate passwords☆12Jan 25, 2025Updated last year
- verification of the basic router protocol with UVM testbech //INCLUDED WITH RTL☆15Jan 4, 2019Updated 7 years ago
- a toy synthesizer to explore haskell concepts☆15Feb 24, 2012Updated 14 years ago