janestreet / hardcamlLinks
Hardcaml is an OCaml library for designing hardware.
☆776Updated last week
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,015Updated 3 weeks ago
- Intermediate Language (IL) for Hardware Accelerator Generators☆532Updated this week
- Sail architecture definition language☆735Updated this week
- Where Lions Roam: RISC-V on the VELDT☆260Updated 10 months ago
- A core language for rule-based hardware design 🦑☆154Updated 7 months ago
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,500Updated this week
- Multicore OCaml☆765Updated 2 years ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆378Updated 2 months ago
- RSD: RISC-V Out-of-Order Superscalar Processor☆1,080Updated 2 months ago
- Sail RISC-V model☆553Updated this week
- Low Level Hardware Description — A foundation for building hardware design tools.☆415Updated 3 years ago
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆368Updated last year
- OCaml promises and concurrent I/O☆759Updated 3 weeks ago
- Fearless hardware design☆176Updated last month
- SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows☆455Updated 3 weeks ago
- A library for building dynamic webapps, using Js_of_ocaml☆572Updated last week
- FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …☆434Updated last month
- Tutorial on Multicore OCaml parallel programming with domainslib☆288Updated last year
- Parser combinators built for speed and memory efficiency☆676Updated 8 months ago
- A Just-In-Time Compiler for Verilog from VMware Research☆445Updated 3 years ago
- Exercises and projects for Jane Street's OCaml Workshop☆616Updated 3 years ago
- Jane Street Capital's standard library overlay☆1,143Updated last week
- FireSim: Fast and Effortless FPGA-accelerated Hardware Simulation with On-Prem and Cloud Flexibility☆931Updated last week
- Effects-based direct-style IO for multicore OCaml☆616Updated 4 months ago
- Time-sensitive affine types for predictable hardware generation☆143Updated 10 months ago
- Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference☆73Updated 2 years ago
- The MLton repository☆1,011Updated last week
- A modern hardware definition language and toolchain based on Python☆1,706Updated 3 weeks ago
- Veryl: A Modern Hardware Description Language☆643Updated this week
- Hardware Description Languages☆1,037Updated 3 months ago