gendx / ocaml-algebraView external linksLinks
An algebra system written in OCaml
☆10Sep 20, 2015Updated 10 years ago
Alternatives and similar repositories for ocaml-algebra
Users that are interested in ocaml-algebra are comparing it to the libraries listed below
Sorting:
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago
- A Haskell implementation of distributed hash tables with two-phase commit.☆10Dec 9, 2016Updated 9 years ago
- Type-Theory in Sequent Calculus☆14Jul 30, 2015Updated 10 years ago
- STLC-related snippets in Agda☆16May 1, 2013Updated 12 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Jul 21, 2017Updated 8 years ago
- A Haskell client library for Cayley database graph☆14Jan 6, 2026Updated last month
- SVG Combinators for Haskell☆23Jun 28, 2017Updated 8 years ago
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 2 months ago
- A string diagram generator for LaTeX.☆31Jun 27, 2023Updated 2 years ago
- A playground for type theory implementations in Racket☆20Dec 2, 2015Updated 10 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22May 13, 2016Updated 9 years ago
- Easy FFI for PureScript☆35May 24, 2022Updated 3 years ago
- IHaskell notebooks showing how Haskell can be used in Astronomy.☆23Apr 23, 2015Updated 10 years ago
- Tuple data type and utility functions☆26Sep 17, 2022Updated 3 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 7 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Aug 7, 2016Updated 9 years ago
- TODO☆23Oct 10, 2015Updated 10 years ago
- SVG loader/serializer for Haskell☆29May 8, 2023Updated 2 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Sep 27, 2015Updated 10 years ago
- High level Cassandra bindings for Haskell☆45Mar 23, 2016Updated 9 years ago
- Library for dealing with foreign data (JavaScript objects) in PureScript☆64Apr 27, 2022Updated 3 years ago
- Type definitions and low level interface implementations for the W3C HTML5 spec☆33Nov 19, 2025Updated 2 months ago
- ☆39Oct 19, 2017Updated 8 years ago
- OCaml bindings to PCRE (Perl Compatibility Regular Expressions)☆35Dec 20, 2025Updated last month
- second-order abstract syntax☆31Sep 15, 2021Updated 4 years ago
- Reactive Programming with PureScript and React☆31Aug 27, 2015Updated 10 years ago
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- Node.js file I/O for purescript☆34Jun 23, 2024Updated last year
- Gesture controlled music glove with two microbits☆11Jun 18, 2022Updated 3 years ago
- ☆13Jul 22, 2022Updated 3 years ago
- Radiocarbon calibration command line tool and Haskell module☆11Nov 24, 2025Updated 2 months ago
- Template for a (PhD) thesis☆10Nov 5, 2025Updated 3 months ago
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆24Jan 11, 2026Updated last month
- Kan: A browser extension for reading nLab☆33Oct 2, 2018Updated 7 years ago
- Abstract binding tree code generator☆37Oct 31, 2016Updated 9 years ago
- PureScript compiler written in PureScript (On hold / inactive)☆61Nov 2, 2014Updated 11 years ago
- The theory of algebraic graphs formalised in Agda☆91Jul 15, 2018Updated 7 years ago