franalgaba

franalgaba's Stars

• actix/actix-web

  Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.

  Language:Rust21.4k2311.6k1.7k

• astral-sh/uv

  An extremely fast Python package and project manager, written in Rust.

  Language:Rust21.4k463.3k625

• Mozilla-Ocho/llamafile

  Distribute and run LLMs with a single file.

  Language:C++19.4k177411981

• HigherOrderCO/Bend

  A massively parallel, high-level programming language

  Language:Rust17.3k91250424

• VikParuchuri/surya

  OCR, layout analysis, reading order, line detection in 90+ languages

  Language:Python9.9k85131646

• skorch-dev/skorch

  A scikit-learn compatible neural network library that wraps PyTorch

  Language:Jupyter Notebook5.8k82511388

• PrefectHQ/marvin

  ✨ Build AI interfaces that spark joy

  Language:Python5.2k34208327

• vyperlang/vyper

  Pythonic Smart Contract Language for the EVM

  Language:Python4.8k1661.6k789

• loco-rs/loco

  🚂 🦀 The one-person framework for Rust for side-projects and startups

  Language:Rust4k31279169

• pyro-ppl/numpyro

  Probabilistic programming with NumPy powered by JAX for autograd and JIT compilation to GPU/TPU/CPU.

  Language:Python2.1k52768235

• UdaraJay/Pile

  Desktop app for digital journaling.

  Language:JavaScript1.9k1460103

• GoogleCloudPlatform/localllm

  Language:Python1.5k3210113

• oxidecomputer/dropshot

  expose REST APIs from a Rust program

  Language:Rust8223312374

• matter-labs/era-boojum

  Boojum, the scariest SNARK implementation.

  Language:Rust30222884

• starkware-libs/stwo

  Language:Rust23211970

• worldcoin/open-iris

  Open Iris Recognition Inference System (IRIS)

  Language:Python225231344

• privacy-scaling-explorations/chiquito

  DSL for Halo2 circuits

  Language:Rust1851112539

• danielgross/ggml-k8s

  Run GGML models with Kubernetes.

  Language:HCL172507

• OffchainLabs/stylus

  Stylus VM and Fraud Prover

  Language:Go10915226

• Uniswap/v3-polars

  Language:Jupyter Notebook987416

• protolambda/grug-wallet

  Web3 dev wallet

  Language:Go951304

• ApeWorX/silverback

  Blockchain automation library, and SDK for the (upcoming) Silverback Platform

  Language:Python845429

• HerodotusDev/integrity

  Language:Cairo6224418

• jvhs0706/zkllm-ccs2024

  Language:Cuda37138

• gizatechxyz/giza-agents

  Easy to use Verifiable AI and smart contracts interoperability.

  Language:Python1451210

• AlgoveraAI/streamlit-metamask

  Language:TypeScript12025

• gizatechxyz/datasets

  Language:Python5210

• gizatechxyz/giza-benchmark

  Language:Rust5101

• gizatechxyz/orion_ml

  A ZKML framework for traditional machine learning

  Language:Cairo5101

• gizatechxyz/zkcook

  Language:Python410