jasonrute/modulize jasonrute/modulize

  • Stars
    star
    30
  • Rank 835,165 (Top 17 %)
  • Language
    Python
  • Created over 7 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jasonrute/modulize
github

jasonrute

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

puzzle_cube

Solving the Rubik's cube with deep reinforcement learning and Monte Carlo tree search
Python
90
star
2

thoughts-on-ai-for-theorem-proving

25
star
3

lean_proof_recording

Proof recording for Lean 3
Python
24
star
4

csb_neural_network

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

holist-communication-example

Example communicating with HOList
Python
8
star
6

communicating-with-lean

Prototype of back-and-forth tactic application in Lean through an external program.
Jupyter Notebook
7
star
7

lean-proof-recording-public-old

Recording of tactic proofs in Lean 3 for machine learning
Python
6
star
8

Neural-Network

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

puzzle_cube_code

Code submodule for the Rubik's cube project
Python
3
star
10

lean_gym_prototype

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

annotated_lean

Annotated lean files
HTML
2
star
12

CG-Tron-Simulator

A simulator for the Tron multiplayer competition on CodinGame.com
Python
1
star
13

lean_data_structures

Purely functional data structures in Lean
Lean
1
star
14

lean_info_scrapper

Scrapes all info messages from all lean files (both system and mathlib)
Python
1
star
15

codingame_arena

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