Skip to content
You must be logged in to sponsor lukstafi

Become a sponsor to Lukasz Stafiniak

@lukstafi

Lukasz Stafiniak

lukstafi
Zurich

I am the creator of the OCANNL deep learning library for OCaml.

When OCANNL matures, I plan to use it:

  • either in developing a cognitive architecture Deep Schema,
  • or a neuro-symbolic alternative to "Copilot" that integrates generation of code and generation of formal specifications such as types.

I also work on a book project Curious OCaml to consolidate my insights into programming, express my passion for OCaml, and leverage teaching material I prepared long ago.

I appreciate any help. Thank You!

Featured work

  1. lukstafi/ocaml-cudajit

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

    OCaml 17
  2. lukstafi/curious-ocaml

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

    Tcl 26
  3. lukstafi/invargent

    Invariant Generation as Type Inference with GADTs and Existentials

    OCaml 17

Learn more about sponsoring developers and organizations.

Report abuse

Select a tier

$ one time

Choose a custom amount.