A string diagram generator for LaTeX.
☆31Jun 27, 2023Updated 2 years ago
Alternatives and similar repositories for strid
Users that are interested in strid are comparing it to the libraries listed below
Sorting:
- String diagrams in LaTeX.☆17Feb 26, 2024Updated 2 years ago
- ☆12Jan 25, 2022Updated 4 years ago
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Oct 13, 2020Updated 5 years ago
- Content-addressed identifiers in OCaml☆16Mar 23, 2023Updated 2 years ago
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated 8 months ago
- Reflect the essence of OCaml types as values☆14Dec 12, 2024Updated last year
- ☆14Nov 17, 2025Updated 3 months ago
- An infinity-categorical coherence typechecker☆18Nov 4, 2024Updated last year
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 2 years ago
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 3 months ago
- A modified OCaml compiler for eliom programs☆10Jan 16, 2017Updated 9 years ago
- ☆15Mar 26, 2024Updated last year
- OCaml bindings for AWS APIs, built on eio☆18Oct 12, 2025Updated 4 months ago
- 6502 chip simulator in OCaml☆13Mar 14, 2024Updated last year
- Synthetic Differential Geometry in Agda☆13Jan 14, 2015Updated 11 years ago
- Declarative command-line parsing for OCaml☆17Feb 17, 2026Updated 2 weeks ago
- A safer C FFI for OCaml☆18Dec 13, 2018Updated 7 years ago
- ☆17Aug 28, 2024Updated last year
- Effectful OCaml with Objects and Variants☆29Feb 3, 2023Updated 3 years ago
- OCaml-Text is a library for dealing with ``text'', i.e. sequence of unicode characters, in a convenient way.☆19Jun 27, 2022Updated 3 years ago
- ☆15Dec 27, 2018Updated 7 years ago
- ☆14Jun 7, 2024Updated last year
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Nov 26, 2016Updated 9 years ago
- A companion library for writing applications on Tezos (in OCaml)☆17Jan 29, 2024Updated 2 years ago
- OCaml package to produce JUnit xml reports☆19Jan 2, 2026Updated 2 months ago
- An implementation of the Zarr storage format specification for chunked & compressed multidimensional arrays.☆25Apr 22, 2025Updated 10 months ago
- Emacs client for statistical memory profiler☆17Mar 26, 2020Updated 5 years ago
- Nullable-array is a small self-contained library providing an efficient implementation for a type equivalent to `'a option array`☆17May 5, 2021Updated 4 years ago
- A unikernel as an IRC client☆26Sep 13, 2023Updated 2 years ago
- Coherence typechecker for infinity categories☆20Dec 29, 2025Updated 2 months ago
- Self-adjusting computations☆23Oct 9, 2023Updated 2 years ago
- An implementation of happy eyeballs (RFC 8305) in OCaml with lwt☆22May 14, 2025Updated 9 months ago
- Hilite - a simple code to HTML syntax highlighter☆22Aug 18, 2025Updated 6 months ago
- The caml walks, OCaml runs☆21Oct 11, 2023Updated 2 years ago
- Efficient Bloom filters for OCaml☆38Jan 3, 2022Updated 4 years ago
- Trivial/Tagless Polytypic Functions☆23Apr 14, 2020Updated 5 years ago
- Little cli to convert md files into mld files☆26Feb 6, 2025Updated last year
- Libraries and tools to keep watch on your OCaml lib's API changes☆22Apr 11, 2025Updated 10 months ago
- OCaml support for Flycheck using Merlin☆22Jan 6, 2024Updated 2 years ago