Plugin to improve viewing Markdown files in Neovim

🌳 Clingo grammar for tree-sitter

Live demo!

🤔 A grounder and solver for logic programs.

Universal Registry Contract

Based OP stack

Clingo on the web

Zirgen compiler and RISC Zero circuits

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

Solutions to exercises from MoonMath Manual to zkSNARKs.

Neovim support for the Lean theorem prover

Follow validators signaling different gas limits.

A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.

Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust

An ontology of Ethereum terms extracted from the Ethereum glossaries and Ethereum Improvement Proposals (EIPs). Available in plain text and SKOS formats.

Python interface for Agora

A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.

The game-changing wallet for Ethereum and all EVM chains

🚀 Fast and simple Node.js version manager, built in Rust

🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing.

Themes for the kitty terminal emulator

Show code context

simple terminal UI for git commands

Celestia consensus node

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

Porting of Matita's declarative syntax to Lean