A local-first LaTeX & Typst web editor with real-time collaboration & offline support

Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.

MacOS menu‑bar utility to adjust Apple Silicon GPU VRAM allocation

Raycast extension to use GPT, Claude, Llama, and more... all for FREE! + Full support for custom APIs.

Dkron - Distributed, fault tolerant job scheduling system https://dkron.io

A simple and easy-to-use library to enjoy videogames programming

AeroSpace is an i3-like tiling window manager for macOS

📜 LaTeX Templates for Notes, Reports, CV/Resumes, and Beamers

A growing collection of widescreen and wider solutions from Rose of the WSGF.

Frustrated that OS X doesn't have a simple software keyboard debouncer. Here's my hack.

Download sources of deployed contracts from etherscan

A Spotify player in the terminal with full feature parity

Metal-based implementation of D3D11 and D3D10 for MacOS / Wine

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

Eth2.0 spec in Dafny

This repository hosts all the research on DAS for the collaboration between Codex and the EF.

Evaluating & benchmarking ZKP compilation strategies.

My personal notebook for various zk-related topics

Technical documentation of the zkEVM

Agglayer Smart Contracts

A few weeks ago, I start to think about prepare a #30DaysOfZeroKnowledge challenge, to go deep this topic. So, I start preparing this travel and today lets start with this. Wish me luck!

Library to issue zero knowledge soul bound tokens (ZK SBTs)

Implementation of ERC 7524 - PLUME for ECDSA Nullifiers

Example of use circom custom gates pil and verify it in groth16

Polynomials Identity Language

Generates a stark from a pil

A list of MEV resources with a focus on past research papers/talks.

Spartan: High-speed zkSNARKs without trusted setup

NVIDIA Linux open GPU kernel module source