janestreet / hardcamlLinks
Hardcaml is an OCaml library for designing hardware.
☆788Updated 2 weeks ago
Alternatives and similar repositories for hardcaml
Users that are interested in hardcaml are comparing it to the libraries listed below
Sorting:
- Bluespec Compiler (BSC)☆1,022Updated last month
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,510Updated last week
- Sail architecture definition language☆747Updated this week
- Intermediate Language (IL) for Hardware Accelerator Generators☆535Updated this week
- Low Level Hardware Description — A foundation for building hardware design tools.☆417Updated 3 years ago
- Where Lions Roam: RISC-V on the VELDT☆260Updated 10 months ago
- OCaml - Oxidized!☆363Updated this week
- The MaPLe compiler: efficient and scalable parallel functional programming☆382Updated 3 months ago
- Fearless hardware design☆176Updated last month
- Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference☆73Updated 2 years ago
- A core language for rule-based hardware design 🦑☆156Updated 2 weeks ago
- FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …☆434Updated 2 months ago
- Sail RISC-V model☆561Updated last week
- Time-sensitive affine types for predictable hardware generation☆143Updated 11 months ago
- Veryl: A Modern Hardware Description Language☆730Updated this week
- Tutorial on Multicore OCaml parallel programming with domainslib☆289Updated last year
- RSD: RISC-V Out-of-Order Superscalar Processor☆1,087Updated 3 months ago
- Effects-based direct-style IO for multicore OCaml☆618Updated 5 months ago
- Multicore OCaml☆765Updated 2 years ago
- ☆37Updated 3 years ago
- an educational compiler intermediate representation☆672Updated 2 weeks ago
- RISC-V Formal Verification Framework☆602Updated 3 years ago
- Parser combinators built for speed and memory efficiency☆681Updated 9 months ago
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆370Updated last year
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆155Updated last week
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆598Updated last month
- Hardware Description Languages☆1,038Updated 4 months ago
- Vitis HLS LLVM source code and examples☆390Updated 8 months ago
- Modular hardware build system☆1,038Updated this week
- A Just-In-Time Compiler for Verilog from VMware Research☆445Updated 3 years ago