Pinned Repositories
ocannl
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
printbox
print nested boxes, lists, arrays, tables in several formats
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.
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
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.
lukstafi's Repositories
lukstafi/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.
lukstafi/curious-ocaml
A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, monads, expression.
lukstafi/invargent
Invariant Generation as Type Inference with GADTs and Existentials
lukstafi/ocaml-cudajit
Bindings to the `cuda` and `nvrtc` libraries with a unified interface
lukstafi/ocaml-gccjit
OCaml bindings for libgccjit
lukstafi/navi-parens
VS Code extension: navigate structured code with keybindings. Markmacs: WYSIWYG for LaTeX via the preview pane.
lukstafi/npy-ocaml
Numpy file format support for ocaml.
lukstafi/percolation
Various percolation strategies: 3/4/6/8 neighbors, randomized vertices vs. edges.
lukstafi/printbox
print nested boxes, lists, arrays, tables in several formats
lukstafi/vocaml
VSCode extension: add/remove OCaml type annotations
lukstafi/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.
lukstafi/LogInspector
A VS Code extension to ease log reading and analysis
lukstafi/lukstafi
lukstafi/meliad-eurynome
Memory Transformer and Transformer-XL
lukstafi/subte
Software for generating GTFS transit data for transit trip planners
lukstafi/dune
A composable build system for OCaml.
lukstafi/lukstafi.github.io
Lukstafi's developer blog
lukstafi/ocaml.org
The official OCaml website.
lukstafi/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
lukstafi/opam-repository
Main public package repository for opam, the source package manager of OCaml.
lukstafi/scirep
Generate a webpage with mathematical formulae, OCaml output and graphics from markdown
lukstafi/vdW_grid_bench
Van der Waals 3D grid initialization benchmark