A curated list of zkVM, zero-knowledge virtual machine

macOS system monitor in your menu bar

A curated list of Plonky3 resources, libraries, tools and more.

Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

A cargo subcommand for checking and applying updates to installed executables

QA via natural language AI tests

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

🤖 Just a command runner

simple terminal UI for git commands

A new markup-based typesetting system that is powerful and easy to learn.

Cryptography Educational Foundations

Yet another minimap plugin for Neovim

A Rust implementation of the Groth16 zkSNARK

A modern alternative to ls

The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.

The user-friendly command line shell.

The Fish Shell Framework

Competitive art canvas on Starknet

Collections of awesome neovim plugins.

A curated list of resources and examples of ASCII Art

💤 A modern plugin manager for Neovim

Inference code for Llama models

Obsidian 🤝 Neovim

Curated list of awesome open source healthcare software, libraries, tools and resources.

A list of Garmin application, both for Garmin devices and other tools

Sioyek is a PDF viewer with a focus on textbooks and research papers