Giters
ethanlabelle

ethanlabelle

Geek Repo

5

followers

16

following

23

stars

Github PK Tool:Github PK Tool

ethanlabelle's repositories

Game-of-Life

Conway's Game of Life using python and pygame

Language:PythonStargazers:2Issues:0Issues:0

bruh

Battlecode 2023 Finalist Submission

Language:JavaLicense:AGPL-3.0Stargazers:1Issues:0Issues:0

clio

Language:C++License:ISCStargazers:0Issues:0Issues:0

compiler_tuner

Language:CStargazers:0Issues:0Issues:0

gptcli

REPL for interacting with openai API

Language:PythonStargazers:0Issues:0Issues:0

LeanDojo

Tool for data extraction and interacting with Lean programmatically.

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

ReProver

Retrieval-Augmented Theorem Provers for Lean

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

rippled

Decentralized cryptocurrency blockchain daemon implementing the XRP Ledger protocol in C++

Language:C++License:ISCStargazers:0Issues:0Issues:0

sorting_visualizer

Language:PythonStargazers:0Issues:0Issues:0

static_search

Language:CStargazers:0Issues:0Issues:0