NumLin: Linear Types for Linear Algebra
☆23Jan 21, 2023Updated 3 years ago
Alternatives and similar repositories for NumLin
Users that are interested in NumLin are comparing it to the libraries listed below
Sorting:
- OCaml library for manipulating context-free grammars☆20Nov 28, 2025Updated 3 months ago
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Nov 28, 2018Updated 7 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 4 years ago
- ☆28Jun 27, 2019Updated 6 years ago
- Final Year Project - A probabilisitic programming language in OCaml☆14May 10, 2020Updated 5 years ago
- A library that implements the websocket protocol on top of Async☆14Jan 15, 2026Updated last month
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- ☆12Mar 15, 2021Updated 4 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- OCaml library for building clients and servers that communicate using the Redis Serialization Protocol☆12Nov 6, 2021Updated 4 years ago
- Getting started with ocaml-rs☆31Aug 31, 2024Updated last year
- ☆29Jun 23, 2022Updated 3 years ago
- Experimental type-checker for internally parametric type theory☆32Mar 27, 2025Updated 11 months ago
- Vantage point tree implementation in OCaml☆19Apr 22, 2025Updated 10 months ago
- An infinity-categorical coherence typechecker☆18Nov 4, 2024Updated last year
- A higher-level httpaf server interface☆12Aug 18, 2020Updated 5 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Feb 13, 2025Updated last year
- experiments with Brr/Note☆13Aug 27, 2021Updated 4 years ago
- Content-addressed identifiers in OCaml☆16Mar 23, 2023Updated 2 years ago
- Automatic Differentiation: FADBAD++ for OCaml☆14Oct 26, 2020Updated 5 years ago
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- Example OCaml library written using Rust and ocaml-rs☆16Mar 10, 2021Updated 4 years ago
- A simple tool and library to embed files and directories inside an OCaml executables☆20Apr 11, 2022Updated 3 years ago
- ☆11Oct 20, 2017Updated 8 years ago
- Event-based simulation of elastic collisions between balls☆14May 27, 2020Updated 5 years ago
- Static site generator☆12Apr 6, 2025Updated 10 months ago
- Binding to CRlibm☆14Jul 25, 2023Updated 2 years ago
- what I did on my holidays☆12Jul 9, 2018Updated 7 years ago
- An Agda formalisation of the theory of directed containers☆12Apr 25, 2025Updated 10 months ago
- Code for "Staged Generic Programming" (ICFP 2017)☆28Sep 2, 2023Updated 2 years ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆29Jan 24, 2024Updated 2 years ago
- OCaml library for partially ordered maps☆15Nov 28, 2025Updated 3 months ago
- Strongly typed multidimensional array library for OCaml☆53Jan 27, 2025Updated last year
- ☆17Oct 31, 2025Updated 4 months ago
- Enables HTTP file uploads and form processing in OCaml web applications.☆14Jun 19, 2024Updated last year
- A pipeline that deploys unikernels and other services☆23Jul 25, 2025Updated 7 months ago