solc inside a browser web worker

Small C header-only library containing a graph data structure with flexible vertices

This is a simple example that shows how you can add the solidity compiler libraries into your C project using cmake and vcpkg.

Simple React frontend to test and demonstrate using the Solidity compiler in browser

OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.

A modular stack for zkVMs, with a focus on productivity, security and performance.

A Matrix client for GNU Emacs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

decaf377 is a prime-order group designed for use in SNARKs over BLS12-377

Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.

Emacs X Window Manager

An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.

The extensible vi layer for Emacs.

Language server for the Yul language

Minimal Anti-Collusion Infrastructure (MACI)

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

SDK for private data access, built on homomorphic encryption.

sshpass with TOTP support

Solves systems of polynomial equations.

Go templates invoked as functions

This project will compile verilog (a hardware description language) into factorio blueprints.

awesome window manager

An uroboros program with 100 programming languages

🎨 Generate and change color-schemes on the fly.

Collect, watch, and analyze SSL/TLS CRL data

Adds the soothing voice of Dmitri Komarov and other great chess masters to lichess.org (Google Chrome extension / Firefox Add-on)

Ctf solutions from p4 team

Paper: Data Representation in Solidity

TLA language support for Visual Studio Code