Lukasz Stafiniak

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

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.

ocaml-cudajit. Bindings to the `cuda` and `nvrtc` libraries with a unified interface

invargent. Invariant Generation as Type Inference with GADTs and Existentials

ocaml-gccjit. OCaml bindings for libgccjit

ocaml-metal. OCaml bindings to Apple Metal for general compute applications

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

agent-duo. Shell scripts and skills to coordinate two agent peers on providing alternative solutions to the same task

vocaml. VSCode extension: add/remove OCaml type annotations

npy-ocaml. Numpy file format support for ocaml.

sokoban-rl-playground. Sokoban RL environment in OCaml

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

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

pic-breeder-imaginary. A Pic Breeder clone in OCaml

Pascal-course. A comprehensive Pascal programming course based on the Free Pascal implementation

ludics. Personal task manager