Giters
Ed Ayers (EdAyers)

EdAyers

Geek Repo

69

followers

67

following

74

stars

Company:CMU

Location:Cambridge, UK

Home Page:edayers.com

Twitter:@ewayers

Github PK Tool:Github PK Tool

Organizations
leanprover-community

Ed Ayers's starred repositories

open-interpreter

A natural language interface for computers

Language:PythonLicense:AGPL-3.0Stargazers:42175Issues:317Issues:747

black

The uncompromising Python code formatter

Language:PythonLicense:MITStargazers:38114Issues:229Issues:2611

tinygrad

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

Language:PythonLicense:MITStargazers:25520Issues:267Issues:683

reflex

🕸️ Web apps in pure Python 🐍

Language:PythonLicense:Apache-2.0Stargazers:18319Issues:145Issues:1495

bloop

bloop is a fast code search engine written in Rust.

Language:RustLicense:Apache-2.0Stargazers:9339Issues:64Issues:134

tigerbeetle

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

Language:ZigLicense:Apache-2.0Stargazers:9257Issues:76Issues:517

sqlite

Official Git mirror of the SQLite source tree

Language:CLicense:NOASSERTIONStargazers:6079Issues:120Issues:0

SpaceCadetPinball

Decompilation of 3D Pinball for Windows – Space Cadet

Language:C++License:MITStargazers:3320Issues:56Issues:142

rift

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

Language:PythonLicense:Apache-2.0Stargazers:3052Issues:29Issues:87

maelstrom

A workbench for writing toy implementations of distributed systems.

Language:ClojureLicense:EPL-1.0Stargazers:2947Issues:27Issues:34

debugpy

An implementation of the Debug Adapter Protocol for Python

Language:PythonLicense:NOASSERTIONStargazers:1770Issues:36Issues:1151

nomic

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

Language:PythonStargazers:1180Issues:27Issues:59

LaTeXML

LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.

Language:PerlLicense:NOASSERTIONStargazers:892Issues:36Issues:1441

seafowl

Analytical database for data-driven Web applications 🪶

Language:RustLicense:Apache-2.0Stargazers:399Issues:9Issues:116

diffusionerf

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

Language:PythonLicense:MITStargazers:287Issues:23Issues:21

std4

Standard Library for Lean 4

Language:LeanLicense:Apache-2.0Stargazers:199Issues:24Issues:57

aesop

White-box automation for Lean 4

Language:LeanLicense:Apache-2.0Stargazers:163Issues:8Issues:59

zerostash

Zero-metadata file storage

Language:RustLicense:GPL-3.0Stargazers:151Issues:5Issues:13

quote4

Intuitive, type-safe expression quotations for Lean 4.

Language:LeanLicense:Apache-2.0Stargazers:70Issues:6Issues:20

python-monorepo

Attempts at a Python monorepo

Language:PythonStargazers:49Issues:4Issues:2

duper

Language:LeanLicense:Apache-2.0Stargazers:46Issues:11Issues:4

lean-chat-vscode

Language:TypeScriptStargazers:25Issues:5Issues:7

hardest

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

Language:PythonLicense:NOASSERTIONStargazers:18Issues:3Issues:0

proof-pile

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

Language:Jupyter NotebookStargazers:16Issues:2Issues:0

seaborg

A chess engine, built from scratch in Rust

Language:RustStargazers:4Issues:0Issues:0

Grantle

Language:PythonStargazers:3Issues:0Issues:0

npm-widget

Language:LeanStargazers:3Issues:3Issues:1

chatgpt-lean4-plugin

Language:PythonLicense:MITStargazers:2Issues:0Issues:0

captioner

Web app for collecting image captions.

Language:PythonStargazers:2Issues:0Issues:0

warp

Jumping through your filesystem at warp speed.

Language:CLicense:MITStargazers:1Issues:0Issues:0