Stars
A collection of skills for AI coding agents from Semgrep
Tiny Imperative Language, implemenented in OCaml, see https://cs.au.dk/~amoeller/spa/
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
An incremental parsing system for programming tools
Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
Language-agnostic dependency manager using Git.
Papers from the computer science community to read and discuss.
A highly unofficial, still experimental LaTeX document class for ITU M.Sc. and Ph.D. theses and dissertations