lukstafi

ocannl

OCANNL: OCaml Compiles Algorithms for Neural Networks Learning

ppx_minidebug

Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collapsible HTML or Markdown trees with highlights.

curious-ocaml

A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, monads, expression.

invargent

Invariant Generation as Type Inference with GADTs and Existentials

navi-parens

VS Code extension: navigate structured code with keybindings. Markmacs: WYSIWYG for LaTeX via the preview pane.

ocaml-cudajit

Bindings to the `cuda` and `nvrtc` libraries with a unified interface

ocaml-gccjit

OCaml bindings for libgccjit

percolation

Various percolation strategies: 3/4/6/8 neighbors, randomized vertices vs. edges.

printbox

print nested boxes, lists, arrays, tables in several formats

vocaml

VSCode extension: add/remove OCaml type annotations

deep-schema

A cognitive architecture inspired by ACT-R and Gary Drescher's "Made-Up Minds", with ideas from Deep Boltzmann Machines (or related) and gradient-based off-policy TD.

LogInspector

A VS Code extension to ease log reading and analysis

lukstafi

meliad-eurynome

Memory Transformer and Transformer-XL

subte

Software for generating GTFS transit data for transit trip planners

dune

A composable build system for OCaml.

lukstafi.github.io

Lukstafi's developer blog

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

opam-repository

Main public package repository for opam, the source package manager of OCaml.

scirep

Generate a webpage with mathematical formulae, OCaml output and graphics from markdown