Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.

Better configuration for less

Switching Get Norge Fiber's Huawei HG8245 router with Ubiquiti's Nano G

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

FFmpeg Assembly Language Lessons

A programming font focused on source code legibility

A soothing dark color scheme for neovim and friends.

Dark theme with relaxing and no-saturated colors

DisplayCAL Modernization Project

A collection of resources for learning type theory and type theory adjacent fields.

Interactive evaluation for Neovim (Clojure, Fennel, Scheme, Python, JavaScript, PHP, R, Lua, Rust and more!)

❄️ My old NixOS configuration files

😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]

🛠️ ❤️ Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place! 想要学习使用 NixOS 与 Flakes 吗？在寻找一份新手友好的教程？那你可来对地方了！

Overview of alternative open source front-ends for popular internet platforms (e.g. YouTube, Twitter, etc.)

A collection of learning resources for curious software engineers

Linux kernel source tree

Highly accessible themes for Neovim, conforming with the highest standard for color contrast between background and foreground values (WCAG AAA). A Neovim port of the original Modus Themes built fo…

A completion plugin for neovim coded in Lua.

Visualization of the COMPLETE MEMORY MAP of any given process

Bear is a tool that generates a compilation database for clang tooling.

Script used to decrypt a SSH key into a systemd --user managed ssh agnet