EdAyers

EdAyers's Stars

• OpenInterpreter/open-interpreter

  A natural language interface for computers

  Language:Python57.6k4189884.9k

• psf/black

  The uncompromising Python code formatter

  Language:Python39.4k2292.7k2.5k

• ziglang/zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  Language:Zig35.7k37711.7k2.6k

• tinygrad/tinygrad

  You like pytorch? You like micrograd? You love tinygrad! ❤️

  Language:Python27.3k2738343k

• reflex-dev/reflex

  🕸️ Web apps in pure Python 🐍

  Language:Python21.1k1711.7k1.2k

• HigherOrderCO/Bend

  A massively parallel, high-level programming language

  Language:Rust17.8k99262439

• tigerbeetle/tigerbeetle

  The financial transactions database designed for mission critical safety and performance.

  Language:Zig11k85557529

• BloopAI/bloop

  bloop is a fast code search engine written in Rust.

  Language:Rust9.5k65146572

• sqlite/sqlite

  Official Git mirror of the SQLite source tree

  Language:C7k12201.1k

• k4zmu2a/SpaceCadetPinball

  Decompilation of 3D Pinball for Windows – Space Cadet

  Language:C++3.5k56152217

• jepsen-io/maelstrom

  A workbench for writing toy implementations of distributed systems.

  Language:Clojure3.1k2736190

• morph-labs/rift

  Rift: an AI-native language server for your personal AI software engineer

  Language:Python3.1k2987149

• microsoft/debugpy

  An implementation of the Debug Adapter Protocol for Python

  Language:Python1.9k371.3k144

• nomic-ai/nomic

  Interact, analyze and structure massive text, image, embedding, audio and video datasets

  Language:Python1.4k2765176

• splitgraph/seafowl

  Analytical database for data-driven Web applications 🪶

  Language:Rust4531112214

• nianticlabs/diffusionerf

  [CVPR 2023] DiffusioNeRF: Regularizing Neural Radiance Fields with Denoising Diffusion Models

  Language:Python297232117

• leanprover-community/batteries

  The "batteries included" extended library for the Lean programming language and theorem prover

  Language:Lean2641662108

• leanprover-community/aesop

  White-box automation for Lean 4

  Language:Lean22196427

• symmetree-labs/zerostash

  Zero-metadata file storage

  Language:Rust15551312

• leanprover-community/quote4

  Intuitive, type-safe expression quotations for Lean 4.

  Language:Lean7762212

• adriangb/python-monorepo

  Attempts at a Python monorepo

  Language:Python51424

• solarflare-dev/solarflare

  Realtime Postgres data in React.

  Language:TypeScript426

• zhangir-azerbayev/lean-chat-vscode

  Language:TypeScript25573

• fiveai/hardest

  The HARDness ESTimation package: A library for ranking images from a dataset by hardness with respect to a specific detector.

  Language:Python18301

• zhangir-azerbayev/proof-pile

  Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.

  Language:Jupyter Notebook18202

• seabo/seaborg

  A chess engine, built from scratch in Rust

  Language:Rust40

• 96LAyers/Grantle

  Language:Python3160

• FedericoAureliano/eudoxus

  eudoxus: UCLID5 text-to-code tool

  Language:Python3311

• mimosa-project/chatgpt-lean4-plugin

  Language:Python20

• PaperclipBadger/captioner

  Web app for collecting image captions.

  Language:Python2100