Alternatives and similar repositories for hardcaml:

Users that are interested in hardcaml are comparing it to the libraries listed below

• B-Lang-org / bsc
  Bluespec Compiler (BSC)
  ☆996Updated last week
• calyxir / calyx
  Intermediate Language (IL) for Hardware Accelerator Generators
  ☆527Updated this week
• rems-project / sail
  Sail architecture definition language
  ☆709Updated this week
• clash-lang / clash-compiler
  Haskell to VHDL/Verilog/SystemVerilog compiler
  ☆1,485Updated this week
• cucapra / filament
  Fearless hardware design
  ☆175Updated last week
• cucapra / dahlia
  Time-sensitive affine types for predictable hardware generation
  ☆142Updated 8 months ago
• mit-plv / koika
  A core language for rule-based hardware design 🦑
  ☆148Updated 6 months ago
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆257Updated 8 months ago
• fabianschuiki / llhd
  Low Level Hardware Description — A foundation for building hardware design tools.
  ☆411Updated 2 years ago
• firesim / firesim
  FireSim: Fast and Effortless FPGA-accelerated Hardware Simulation with On-Prem and Cloud Flexibility
  ☆919Updated 2 weeks ago
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆375Updated 3 weeks ago
• ocaml-multicore / ocaml-multicore
  Multicore OCaml
  ☆765Updated 2 years ago
• ocaml-multicore / parallel-programming-in-multicore-ocaml
  Tutorial on Multicore OCaml parallel programming with domainslib
  ☆288Updated last year
• inhabitedtype / angstrom
  Parser combinators built for speed and memory efficiency
  ☆671Updated 7 months ago
• sampsyo / bril
  an educational compiler intermediate representation
  ☆652Updated last month
• mit-plv / kami
  A Platform for High-Level Parametric Hardware Specification and its Modular Verification
  ☆151Updated 6 months ago
• rsd-devel / rsd
  RSD: RISC-V Out-of-Order Superscalar Processor
  ☆1,065Updated last month
• vmware-archive / cascade
  A Just-In-Time Compiler for Verilog from VMware Research
  ☆444Updated 3 years ago
• riscv / sail-riscv
  Sail RISC-V model
  ☆524Updated last week
• tommythorn / Reduceron
  FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …
  ☆429Updated 4 months ago
• janestreet / bonsai
  A library for building dynamic webapps, using Js_of_ocaml
  ☆553Updated 4 months ago
• ocsigen / lwt
  OCaml promises and concurrent I/O
  ☆749Updated 2 weeks ago
• siliconcompiler / siliconcompiler
  Modular hardware build system
  ☆973Updated this week
• ocaml-multicore / eio
  Effects-based direct-style IO for multicore OCaml
  ☆602Updated 2 months ago
• llvm / circt
  Circuit IR Compilers and Tools
  ☆1,785Updated this week
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆430Updated this week
• amaranth-lang / amaranth
  A modern hardware definition language and toolchain based on Python
  ☆1,674Updated last week
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆1,021Updated this week
• sylefeb / Silice
  Silice is an easy-to-learn, powerful hardware description language, that simplifies designing hardware algorithms with parallelism and pi…
  ☆1,352Updated last week
• chipsalliance / f4pga
  FOSS Flow For FPGA
  ☆383Updated 3 months ago