janestreet / hardcaml_of_verilog
Convert Verilog to a Hardcaml design
☆16Updated 5 months ago
Alternatives and similar repositories for hardcaml_of_verilog:
Users that are interested in hardcaml_of_verilog are comparing it to the libraries listed below
- Hardcaml Verification Tools☆12Updated 5 months ago
- Hardcaml Circuits☆19Updated 5 months ago
- ☆35Updated 2 years ago
- [Deprecated] Digital waveform viewer☆9Updated 6 years ago
- A hardcaml library to interface with arty boards☆15Updated 2 years ago
- HardCaml example designs☆18Updated 6 years ago
- RISC-V instruction set CPUs in HardCaml☆15Updated 8 years ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13Updated 7 years ago
- A language and toolset for implementing dataflow applications on FPGAs☆27Updated 5 years ago
- CHERI-RISC-V model written in Sail☆58Updated 2 weeks ago
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆152Updated 7 months ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Updated 10 months ago
- Manythread RISC-V overlay for FPGA clusters☆36Updated 2 years ago
- System on Chip toolkit for Amaranth HDL☆88Updated 6 months ago
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Updated 2 years ago
- Bindings to UNIX tuntap facilities☆21Updated last month
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆103Updated 5 months ago
- A core language for rule-based hardware design 🦑☆148Updated 6 months ago
- ☆21Updated 9 years ago
- A simple websocket library for OCaml with no dependencies☆16Updated last year
- QOI image codec for OCaml (unreleased)☆11Updated 6 months ago
- HTML5 Gamepad API bindings for js_of_ocaml☆17Updated 7 years ago
- User-friendly explanation of Yosys options☆112Updated 3 years ago
- Locus site for Public Review of Several RISC-V ISA Formal Specs☆73Updated 4 years ago
- A simple BDD library for OCaml☆13Updated 2 years ago
- OCaml Bytecode Cleaner☆14Updated 3 years ago
- Js_of_ocaml bindings for the p5.js library☆11Updated 11 months ago
- Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)☆32Updated last year
- Mutation Cover with Yosys (MCY)☆80Updated 2 weeks ago
- OCaml library to access Maildir folders☆18Updated 6 years ago