Fast implementation of queue in OCaml
☆52Feb 26, 2024Updated 2 years ago
Alternatives and similar repositories for ke
Users that are interested in ke 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 dynamic way to instantiate an OCaml flow☆19Jul 15, 2026Updated 2 months ago
- OCaml library for building clients and servers that communicate using the Redis Serialization Protocol☆13Nov 6, 2021Updated 4 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆11Feb 13, 2025Updated last year
- Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)☆11Oct 30, 2020Updated 5 years ago
- Synonym of angkor☆25Mar 4, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Mirage OS bindings for ESP32☆28Oct 3, 2019Updated 7 years ago
- SPAKE2+EE implementation in OCaml☆17Oct 13, 2025Updated 11 months ago
- ☆16Oct 4, 2026Updated last week
- Command Line Interface for Dream applications.☆22Apr 9, 2022Updated 4 years ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 years ago
- An implementation of some 0MQ RFCs in OCaml for MirageOS☆11May 20, 2019Updated 7 years ago
- Example URL shortener MirageOS unikernel using Chamelon.☆18Apr 28, 2022Updated 4 years ago
- Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.☆18Sep 3, 2024Updated 2 years ago
- Monotonic wall-clock time for OCaml☆33Aug 13, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Implementation of maps of integers with Patricia trees☆21Sep 4, 2020Updated 6 years ago
- Map à la Binary Radix Tree☆19Mar 10, 2022Updated 4 years ago
- Implementation of SMTP protocols in OCaml☆47Updated this week
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Oct 13, 2020Updated 5 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆43Jun 27, 2025Updated last year
- What do you mean?☆48Sep 28, 2026Updated last week
- Should be the next conduit ... or not☆18Apr 20, 2020Updated 6 years ago
- Persistent vectors for OCaml☆41Feb 19, 2018Updated 8 years ago
- Efficient Bloom filters for OCaml☆38Jan 3, 2022Updated 4 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.
- Small tensor library a la GLSL☆17Oct 28, 2022Updated 3 years ago
- Constant time equal function to avoid timing attacks in OCaml☆50Jun 27, 2024Updated 2 years ago
- Unicode text for OCaml☆14Feb 19, 2018Updated 8 years ago
- Adaptive Radix Tree in OCaml☆52May 8, 2026Updated 5 months ago
- Memory-efficient data structures in OCaml☆36Dec 27, 2021Updated 4 years ago
- Irmin store backed by FoundationDB☆12Nov 19, 2019Updated 6 years ago
- An opiniated file-system for MirageOS☆26May 31, 2025Updated last year
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 4 years ago
- Binary packages for OPAM with local and remote repositories☆17Dec 27, 2022Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Library to provide a fast integer (x64 arch) or allocated int32 (x84 arch)☆24Jul 29, 2026Updated 2 months ago
- A high-performance server for Irmin☆24Oct 1, 2022Updated 4 years ago
- OCaml extension for a Go-ish [%defer ...] syntax☆16May 30, 2022Updated 4 years ago
- Performance Application Programming Interface for OCaml☆15Oct 25, 2022Updated 3 years ago
- Implementation of the Raft protocol in OCaml☆20Mar 8, 2017Updated 9 years ago
- Reusable runtime library for network protocols☆48Mar 12, 2026Updated 7 months ago
- A traceable distributed computation framework☆23Oct 8, 2019Updated 7 years ago