Projects in Awesome Lists by lukstafi
A curated list of projects in awesome lists by lukstafi .
https://github.com/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.
Last synced: 12 Apr 2025
https://github.com/lukstafi/curious-ocaml
A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, monads, expression.
computer-science functional-programming ocaml
Last synced: 12 Apr 2025
https://github.com/lukstafi/ocaml-cudajit
Bindings to the `cuda` and `nvrtc` libraries with a unified interface
Last synced: 12 Apr 2025
https://github.com/lukstafi/navi-parens
VS Code extension: navigate structured code with keybindings. Markmacs: WYSIWYG for LaTeX via the preview pane.
editor-plugin emacs latex vscode vscode-extension wysiwyg
Last synced: 12 Apr 2025
https://github.com/lukstafi/percolation
Various percolation strategies: 3/4/6/8 neighbors, randomized vertices vs. edges.
Last synced: 12 Apr 2025
https://github.com/lukstafi/ocaml-metal
OCaml bindings to selected parts of Apple Metal, for general compute applications
Last synced: 12 Apr 2025
https://github.com/lukstafi/fullstack-with-cursor
Follow-along for Eden Marco's course
Last synced: 12 Apr 2025
https://github.com/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.
Last synced: 12 Apr 2025
https://github.com/lukstafi/vsc-markmacs
The lowest-hanging fruits of TeXmacs for VS Code markdown preview
Last synced: 12 Apr 2025