A modern JavaScript library for handling Hangul characters.

한글 자음/모음 분리/조합 자바스크립트 라이브러리. 자바스크립트 한글 오토마타 구현체입니다.

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

CSE 290Q: Topics in Interactive Theorem Provers

CSE 290Q: Topics in Interactive Theorem Provers

[Mirror] Continuwuity, the official community driven continuation of conduwuit & Conduit, focusing on user experience and new features.

Kagi Small Web

Pocket Casts iOS app 🎧

Raw bindings to platform APIs for Rust

host your own cloud for the remarkable

Hundreds of models & providers. One command to find what runs on your hardware.

Making parsing a breeze

Use Claude Code as the foundation for coding infrastructure, allowing you to decide how to interact with the model while enjoying updates from Anthropic.

A simple CalDAV (calendar) and CardDAV (contact) server.

A simple zero-config tool to make locally trusted development certificates with any names you'd like.

Python & Command-line tool to gather text and metadata on the Web: Crawling, scraping, extraction, output as CSV, JSON, HTML, MD, TXT, XML

High performance self-hosted photo and video management solution.

Windows alt-tab on macOS

Minecraft server mod/plugin to monitor TPS, MSPT, and other information in the tab menu, boss bar, and action bar.

Patching OMORI to run on Apple silicon

Kanidm: A simple, secure, and fast identity management platform

Powerful scripting language & versatile interactive shell

Unofficial revival of the well known .NET debugger and assembly editor, dnSpy

The most intuitive desktop API client. Organize and execute REST, GraphQL, WebSockets, Server Sent Events, and gRPC 🦬

Use Hugging Face with JavaScript

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Build Caddy with plugins

A Lean companion to Analysis I

A new type of shell

Generate TypeScript .d.ts files for using tree-sitter grammars.