janestreet / hardcamlLinks
Hardcaml is an OCaml library for designing hardware.
☆833Updated 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,041Updated 2 weeks ago
- Intermediate Language (IL) for Hardware Accelerator Generators☆544Updated last week
- The MaPLe compiler: efficient and scalable parallel functional programming☆392Updated this week
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,535Updated this week
- OCaml - Oxidized!☆489Updated this week
- Sail architecture definition language☆782Updated this week
- Fearless hardware design☆179Updated 3 weeks ago
- A core language for rule-based hardware design 🦑☆160Updated 3 months ago
- A library for building dynamic webapps, using Js_of_ocaml☆593Updated 2 weeks ago
- Where Lions Roam: RISC-V on the VELDT☆260Updated 3 weeks ago
- Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference☆73Updated 2 years ago
- Sail RISC-V model☆604Updated this week
- Time-sensitive affine types for predictable hardware generation☆145Updated this week
- Standard library for OCaml☆953Updated 2 weeks ago
- an educational compiler intermediate representation☆697Updated this week
- Exercises and projects for Jane Street's OCaml Workshop☆648Updated 3 years ago
- Low Level Hardware Description — A foundation for building hardware design tools.☆420Updated 3 years ago
- Tutorial on Multicore OCaml parallel programming with domainslib☆290Updated last year
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆158Updated last month
- RSD: RISC-V Out-of-Order Superscalar Processor☆1,099Updated 6 months ago
- Multicore OCaml☆765Updated 2 years ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆615Updated 3 months ago
- Effects-based direct-style IO for multicore OCaml☆637Updated last week
- Veryl: A Modern Hardware Description Language☆779Updated last week
- Parser combinators built for speed and memory efficiency☆689Updated last year
- V2 of Real World OCaml☆1,237Updated last year
- OCaml promises and concurrent I/O☆770Updated this week
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆374Updated last year
- A modern supercompiler for call-by-value functional languages☆423Updated 2 weeks ago
- CakeML: A Verified Implementation of ML☆1,077Updated this week