V2 of Real World OCaml

A modern, TreeSitter-powered, Emacs major mode for OCaml

Builds Doom Emacs using Nix

Prototype and demo of experiments on an alternative to nixpkgs.

The math library of Lean 4

Parse and compare package versions and ranges. From debian, npm, pypi, ruby and more. Process all the version range specs and expressions. This project is sponsored by an NLnet project https://nlne…

A reference for dependency resolution algorithms and strategies across different package managers.

About A git subcommand for analyzing package/dependency usage in git repositories over time

An experimental monorepo manager

An Android TV app for the self hosted photos and videos backup solution.

Syncthing-Fork - A Syncthing Wrapper for Android.

An extensible and keyboard-focused web browser

Build Systems à la Carte

hybrid graph-vector database in ocaml

A fancy diagnostics library that allows your compilers to exit with grace

https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-through-Oxidized-OCaml

An engine for displaying slips, the next-gen version of slides

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

My Emacs

this is only a mirror

Ocaml binding generator for vulkan

A backup application for the Android Open Source Project.

This repository is storage for code used in my summer research project

Cloud replacement for vacuum robots enabling local-only operation

darktable is an open source photography workflow application and raw developer

A static website compiler library in Haskell