Hardcaml is an OCaml library for designing hardware.
☆1,164Jul 10, 2026Updated 3 months ago
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:
- Hardcaml Circuits☆28Jul 10, 2026Updated 3 months ago
- Convert Verilog to a Hardcaml design☆23Jul 10, 2026Updated 3 months ago
- Hardcaml Verification Tools☆20Jul 10, 2026Updated 3 months ago
- A hardcaml library to interface with arty boards☆20Feb 8, 2023Updated 3 years ago
- ☆45May 19, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Standard library for OCaml☆1,094Jul 10, 2026Updated 3 months ago
- A composable build system for OCaml.☆1,933Updated this week
- [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml☆120Dec 19, 2020Updated 5 years ago
- Multicore OCaml☆762Dec 9, 2022Updated 3 years ago
- Jane Street Capital's asynchronous execution library☆290Jul 10, 2026Updated 3 months ago
- OCaml promises and concurrent I/O☆796Updated this week
- OCaml Language Server Protocol implementation☆912Updated this week
- A tool-agnostic formal specification language for OCaml.☆167Oct 23, 2026Updated last week
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,625Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- OCaml - Oxidized!☆929Updated this week
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆277Apr 19, 2026Updated 6 months ago
- Jane Street Capital's standard library overlay☆1,341Jul 10, 2026Updated 3 months ago
- A library for building dynamic webapps, using Js_of_ocaml☆1,424Jul 10, 2026Updated 3 months ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,357Oct 17, 2026Updated 2 weeks ago
- Base library and tools for ppx rewriters☆302Oct 12, 2026Updated 3 weeks ago
- Documentation compiler for OCaml☆356Updated this week
- Effects-based direct-style IO for multicore OCaml☆736Updated this week
- Compiler from OCaml to Javascript.☆1,139Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Bluespec Compiler (BSC)☆1,149Updated this week
- Hardcaml fixed point arithmetic☆14Jul 10, 2026Updated 3 months ago
- Library for binding to C libraries using pure OCaml☆412Nov 6, 2025Updated 11 months ago
- QuickCheck inspired property-based testing for OCaml.☆407Aug 30, 2026Updated 2 months ago
- Tidy, feature-complete Web framework☆1,900Updated this week
- Modern scientific computing for OCaml☆414Updated this week
- Hardcaml wrappers for Xilinx memory primitives☆11Jul 10, 2026Updated 3 months ago
- Lightweight document☆157Oct 23, 2026Updated last week
- MirageOS is a library operating system that constructs unikernels☆3,021Jul 28, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An OCaml kernel for Jupyter (IPython) notebook☆319Mar 12, 2026Updated 7 months ago
- a functional language for building type-safe, scalable, and maintainable applications☆1,106Sep 25, 2023Updated 3 years ago
- The core OCaml system: compilers, runtime system, base libraries☆6,615Updated this week
- An OCaml mutation tester☆75Oct 7, 2026Updated 3 weeks ago
- OCaml bindings for TensorFlow☆286Jul 6, 2019Updated 7 years ago
- CakeML: A Verified Implementation of ML☆1,220Updated this week
- OCaml extensions in Rust☆297Aug 12, 2026Updated 2 months ago