janestreet / hardcaml
Hardcaml is an OCaml library for designing hardware.
☆667Updated this week
Related projects ⓘ
Alternatives and complementary repositories for hardcaml
- Sail architecture definition language☆615Updated this week
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,443Updated this week
- Where Lions Roam: RISC-V on the VELDT☆249Updated 3 months ago
- A library for building dynamic webapps, using Js_of_ocaml☆363Updated this week
- A core language for rule-based hardware design 🦑☆140Updated 3 weeks ago
- Fearless hardware design☆160Updated last week
- Bluespec Compiler (BSC)☆952Updated last week
- The MaPLe compiler for efficient and scalable parallel functional programming☆340Updated this week
- Intermediate Language (IL) for Hardware Accelerator Generators☆496Updated this week
- Low Level Hardware Description — A foundation for building hardware design tools.☆394Updated 2 years ago
- Tutorial on Multicore OCaml parallel programming with domainslib☆283Updated 7 months ago
- Sail RISC-V model☆456Updated this week
- Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bl…☆197Updated 4 years ago
- Time-sensitive affine types for predictable hardware generation☆134Updated 3 months ago
- Effects-based direct-style IO for multicore OCaml☆560Updated 2 weeks ago
- Multicore OCaml☆762Updated last year
- A Web Application for Learning OCaml☆304Updated last week
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆356Updated last year
- A formal semantics of the RISC-V ISA in Haskell☆156Updated last year
- A work-in-progress language and compiler for verified low-level programming☆297Updated last month
- SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows☆403Updated this week
- an educational compiler intermediate representation☆571Updated 2 weeks ago
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆492Updated this week
- Flexible Intermediate Representation for RTL☆729Updated 2 months ago
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆142Updated last month
- QuickCheck inspired property-based testing for OCaml.☆347Updated 4 months ago
- Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference☆66Updated last year
- OCaml promises and concurrent I/O☆714Updated this week
- Standard library for OCaml☆863Updated this week
- OCaml Language Server Protocol implementation☆767Updated 3 weeks ago