akabe / slap
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
☆88Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for slap
- OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries)☆128Updated last week
- Various signed and unsigned integer types for OCaml☆64Updated this week
- Staged metaprogramming in stock OCaml☆150Updated 7 months ago
- A "implementation" of Girard's paradox in OCaml☆105Updated 9 years ago
- Code using GADT☆37Updated 3 years ago
- Minimalistic syntax extension for type-safe, convenient execution of SQL statements.☆86Updated 4 years ago
- A new reference manual for the ocamlbuild tool☆67Updated 8 years ago
- Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml☆51Updated 3 months ago
- Stream Processing with OCaml☆138Updated 10 months ago
- Strongly typed multidimensional array library for OCaml☆51Updated 5 months ago
- OCaml with macros☆53Updated this week
- A simple monadic parser combinator library for OCaml☆65Updated 2 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆97Updated last year
- Stand-alone programs for numerical analysis in OCaml☆47Updated 9 years ago
- An implementation of binary session types in OCaml☆36Updated 5 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 3 years ago
- Simple template for midsize OCaml project☆123Updated 3 years ago
- OCaml bindings to the SQLite3 database☆114Updated 2 weeks ago
- Caml-Shcaml: An Ocaml library for Unix shell programming☆66Updated 5 years ago
- Various signed and unsigned integers for OCaml☆85Updated 2 years ago
- Multiparty Session Types in OCaml☆57Updated last week
- Unofficial git mirror of the BER MetaOCaml patchset.☆64Updated last year
- OCaml backend for Agda☆39Updated 6 years ago
- Inline (Unit) Tests for OCaml☆66Updated 3 years ago
- OCaml Format pretty-printer combinators☆71Updated 8 months ago
- OCaml documentation generator☆34Updated 7 years ago
- OCaml bindings to the GSL (GNU Scientific Library).☆36Updated 6 months ago
- A session manager for your everyday needs☆44Updated 2 years ago
- Wiki for compiler hacking sessions☆91Updated 6 years ago