lukstafi Goto Github PK

curious-ocaml

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

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.

dune

A composable build system for OCaml.

invargent

Invariant Generation as Type Inference with GADTs and Existentials

loginspector

A VS Code extension to ease log reading and analysis

lukstafi

lukstafi.github.io

Lukstafi's developer blog

meliad-eurynome

Memory Transformer and Transformer-XL

navi-parens

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

npy-ocaml

Numpy file format support for ocaml.

ocaml-cudajit

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

ocaml-gccjit

OCaml bindings for libgccjit

ocaml.org

The official OCaml website.

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.

percolation

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

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.

printbox

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

scirep

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

subte

Software for generating GTFS transit data for transit trip planners

vdw_grid_bench

Van der Waals 3D grid initialization benchmark

vocaml

VSCode extension: add/remove OCaml type annotations