Lukasz Stafiniak (@lukstafi)
github

lukstafi

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    97
  • Global Rank 212,408 (Top 8 %)
  • Followers 50
  • Following 130
  • Registered almost 12 years ago
  • Most used languages
    OCaml
         62.5 %
    TypeScript
         25.0 %
    Tcl     12.5 %
  • Location 🇨🇭 Switzerland
  • Country Total Rank 2,944
  • Country Ranking
    Tcl     4
    OCaml
         6
    TypeScript
         695

Top repositories

1

curious-ocaml

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

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
26
star
3

invargent

Invariant Generation as Type Inference with GADTs and Existentials
OCaml
17
star
4

ocaml-cudajit

Bindings to the `cuda` and `nvrtc` libraries with a unified interface
OCaml
15
star
5

ocaml-gccjit

OCaml bindings for libgccjit
OCaml
5
star
6

navi-parens

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

vocaml

VSCode extension: add/remove OCaml type annotations
TypeScript
1
star
8

percolation

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