Cayley hashing as in "Navigating in the Cayley Graph of SLβ(π½β)"
β63Jul 9, 2025Updated last year
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:
- currently vaporwareβ12Aug 25, 2020Updated 5 years ago
- A search index specialised for LaTeX equations. Developed for latexsearch.com.β17Jul 15, 2011Updated 15 years ago
- Get the size of the attached terminal in OCamlβ15Apr 26, 2022Updated 4 years ago
- β18Jan 6, 2024Updated 2 years ago
- β15Jun 7, 2026Updated last month
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- OCaml asynchronous scheduler and monad for server-oriented programming.β16Apr 8, 2025Updated last year
- Supplement your logging with auxiliary information on errorβ11Feb 1, 2023Updated 3 years ago
- Stack machine simulationβ14Sep 25, 2012Updated 13 years ago
- A toolset for describing and simulating StateChart-like state diagrams.β27Dec 30, 2025Updated 6 months ago
- Provide warnings for unexpected Core generationβ28Nov 17, 2021Updated 4 years ago
- Dissect OCaml compiled programs, and weight their contentβ26Nov 2, 2022Updated 3 years ago
- bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)β13May 6, 2024Updated 2 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computationβ¦β14Jun 21, 2018Updated 8 years ago
- FingerTree implemented in rustβ26Nov 18, 2023Updated 2 years ago
- 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.
- Algorithms and datastructures for phylogeneticsβ14Dec 24, 2025Updated 7 months ago
- Dig into an opam switch for docβ11Apr 8, 2022Updated 4 years ago
- Documenting how OCaml libraries are managedβ12Oct 4, 2019Updated 6 years ago
- A recursive file-system digest (hash)β12Apr 21, 2026Updated 3 months ago
- coverage driven random testing frameworkβ24Nov 5, 2024Updated last year
- A library that implements the websocket protocol on top of Asyncβ14Jul 10, 2026Updated 2 weeks ago
- An OCaml library for describing and simulating synchronous finite state machines")β33Mar 30, 2021Updated 5 years ago
- Hashing with SL2 for Haskellβ20Nov 29, 2019Updated 6 years ago
- An OCaml implementation of Rx Observablesβ35Feb 20, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ImpFS, a new filesystem.β22Feb 6, 2022Updated 4 years ago
- A poptrie implementationβ23Apr 14, 2026Updated 3 months ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatreβ11Feb 13, 2025Updated last year
- Some fun with creating little collaborative browser things...β11Apr 25, 2021Updated 5 years ago
- QOI image codec for OCaml (unreleased)β11Jan 2, 2026Updated 6 months ago
- A library for typed manipulation of UNIX-style file paths.β13Jul 10, 2026Updated 2 weeks ago
- Library to drive Lego mindstorm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.β17Jul 25, 2023Updated 2 years ago
- Library containing the definition of S-expressions and some base convertersβ21Jul 10, 2026Updated 2 weeks ago
- DEPRECATED: Compile Time Reflection or Metaprogramming for OCamlβ16Apr 21, 2024Updated 2 years ago
- 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.
- RISC-V Assemblerβ18Oct 26, 2023Updated 2 years ago
- A small SAT solver in Goβ23Dec 27, 2020Updated 5 years ago
- The Ensemble distributed communications toolkitβ13Jul 26, 2020Updated 5 years ago
- Event-based simulation of elastic collisions between ballsβ14May 27, 2020Updated 6 years ago
- TLS client programβ11Jun 10, 2020Updated 6 years ago
- Key-value git-like storage with full history backed by RocksDBβ13Aug 18, 2020Updated 5 years ago
- Js_of_ocaml bindings for the p5.js libraryβ11May 14, 2024Updated 2 years ago