Discover @jasonrute Open Source projects

Jason Rute (@jasonrute)

jasonrute

Stars
215
Global Rank 115,804 (Top 5 %)
Followers 59
Registered about 9 years ago
Most used languages

Python
71.4 %

Lean 14.3 %

HTML
7.1 %

Jupyter Notebook
7.1 %
Location 🇺🇸 United States
Country Total Rank 28,595
Country Ranking

Lean 59

Python
6,089

puzzle_cube

Solving the Rubik's cube with deep reinforcement learning and Monte Carlo tree search

modulize

A Python decorator for converting a function into a module. It also includes tools for combining multiple Python files into one.

thoughts-on-ai-for-theorem-proving

lean_proof_recording

Proof recording for Lean 3

csb_neural_network

Training a neural network to compete in the Coder's Strike Back competition on CodinGame.com

holist-communication-example

Example communicating with HOList

communicating-with-lean

Prototype of back-and-forth tactic application in Lean through an external program.

Jupyter Notebook

lean-proof-recording-public-old

Recording of tactic proofs in Lean 3 for machine learning

Neural-Network

An implementation of a neural network in pure Python/NumPy. Useful for programming competitions.

puzzle_cube_code

Code submodule for the Rubik's cube project

lean_gym_prototype

A prototype version of a machine learning gym for the Lean 3 theorem prover

annotated_lean

Annotated lean files

CG-Tron-Simulator

A simulator for the Tron multiplayer competition on CodinGame.com

lean_data_structures

Purely functional data structures in Lean

lean_info_scrapper

Scrapes all info messages from all lean files (both system and mathlib)

codingame_arena

An arena for CodinGame games. (Currently works for only Wonder Women.)