Mirror of Steel Bank Common Lisp (SBCL)'s official repository

Lightning-fast and Powerful Code Editor written in Rust

The password hash Argon2, winner of PHC

The Cardano Developer Portal

Cardano Improvement Proposals (CIPs)

🐰 Bencher - Continuous Benchmarking

Emacs Plus formulae for the Homebrew package manager

An Emacs framework for the stubborn martian hacker

Simple and handy overview of applications shortcuts

plasTeX plugin to build formalization blueprints.

Lightpanda: the headless browser designed for AI and automation

A collection of formalized statements of conjectures in Lean.

Zhihu++ | 知乎++: Ad-free, low cost, AI powered zhihu android 3rd-party client. 去广告、占用低、AI大模型的新时代知乎安卓端体验

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

SQLite bindings for Lean

a zero-knowledge proof-carrying code platform for Lean 4

📦 An official xmake package repository

🍩 A XMake integration in Visual Studio Code

Scientific computing in Lean 4

A website to show WebGPU info

Chat with AI large language models running natively in your browser. Enjoy private, server-free, seamless AI conversations.

➿ Soothing pastel theme for Helix!

Development repository for the CodeMirror editor project

Emulate Helix keybindings inside Vim emulators

🌺 Minimalist Vim Plugin Manager

Vundle, the plug-in manager for Vim

Zed plugin for automatic time tracking and metrics generated from your programming activity.

Mac system tray app for automatic time tracking and metrics generated from your Xcode, Figma, Postman, etc. usage.

Vim plugin for automatic time tracking and metrics generated from your programming activity.