janestreet / hardcamlLinks
Hardcaml is an OCaml library for designing hardware.
☆849Updated 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,054Updated 3 weeks ago
- Sail architecture definition language☆793Updated this week
- Intermediate Language (IL) for Hardware Accelerator Generators☆559Updated this week
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,549Updated this week
- OCaml - Oxidized!☆542Updated this week
- A core language for rule-based hardware design 🦑☆162Updated last week
- Fearless hardware design☆183Updated 2 months ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆401Updated this week
- Low Level Hardware Description — A foundation for building hardware design tools.☆421Updated 3 years ago
- Sail RISC-V model☆614Updated last week
- Where Lions Roam: RISC-V on the VELDT☆258Updated 2 months ago
- A library for building dynamic webapps, using Js_of_ocaml☆612Updated 2 weeks ago
- an educational compiler intermediate representation☆709Updated last month
- Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference☆74Updated 2 years ago
- Time-sensitive affine types for predictable hardware generation☆145Updated last week
- FOSS Flow For FPGA☆409Updated 9 months ago
- Standard library for OCaml☆967Updated 2 weeks ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆670Updated 3 weeks ago
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆162Updated 2 weeks ago
- Tutorial on Multicore OCaml parallel programming with domainslib☆295Updated last year
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆374Updated 2 years ago
- A modern hardware definition language and toolchain based on Python☆1,824Updated last week
- A modern supercompiler for call-by-value functional languages☆427Updated last month
- Exercises and projects for Jane Street's OCaml Workshop☆657Updated 3 years ago
- CakeML: A Verified Implementation of ML☆1,087Updated this week
- OCaml promises and concurrent I/O☆768Updated this week
- Effects-based direct-style IO for multicore OCaml☆657Updated last month
- ☆38Updated 3 years ago
- Veryl: A Modern Hardware Description Language☆809Updated this week
- Hazel, a live functional programming environment with typed holes☆1,045Updated this week