Hardcaml is an OCaml library for designing hardware.
☆1,033May 18, 2026Updated last week
Alternatives and similar repositories for hardcaml
Users that are interested in hardcaml are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A hardcaml library to interface with arty boards☆19Feb 8, 2023Updated 3 years ago
- Hardcaml Circuits☆22May 18, 2026Updated last week
- ☆41May 19, 2022Updated 4 years ago
- Hardcaml Verification Tools☆15May 18, 2026Updated last week
- [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml☆120Dec 19, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Convert Verilog to a Hardcaml design☆19May 18, 2026Updated last week
- OCaml Language Server Protocol implementation☆898May 17, 2026Updated last week
- A composable build system for OCaml.☆1,878Updated this week
- A tool-agnostic formal specification language for OCaml.☆159May 12, 2026Updated 2 weeks ago
- Translate OCaml bytecode to WebAssembly☆133May 4, 2026Updated 3 weeks ago
- Multicore OCaml☆763Dec 9, 2022Updated 3 years ago
- Base library and tools for ppx rewriters☆295May 6, 2026Updated 2 weeks ago
- Constant time equal function to avoid timing attacks in OCaml☆51Jun 27, 2024Updated last year
- Effects-based direct-style IO for multicore OCaml☆693Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- OCaml extensions in Rust☆290Feb 10, 2026Updated 3 months ago
- Lightweight document☆156Apr 30, 2026Updated 3 weeks ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,340Sep 23, 2025Updated 8 months ago
- a functional language for building type-safe, scalable, and maintainable applications☆1,105Sep 25, 2023Updated 2 years ago
- Documentation compiler for OCaml☆355Updated this week
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆266Apr 19, 2026Updated last month
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated last year
- Trivial Metaprogramming tool using the OCaml toplevel☆55Apr 6, 2022Updated 4 years ago
- OCaml promises and concurrent I/O☆787May 12, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Progress bar library for OCaml☆145Sep 25, 2025Updated 8 months ago
- Library for binding to C libraries using pure OCaml☆410Nov 6, 2025Updated 6 months ago
- An OCaml kernel for Jupyter (IPython) notebook☆313Mar 12, 2026Updated 2 months ago
- Tidy, feature-complete Web framework☆1,855Updated this week
- Streamlining the release of dune packages to opam☆122Mar 26, 2026Updated 2 months ago
- Compiler from OCaml to Javascript.☆1,111Updated this week
- Standard library for OCaml☆1,050May 18, 2026Updated last week
- An OCaml mutation tester☆73Nov 24, 2025Updated 6 months ago
- Parser combinators built for speed and memory efficiency☆710Sep 12, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Design discussions about the OCaml language☆176Feb 20, 2026Updated 3 months ago
- Constrained Application Protocol (RFC 7252) implementation for OCaml.☆12Apr 3, 2024Updated 2 years ago
- Native compiler backend for esp32☆66Feb 16, 2021Updated 5 years ago
- QuickCheck inspired property-based testing for OCaml.☆401May 15, 2026Updated last week
- Bluespec Compiler (BSC)☆1,111May 15, 2026Updated last week
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,597Updated this week
- A high-performance server for Irmin☆24Oct 1, 2022Updated 3 years ago