jasonrute/Neural-Network jasonrute/Neural-Network

  • Stars
    star
    4
  • Rank 3,287,795 (Top 66 %)
  • Language
    Python
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jasonrute/Neural-Network
github

jasonrute

Reviews

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

Repository Details

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

More Repositories

1

puzzle_cube

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

modulize

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

thoughts-on-ai-for-theorem-proving

25
star
4

lean_proof_recording

Proof recording for Lean 3
Python
24
star
5

csb_neural_network

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

holist-communication-example

Example communicating with HOList
Python
8
star
7

communicating-with-lean

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

lean-proof-recording-public-old

Recording of tactic proofs in Lean 3 for machine learning
Python
6
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