NeoVim configuration optimized for writing in LaTeX with AI integration for Avante, Lectic, and Claude-Code

PCB auto router using A* algorithm

Library for binding to C libraries using pure OCaml

Music Visualizer

Type-driven code generation for OCaml

The core OCaml system: compilers, runtime system, base libraries

Difference list library for OCaml

MirageOS is a library operating system that constructs unikernels

Open source ARM Cortex-M microcontroller library

OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries)

Emacs client/library for the Language Server Protocol

GNU Octave Mirror (https://www.octave.org/hg/octave). Report bugs and submit pull requests (patches) at https://bugs.octave.org

Dead simple CLI Display Manager on TTY

Fake pstree application using Fuse

A simple program to suspend or hibernate your computer 💤

Modern API for working with files and directories in Emacs

dmenu_run replacement

Make operations on words more fine-grained

Find Emacs Lisp definitions

Multiple cursors for emacs.

XDEB - Convert deb (Debian) packages to xbps (Void Linux)

A simple PolicyKit authentication agent for XFCE

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

VS code extension that displays information about Linux binaries such as shared objects and archive files

Class-first framework for building command-line interfaces

Simple Display Manager for Xorg

🐧 A pretty system information tool written in POSIX sh.

awesome window manager

ShellCheck, a static analysis tool for shell scripts

Rust library to render HTML as text.