cf - Giters

Carter Feldman's starred repositories

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustApache-2.029226 82 2152

zdog

Flat, round, designer-friendly pseudo-3D engine for canvas & SVG

Language:JavaScript10259 106 99

Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

Language:C++Apache-2.03362 131 937

Dopamine

Dopamine is a semi-untethered jailbreak for iOS 15 and 16

Language:CMIT2913 102 404

logos

Create ridiculously fast Lexers

Language:RustApache-2.02670 18 238

superwhite

display a very bright white color on HDR-enabled displays

1187 5 5

CharacterControl

Floating Capsule Character Controller (Rigibody control)

Language:TypeScriptMIT375 7 12

Plonky3

A toolkit for polynomial IOPs (PIOPs)

Language:RustApache-2.0342 23 52

UnityHubNative

A native alternative to the heavy Electron Unity Hub, written in C++

Language:C++NOASSERTION340 13 35

Lasso

The lookup singularity. Based on Spartan; built on Arkworks.

Language:RustMIT283 17 35

awesome-folding

A curated list of zero-knowledge folding schemes

CC0-1.0246 13 4

spartan-ecdsa

The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve

Language:Rust186 5 29

blaze

blaze is a Rust library for ZK acceleration on Xilinx FPGAs.

Language:RustGPL-3.0137 8 14

eigen-zkvm

A Rust zkVM with a Modular Proof System

Language:RustApache-2.0120 6 73

multifolding-poc

A PoC repo for a HyperNova impl

Language:RustMIT80 10 1

plonky2-crypto

Crypto Gadgets for Plonky2

Language:RustApache-2.067 80

air-script

A domain-specific language for writing AIR constraints for STARKs

Language:RustMIT66 6 144

perpetualpowersoftau

Phase 1 of a multi-party trusted setup ceremony for zk-SNARKs

Language:Standard MLGPL-3.044 30

cairo-vm_in_C is a C implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

Language:C++Apache-2.01800