#
Lists (1)
Starred repositories
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
A list of tutorials, paper, talks, and open-source projects for emerging compiler and architecture
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
⭐️ A friendly language for building type-safe, scalable systems!
Use Emacs to highlight source code listings in LaTeX and HTML documents!
Quick-peek inline-window library for Emacs
Documentation popup for Company
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying the Rust standard library
Debugger for Sed: demystify and debug your sed scripts, from comfort of your terminal.
Capability-oriented version of the Rust standard library
Noir is a domain specific language for zero knowledge proofs
Concurrent Programming with Effect Handlers
## Auto-archived due to inactivity. ## A collection of container security resources
A massively parallel, high-level programming language
Lock-free data structures for multicore OCaml
Grammarly support for Flycheck