Pinned Repositories
aifad
AIFAD - Automated Induction of Functions over Algebraic Data Types
gpr
Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.
gsl-ocaml
OCaml bindings to the GSL (GNU Scientific Library).
lacaml
OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries)
ocaml-makefile
Easy to use Makefile for small to medium-sized OCaml-projects
ocaml-prog-pats
OCaml Programming Patterns - random tricks, "design patterns", etc.
pcre-ocaml
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
postgresql-ocaml
OCaml-bindings for the PostgreSQL database
pure-fun
Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
sqlite3-ocaml
OCaml bindings to the SQLite3 database
mmottl's Repositories
mmottl/pure-fun
Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
mmottl/postgresql-ocaml
OCaml-bindings for the PostgreSQL database
mmottl/lacaml
OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries)
mmottl/sqlite3-ocaml
OCaml bindings to the SQLite3 database
mmottl/ocaml-makefile
Easy to use Makefile for small to medium-sized OCaml-projects
mmottl/ocaml-prog-pats
OCaml Programming Patterns - random tricks, "design patterns", etc.
mmottl/gpr
Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.
mmottl/gsl-ocaml
OCaml bindings to the GSL (GNU Scientific Library).
mmottl/aifad
AIFAD - Automated Induction of Functions over Algebraic Data Types
mmottl/pcre-ocaml
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
mmottl/res
OCaml library for resizable arrays and strings
mmottl/cfg
OCaml library for manipulating context-free grammars
mmottl/pomap
OCaml library for partially ordered maps
mmottl/vim-files
Vim-configuration files I use or maintain
mmottl/fun-trans
A framework for automated transformation of functional programs (e.g. partial evaluation, common subexpression elimination, etc.) written in LambdaProlog.
mmottl/opam-repository
mmottl/algopy
AlgoPy is a Research Prototype for Algorithmic Differentation in Python
mmottl/core
Jane Street Capital's standard library overlay
mmottl/core_kernel
Jane Street Capital's standard library overlay (kernel)
mmottl/error-chain
Error boilerplate for Rust
mmottl/jbuilder
A composable build system for OCaml
mmottl/megalinter
🦙 MegaLinter analyzes 50 languages, 22 formats, 21 tooling formats, excessive copy-pastes, spelling mistakes and security issues in your repository sources with a GitHub Action, other CI tools or locally.
mmottl/oasis2opam
Tool to convert OASIS metadata to OPAM package descriptions
mmottl/ocaml
The core OCaml system: compilers, runtime system, base libraries
mmottl/ocaml-github
Github APIv3 OCaml bindings
mmottl/ocaml-playground
This project contains small code examples to get people going with OCaml. Each directory represents a self-contained example.
mmottl/ocaml-processor
Cpu topology and affinity for ocaml-multicore
mmottl/owl
Owl is an OCaml numerical library: dense and sparse matrix, linear algebra, regressions, maths and stats functions.
mmottl/sexplib
Automated S-expression conversion
mmottl/vim
The official Vim repository