OpenZFS on Linux and FreeBSD

A multi-platform Nix configuration template optimized as development environment, based on nixos-unified.

Writing an OS in 1,000 lines.

A gradual guide to discover and learn the Jai programming language

This is the mirror of Ziglings

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Language based on Rewriting Logic

A tool for exploring each layer in a docker image

Find the enemy and replace them with dark power.

The Lux Programming Language

NAVIX(네빅스) Bug Tracker

Compile Rust code to GBZ80 (Gameboy Z80)

KLEE Symbolic Execution Engine

Linux Runtime Security and Forensics using eBPF

A statically typed lisp, without a GC, for real-time applications.

🍿 A collection of small QoL plugins for Neovim

Programming Language Theory λΠ

Writing a sqlite clone from scratch in C

A color scheme written in Lua, designed to support Treesitter and LSP while meeting AA contrast standards. The scheme ensures perceptually uniform hues in the OKlab color space. Available ports in…

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

An interpreter for Rust's mid-level intermediate representation

✨ Innovative and open-source visualization application that transforms various data formats, such as JSON, YAML, XML, CSV and more, into interactive graphs.

Educational blog posts for Rust beginners

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

A task runner and job management plugin for Neovim

A telescope.nvim extension that offers intelligent prioritization when selecting files from your editing history.

Creates a "Live Share" server in Neovim, similar to the Visual Studio Code Live Share functionality

Official inference framework for 1-bit LLMs