LumaKernel

awesome-selfhosted

A list of Free Software network services and web applications which can be hosted on your own servers

yt-dlp

A feature-rich command-line audio/video downloader

invidious

Invidious is an alternative front-end to YouTube

nextra

Simple, powerful and flexible site generation framework with everything you love from Next.js.

bytebase

The GitHub/GitLab for database DevOps. World's most advanced database DevOps and CI/CD for Developer, DBA and Platform Engineering teams.

inshellisense

IDE style command line auto complete

waku

⛩️ The minimal React framework

svgl

🧩 A beautiful library with SVG logos. Built with Sveltekit & Tailwind CSS.

uiua

A stack-based array programming language

polonius

Defines the Rust borrow checker.

mathlib4

The math library of Lean 4

licensed

A Ruby gem to cache and verify the licenses of dependencies

PuzzleScript

Open Source HTML5 Puzzle Game Engine

hash-wasm

Lightning fast hash functions using hand-tuned WebAssembly binaries

funsearch

sugar-high

✏️ Super lightweight JSX syntax highlighter, around 1KB after minified and gzipped

uBOL-home

uBO Lite home (MV3)

nitrogql

GraphQL + TypeScript toolchain

workflow-telemetry-action

Github action to collect metrics (CPU, memory, I/O, etc ...) from your workflows to help you debug and optimize your CI/CD pipeline

mkey

3DS / Wii U / Switch master key generator

nextjs

linux-kernel-vscode

Reference setup for Linux kernel development in VSCode

vscode-js-profile-visualizer

A custom editor for viewing `.cpuprofile` files in VS Code

lean-math-workshop

数学系のためのLean勉強会

Ordinal-Markup

The Github version of Ordinal Markup

rsc-without-nextjs

Sample repository for a Zenn article

tactic-cheatsheet

Lean4 の逆引きタクティクリスト

serde-pyobject

PyO3's PyAny as a serde data format

theorem-prover-kt

A sequent-style theorem prover for first-order logic in Kotlin

a_plus_b_sqrt_n