Cayley hashing as in "Navigating in the Cayley Graph of SLβ(π½β)"
β63Jul 9, 2025Updated 8 months ago
Alternatives and similar repositories for bromberg_sl2
Users that are interested in bromberg_sl2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Get the size of the attached terminal in OCamlβ14Apr 26, 2022Updated 3 years ago
- OCaml asynchronous scheduler and monad for server-oriented programming.β16Apr 8, 2025Updated 11 months ago
- Anonymous Credit Tokens implementation in Rustβ26Mar 2, 2026Updated 3 weeks ago
- Stack machine simulationβ13Sep 25, 2012Updated 13 years ago
- A toolset for describing and simulating StateChart-like state diagrams.β27Dec 30, 2025Updated 2 months ago
- A fast, cache-efficient, concurrent bloom filter in Haskellβ19Apr 11, 2018Updated 7 years ago
- Dissect OCaml compiled programs, and weight their contentβ25Nov 2, 2022Updated 3 years ago
- A syscall hooking system for FreeBSD, NetBSD and also Linux.β16Nov 14, 2021Updated 4 years ago
- bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)β13May 6, 2024Updated last year
- FingerTree implemented in rustβ27Nov 18, 2023Updated 2 years ago
- A library for pairing based cryptographyβ31Updated this week
- Documenting how OCaml libraries are managedβ11Oct 4, 2019Updated 6 years ago
- Algorithms and datastructures for phylogeneticsβ14Dec 24, 2025Updated 3 months ago
- Dig into an opam switch for docβ10Apr 8, 2022Updated 3 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computationβ¦β14Jun 21, 2018Updated 7 years ago
- A recursive file-system digest (hash)β13Apr 4, 2023Updated 2 years ago
- coverage driven random testing frameworkβ24Nov 5, 2024Updated last year
- A library that implements the websocket protocol on top of Asyncβ14Jan 15, 2026Updated 2 months ago
- An OCaml library for describing and simulating synchronous finite state machines")β33Mar 30, 2021Updated 4 years ago
- Pure Rust implementation of FIPS 204 Module-Lattice-Based Digital Signature Standard for server, desktop, browser and embedded applicatioβ¦β29Sep 1, 2025Updated 6 months ago
- An OCaml implementation of Rx Observablesβ33Feb 20, 2019Updated 7 years ago
- Hashing with SL2 for Haskellβ20Nov 29, 2019Updated 6 years ago
- ImpFS, a new filesystem.β21Feb 6, 2022Updated 4 years ago
- β19Nov 22, 2025Updated 4 months ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatreβ10Feb 13, 2025Updated last year
- Some fun with creating little collaborative browser things...β11Apr 25, 2021Updated 4 years ago
- OCaml library to access Maildir foldersβ19Feb 25, 2019Updated 7 years ago
- Off-the-record (OTR) messaging protocol, purely in OCamlβ39Dec 17, 2024Updated last year
- QOI image codec for OCaml (unreleased)β11Jan 2, 2026Updated 2 months ago
- A library for typed manipulation of UNIX-style file paths.β13Jan 15, 2026Updated 2 months ago
- Rust crate to support allocation in contextsβ15Aug 11, 2022Updated 3 years ago
- A programming language targeting 8bit ATMEL AVR microcontrollers. Implemented using OCaml and Menhir.β12Oct 15, 2016Updated 9 years ago
- Library containing the definition of S-expressions and some base convertersβ20Jan 15, 2026Updated 2 months ago
- RISC-V Assemblerβ18Oct 26, 2023Updated 2 years ago
- DEPRECATED: Compile Time Reflection or Metaprogramming for OCamlβ16Apr 21, 2024Updated last year
- The Ensemble distributed communications toolkitβ13Jul 26, 2020Updated 5 years ago
- Event-based simulation of elastic collisions between ballsβ14May 27, 2020Updated 5 years ago
- Key-value git-like storage with full history backed by RocksDBβ13Aug 18, 2020Updated 5 years ago
- TLS client programβ11Jun 10, 2020Updated 5 years ago