shayanh

shayanh's Stars

• wilbowma/llm-lang

  An LLM-first programming language.

  Language:Racket261

• openai/swarm

  Educational framework exploring ergonomic, lightweight multi-agent orchestration. Managed by OpenAI Solution team.

  Language:Python16.2k1.6k

• srush/GPU-Puzzles

  Solve puzzles. Learn CUDA.

  Language:Jupyter Notebook10k858

• microsoft/Spartan

  Spartan: High-speed zkSNARKs without trusted setup

  Language:Rust697121

• dangkhoasdc/awesome-ai-residency

  List of AI Residency Programs

  3.1k270

• google/langfun

  OO for LLMs

  Language:Python48636

• heidihoward/pbft-tlaplus

  Formal specification of PBFT in TLA+

  Language:TLA71

• goldmansachs/gs-quant

  Python toolkit for quantitative finance

  Language:Jupyter Notebook7.9k975

• cdk8s-team/cdk8s

  Define Kubernetes native apps and abstractions using object-oriented programming

  Language:JavaScript4.4k294

• karpathy/LLM101n

  LLM101n: Let's build a Storyteller

  30.2k1.7k

• 0xPolygonMiden/miden-vm

  STARK-based virtual machine

  Language:Rust632161

• nexus-xyz/nexus-zkvm

  The Nexus zkVM: The zero-knowledge virtual machine

  Language:Rust753240

• maybe-finance/maybe

  The OS for your personal finances

  Language:Ruby34k2.4k

• anvil-verifier/anvil

  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

  Language:Rust935

• verus-lang/verus

  Verified Rust for low-level systems code

  Language:Rust1.2k71

• sobolevn/sobole-zsh-theme

  Minimalistic zsh theme inspired by the old-fashioned hobbies.

  Language:Shell14727

• Plonky3/Plonky3

  A toolkit for polynomial IOPs (PIOPs)

  Language:Rust479188

• jonico/awesome-runners

  A curated list of awesome self-hosted GitHub Action runners in a large comparison matrix

  Language:SCSS74141

• im2nguyen/rover

  Interactive Terraform visualization. State and configuration explorer.

  Language:Go3k181

• inkdrop-org/inkdrop-visualizer

  Visualizes your Terraform

  Language:TypeScript46620

• actions/actions-runner-controller

  Kubernetes controller for GitHub Actions self-hosted runners

  Language:Go4.8k1.1k

• postgrespro/pg_credereum

  Prototype of PostgreSQL extension bringing some properties of blockchain to the relational DBMS

  Language:C637

• microsoft/retina

  eBPF distributed networking observability tool for Kubernetes

  Language:Go2.7k211

• microsoft/garnet

  Garnet is a remote cache-store from Microsoft Research that offers strong performance (throughput and latency), scalability, storage, recovery, cluster sharding, key migration, and replication features. Garnet can work with existing Redis clients.

  Language:C#10.4k524

• kata-containers/kata-containers

  Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/

  Language:Rust5.6k1.1k

• rwf2/Rocket

  A web framework for Rust.

  Language:Rust24.6k1.6k

• Speykious/cve-rs

  Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

  Language:Rust4.1k104

• uber-go/nilaway

  Static analysis tool to detect potential nil panics in Go code

  Language:Go3.2k66

• sieve-project/sieve

  Automatic Reliability Testing for Kubernetes Controllers and Operators

  Language:Python32920

• smallnest/kvbench

  Server for benchmarking pure Go key/value databases

  Language:Go15431