Code to automatically prove or verify estimates in analysis

Personal website made with hugo

A minimalist shoutbox with permalinks - plus a simple landing page.

The DokuWiki Open Source Wiki Engine

Source code for the nLab

Jelly is a recreational programming language inspired by J.

The world's most flexible commerce platform.

Video.js - open source HTML5 video player

Kavita is a fast, feature rich, cross platform reading server. Built with the goal of being a full solution for all your reading needs. Setup your own server and share your reading collection with …

Run your GitHub Actions locally 🚀

🌟 NovaOS is an x86 Protected Mode Operating System with a GUI, a own File System, and much more!

Documentation of NVIDIA chip/hardware interfaces

Display, extract, and manipulate PSP firmware inside UEFI images

Tool for partial deblobbing of Intel ME/TXE firmware images

Pragmatic microkernel-based OS with fully asynchronous I/O

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

My gnu-efi development tree.

A Minecraft mod designed to improve frame rates and reduce micro-stutter

Fabric language module for Kotlin.

QEMU Interactive Runtime Analyser

Easily display interactive 3D models on the web and in AR!

⚡️ The Missing Fullstack Toolkit for Next.js

My soloutions for the 2024 Advent of Code

xkcd styled chart lib

A comment system powered by GitHub Discussions. 💬 💎

A formatter for Python files

🚫💩 — Run tasks like formatters and linters against staged git files

The uncompromising Python code formatter

A path tracer to create realistic images of your Minecraft worlds.