🔒 Soothing pastel theme for SDDM

MQTT client for OCaml

Subscribe to a MQTT Topic or publish something quickly from the terminal

Advent of Code Solutions In OCaml

QuickCheck inspired property-based testing for OCaml.

Open-source AI agents for penetration testing

Programming in assembly language tutorial

NixOS goes for blood: Niri and Stylix in pure darkness

Bookmarks in graphics, algorithms, low level programming, math, languages

Unified emacs interface supporting Claude Code, Gemini CLI, OpenAI Codex and GitHub Copilot CLI, and more

Nix noob trying to build his system

⭐ A simple, fast and powerful blog & document theme built by Astro

The fastest, friendliest, and most delightful way to get started with OCaml, ReasonML, and Melange, geared towards JavaScript and TypeScript developers

A garden of small programming language implementations 🪴

Modern scientific computing for OCaml

A beautiful inline overlay for Emacs (Flycheck | Flymake)

A Neovim framework and doom emacs alternative for the stubborn martian hacker. Powered by fennel and the oxocarbon theme

HoloLayer is a multimedia layer plugin designed specifically for Emacs

An Emacs framework for the stubborn martian hacker

A scrollable-tiling Wayland compositor.

OCaml implementation of the Model Context Protocol (MCP)

And I say hey, what's going on?

Programming Languages Zoo

Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.

Personal nix category configuration

Malfunctional Programming

Build Mirage unikernels with Nix

Realtime grep for OCaml/Coq sources available on opam