just solve it - a CLI utility to run a portfolio of SMT solvers in parallel

Constraint solver based on coverage-guided fuzzing

💥 Create key bindings that stick. WhichKey helps you remember your Neovim keymaps, by showing available keybindings in a popup as you type.

NeoVim lua plugin that annotates source code with profiling information from perf, LuaJIT, or other profilers.

View colored, incremental diff in workspace or from stdin, side by side and auto paged.

Prove functional correctness of Ethereum smart contracts in higher-order logic

automatically quote arguments to commands like `git commit -m`

Tiny Waybar module to check Arch Linux updates from official repositories and AUR.

Improved Yank and Put functionalities for Neovim

Specification for the Execution Layer. Tracking network upgrades.

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

Utility functions for getting diagnostic status and progress messages from LSP servers, for use in the Neovim statusline

EVM disassembler

An APL-like programming language

Repro of issues with pranking when comparing echidna and foundry

Louvain Community Detection Library

Ethereum Virtual Machine (EVM) disassembler and assembler

AST interpreter for Vyper with a custom EVM backend

The efficient SMT-based context-bounded model checker (ESBMC)

Privacy preserving (zk)proof of age

Executable formal model of the EVM and Yul in Lean 4.

improve neovim lsp experience

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Tools for certifying the D4 model counter

Extended Haskell Conceal feature for Vim

Using machine learning in the context of GASOL

Dafny Evm Proof Generator (experimental)

A CTF protocol, where players create and solve EVM puzzles to earn NFTs.

An Analysis Tool for Smart Contracts