Lean 4 programming language and theorem prover

A blazing fast and easy to configure neovim statusline plugin written in pure lua.

my dotfiles

My dotfiles

CLI utility that helps you to calculate indices into the page table from a virtual address. For x86, it outputs the indices into the page tables for both, 32-bit and 64-bit paging.

Haskell pretty printer

Krita is a free and open source cross-platform application that offers an end-to-end solution for creating digital art files from scratch built on the KDE and Qt frameworks.

A REPL for x86-64 assembly language

A class for types with a default value

Flexible level editor

Haskell library to load & save pictures

Provide easy code formatting in Vim by integrating existing code formatters.

A static website to link to when someone's code is displaying Japanese wrong.

a fast, extensible, type driven Haskell ECS framework for games

An easy to use, cross platform, GUI library for writing Haskell applications.

Official Haskell IDE support via the language server protocol (LSP)

The official Vim repository

Heapless, `static` friendly data structures

A utility for managing cargo dependencies from the command line.

Go Assembler Formatter

A microkernel-based hackable operating system.

UEFI Reference Specification Protocol Constants and Definitions

An TUI based elf analyzer

Educational Operating System

Master programming by recreating your favorite technologies from scratch.

A simple spinlock crate based on the abstractions provided by the `lock_api` crate.

Rust library for parsing ACPI tables and interpreting AML