Hardcaml wrappers for Xilinx memory primitives
☆11Jul 10, 2026Updated 3 months ago
Alternatives and similar repositories for hardcaml_xilinx
Users that are interested in hardcaml_xilinx 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 Verification Tools☆20Jul 10, 2026Updated 3 months ago
- Hardcaml fixed point arithmetic☆14Jul 10, 2026Updated 3 months ago
- Hardcaml Circuits☆28Jul 10, 2026Updated 3 months ago
- Convert Verilog to a Hardcaml design☆23Jul 10, 2026Updated 3 months ago
- Command-Line Argument Parsing, imperative style with a consumption mechanism.☆23Mar 26, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A hardcaml library to interface with arty boards☆20Feb 8, 2023Updated 3 years ago
- Diffusers API in OCaml☆21Dec 9, 2022Updated 3 years ago
- ☆45May 19, 2022Updated 4 years ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 4 years ago
- ChaCha20, ChaCha12 and ChaCha8 encryption functions, in OCaml☆10Apr 3, 2022Updated 4 years ago
- A library that implements the websocket protocol on top of Async☆14Jul 10, 2026Updated 3 months ago
- Minimal OCaml library to parse Garmin FIT files☆11Sep 25, 2026Updated last month
- OCaml plus Jane Street extensions☆73Jul 17, 2024Updated 2 years ago
- ☆14Dec 27, 2023Updated 2 years ago
- 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.
- Serialization formats toolkit for OCaml (unreleased)☆13Jan 2, 2026Updated 9 months ago
- Some fun with creating little collaborative browser things...☆11Apr 25, 2021Updated 5 years ago
- OCaml bindings for batsat (https://github.com/c-cube/batsat)☆12Mar 23, 2022Updated 4 years ago
- QOI image codec for OCaml (unreleased)☆11Aug 13, 2026Updated 2 months ago
- Xen event channel interface for Mirage☆10Mar 6, 2025Updated last year
- Official OCaml port of Sqids. Generate short unique IDs from numbers.☆13Feb 10, 2024Updated 2 years ago
- Experimental IPFS backend for Irmin☆11Oct 31, 2022Updated 3 years ago
- A library for typed manipulation of UNIX-style file paths.☆13Jul 10, 2026Updated 3 months ago
- A concise AST for POSIX shell☆11Nov 21, 2025Updated 11 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 7 years ago
- Low-level multicore utilities for OCaml☆14Jan 18, 2026Updated 9 months ago
- Implementation of kitty's terminal graphics protocol☆14Apr 27, 2024Updated 2 years ago
- The Ensemble distributed communications toolkit☆13Jul 26, 2020Updated 6 years ago
- This is a repo that can be cloned to get started quickly with Sihl.☆14Aug 10, 2021Updated 5 years ago
- TLS client program☆11Jun 10, 2020Updated 6 years ago
- A ppx that takes in css strings and produces a module for accessing the unique names defined within.☆17Jul 10, 2026Updated 3 months ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆11Feb 13, 2025Updated last year
- SPF verifier and signer in OCaml☆12Updated this week
- 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.
- A simple project template using Melange☆41Jan 21, 2024Updated 2 years ago
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated 2 years ago
- Easier bindings to Jest for ReasonML☆12Oct 17, 2024Updated 2 years ago
- ☆12Apr 9, 2020Updated 6 years ago
- Demystifying the magic of supertactics☆13Nov 2, 2021Updated 4 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆11Jun 13, 2021Updated 5 years ago
- mirror of https://git.robur.coop/robur/http-mirage-client☆11Sep 14, 2026Updated last month