mjambon / memoriesView external linksLinks
Forgetful Bloom filters
☆16Mar 8, 2019Updated 6 years ago
Alternatives and similar repositories for memories
Users that are interested in memories are comparing it to the libraries listed below
Sorting:
- Deprecated; use https://github.com/ocaml/ocaml instead☆19Feb 1, 2013Updated 13 years ago
- Various experimental changes to OCaml.☆14Nov 21, 2011Updated 14 years ago
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆15Feb 3, 2023Updated 3 years ago
- Requirement traceability tool for OCaml☆13Jun 21, 2015Updated 10 years ago
- ☆18Mar 12, 2016Updated 9 years ago
- Process pools for OCaml☆30Aug 28, 2013Updated 12 years ago
- CRAM testing framework☆22Sep 9, 2019Updated 6 years ago
- small tool to create OCaml software bundles from OPAM packages, superseded by builtin functionality in opam 2☆18Aug 8, 2015Updated 10 years ago
- Native toplevel for the OCaml language☆32May 5, 2012Updated 13 years ago
- Compile-time rewrite rules for OCaml☆16Jan 15, 2016Updated 10 years ago
- Fast, safe mutable dynamic arrays for OCaml☆28Jan 18, 2024Updated 2 years ago
- Scrap Your Boilerplate for OCaml with modular implicits☆18Aug 3, 2023Updated 2 years ago
- OCaml bytecode library tools☆33Apr 19, 2022Updated 3 years ago
- Packer template to build Vagrant based Ubuntu + Xen development environment☆19Jan 25, 2016Updated 10 years ago
- OCaml API search allows you to search many standard O'Caml libraries by either function name, or by approximate type signature. It is sim…☆38Feb 16, 2013Updated 12 years ago
- Oasis-db downloader and installer☆32Nov 7, 2012Updated 13 years ago
- Official format for time series data captured from 3D Engines.☆12May 14, 2023Updated 2 years ago
- An OCaml library for creating pandoc filters.☆32Oct 9, 2024Updated last year
- sample project showing how to build a Javascript web-app using `js_of_ocaml`, `TyXML` and `React`☆24May 7, 2016Updated 9 years ago
- Demonstration NATting unikernel.☆29Jul 8, 2016Updated 9 years ago
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 5 years ago
- Open vStorage ALBA (alternate backend) creates a replicated or flexible network raid’ed object storage backend out of Seagate Kinetic dr…☆29Feb 1, 2018Updated 8 years ago
- Detect common errors in OCaml code☆67Oct 18, 2018Updated 7 years ago
- A SCADA system that uses prime for intrusion tolerance. Using PVBrowser as an HMI☆10May 27, 2015Updated 10 years ago
- A multi-process daemon framework for OCaml☆51Mar 29, 2019Updated 6 years ago
- OCaml library for parsing and pretty printing Python code☆38Mar 15, 2015Updated 10 years ago
- heterogenous Map over a GADT☆42Dec 17, 2024Updated last year
- A tool to index your papers/interesting links/... and quickly search through them☆49Dec 26, 2021Updated 4 years ago
- Deployed version of Tableaunoir. Do not modify this repository.☆11Nov 16, 2025Updated 2 months ago
- ATLAS Control is a framework for building a complete monitoring, trending, reporting, and real-time tracking SCADA-type system primarily …☆10Feb 19, 2014Updated 11 years ago
- A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries pr…☆55Mar 25, 2012Updated 13 years ago
- Implementation of the Idemix attribute based credential scheme used in IRMA☆11Dec 11, 2024Updated last year
- Tools for reading OpenStreetMap (OSM) data and gradually turning it into routable networks.☆13Jul 2, 2015Updated 10 years ago
- Sources of the EuroProofNet web site.☆13Feb 2, 2026Updated last week
- SIGPLAN website☆13Jan 28, 2026Updated 2 weeks ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- Decentralized kv storage engine,support decentralized P2P networking, data synchronization and consistency between nodes.☆14Jan 4, 2026Updated last month
- A general probabilistic graphical models framework for Rust☆10May 16, 2018Updated 7 years ago
- Fast, efficient, private cloud store☆10Apr 6, 2017Updated 8 years ago