A beautiful yet powerful syntax highlighter

コード例で学ぶ Lean 言語

Superconducting Qubits in Python

Blazingly fast path based retained layout engine for Bevy entities, built around vanilla Bevy ECS.

The OpenRC init system

⭐️ A friendly language for building type-safe, scalable systems!

😎 Awesome lists about all kinds of interesting topics

🎉 performant confetti animation in the browser

Inochi2D reference implementation aimed at rendering 2D puppets that can be animated in real-time (using eg. facial capture).

Read e-books in style

Truly independent web browser

A developper tool for ESP32 micro-computer with mruby/c

A developper tool for ESP32 micro-computer with mruby/c

⚡️ Icon Explorer with Instant searching, powered by Iconify

一週間でなれる！スパコンプログラマ

A slightly quackers Docker TUI based on k9s 🦆

🔥 A cross-platform build utility based on Lua

Rust-based platform for the Web

LLM101n: Let's build a Storyteller

Modern and easy to use SQL client for MySQL, Postgres, SQLite, SQL Server, and more. Linux, MacOS, and Windows.

Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc.

Scala学習用テキスト

⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!

LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them.

A fancy self-hosted monitoring tool