a tiling window manager for macos

Powerful macOS menu bar customization tool

AirPods libreated from Apple's ecosystem.

Build system

Running Elixir in the browser

🌀 Async-first sharded hashmap for Rust.

Prototype of a command line argument parser with several opposite design goals from clap.

A type-checked alternative to cfg(feature)

A minimal async executor that lets you block on a future

Add hardship to your tests

Switch and track your input sources with ease ✨

Rewriting Principia Mathematica in Lean

A crate to replace libimobiledevice in pure Rust

Neovim plugin to Build, Debug, and Test applications created for Apple devices (iOS, macOS, watchOS, etc.)

Smart Contract Fuzzing Towards Profitable Vulnerabilities

A cheat sheet that helps React developers to quickly start with SwiftUI.

A Rust compiler backend targeting CIL(.NET IR) and C.

A scrollable-tiling Wayland compositor.

High quality, fast and easy to build cryptography for Rust

Minimal token-authentication link shorter service written in rust

Command line argument parsing library

Complete instrumentation for clojure.spec

🍄 an alleged 'operating system'

An async ORM for Rust (incubating)

A plugin to visualise and resolve merge conflicts in neovim

Permanent Apple Intelligence + Xcode Predictive Code Completion for Chinese-market Mac computers

A curated list of awesome tools and technology to help you out with ricing on linux

「go 言語でつくるインタプリタ」の Lean によるノート

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.