Jitsi Meet on Docker

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

A Sublime Text package that integrates the Anthropic Claude AI API into your editor

experimental solidity compiler

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 privacy-preserving decentralized exchange for all of crypto

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