franalgaba

open-interpreter

A natural language interface for computers

mojo

The Mojo Programming Language

config

Apps/CLIs/configs I use on macOS/iOS. Fish, Karabiner, Cursor..

candle

Minimalist ML framework for Rust

rye

a Hassle-Free Python Experience

ggml

Tensor library for machine learning

cog

Containers for machine learning

deepsparse

Sparsity-aware deep learning inference runtime for CPUs

igl

Intermediate Graphics Library (IGL) is a cross-platform library that commands the GPU. It provides a single low-level cross-platform interface on top of various graphics APIs (e.g. OpenGL, Metal and Vulkan).

cryo

cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes

MP-SPDZ

Versatile framework for multi-party computation

reth-indexer

reth-indexer reads directly from the reth db and indexes the data into traditional and alternative databases / datastores (postgres, GCP bigquery, etc) all decoded with a simple config file and no extra setup alongside exposing a API ready to query the data.

onnx-coreml

ONNX to Core ML Converter

zkml

awesome-noir

A curated list of awesome things related to learning and programming in Noir.

Lasso

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

starknet-foundry

Blazing fast toolkit for developing Starknet contracts.

stone-prover

cairo-fuzzer

Cairo/Starknet smart contract fuzzer

lambdaworks_stark_platinum

STARK Cairo prover using lambdaworks. 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. Cairo and similar proof systems can be used to provide scalability to blockchains.

prediction-powered-inference

A statistical toolkit for scientific discovery using machine learning

rollyourown

An onchain adaptation of the classic Drug Wars game

wasm-cairo

A suite of development tools and a WASM-Runtime environment for Cairo. All based on WebAssembly. By Caironautes, for Caironautes.

testudo

Testudo: Spartan + Groth16

Giza-Hub

Curated list of ZKML models and use cases made with Giza

noir-by-example

an introduction to noir, with simple examples

cairo-migration-prompt

Prompt for GPT-4 to migrate Cairo 0 to Cairo 1

giza-cli

Giza Platform CLI

cairo-containers

Support code for building and running Docker containers based on Cairo 1.0 for verifiable computations

orion-benchmark

Model benchmarking using Orion