Nix Packages collection & NixOS

Iosevka Charon is a quasi-proportional font excellent for technical writing and dense UI. Iosevka Charon Mono is a true monospace font tuned for coding and terminal use.

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

Better configuration for less

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

FFmpeg Assembly Language Lessons

A high-legibility programming font engineered to minimize cognitive load.

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

Generate compile_commands.json for any C or C++ build

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