janestreet / hardcamlLinks
Hardcaml is an OCaml library for designing hardware.
☆837Updated last month
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,050Updated this week
- Sail architecture definition language☆787Updated this week
- Intermediate Language (IL) for Hardware Accelerator Generators☆548Updated this week
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,543Updated this week
- OCaml - Oxidized!☆509Updated this week
- Fearless hardware design☆181Updated last month
- The MaPLe compiler: efficient and scalable parallel functional programming☆395Updated this week
- A core language for rule-based hardware design 🦑☆161Updated 3 months ago
- Where Lions Roam: RISC-V on the VELDT☆260Updated last month
- 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☆613Updated last week
- Time-sensitive affine types for predictable hardware generation☆145Updated 3 weeks ago
- Tutorial on Multicore OCaml parallel programming with domainslib☆295Updated last year
- Effects-based direct-style IO for multicore OCaml☆647Updated 2 weeks ago
- Low Level Hardware Description — A foundation for building hardware design tools.☆421Updated 3 years ago
- A library for building dynamic webapps, using Js_of_ocaml☆598Updated last month
- FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …☆444Updated 2 months ago
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆161Updated 2 months ago
- Multicore OCaml☆766Updated 2 years ago
- an educational compiler intermediate representation☆701Updated 2 weeks ago
- A formal semantics of the RISC-V ISA in Haskell☆170Updated 2 years ago
- Parser combinators built for speed and memory efficiency☆690Updated last year
- A modern supercompiler for call-by-value functional languages☆424Updated last month
- OCaml promises and concurrent I/O☆771Updated last week
- Standard library for OCaml☆956Updated last month
- CakeML: A Verified Implementation of ML☆1,082Updated this week
- A work-in-progress language and compiler for verified low-level programming☆313Updated 2 weeks ago
- Hazel, a live functional programming environment with typed holes☆1,038Updated last week
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆477Updated 3 weeks ago
- F# RISC-V Instruction Set formal specification☆286Updated last year