Michael Gilbert (@gilbertmike)
github

gilbertmike

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    20
  • Global Rank 640,821 (Top 23 %)
  • Followers 7
  • Following 1
  • Registered over 7 years ago
  • Most used languages
    Python
         20.0 %
    SystemVerilog     20.0 %
    C++
         20.0 %
    Rust
         20.0 %
    Scheme
         20.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 118,919
  • Country Ranking
    SystemVerilog     370
    Scheme
         434

Top repositories

1

symbolic-math-dataset

Python implementation of symbolic math dataset generation algorithm implemented in paper Deep Learning for Symbolic Mathematics.
Python
9
star
2

deep-learning-sym-math

TensorFlow implementation of the paper Deep Learning for Symbolic Mathematics
6
star
3

web-scheme

An implementation of Scheme for WebAssembly.
Scheme
2
star
4

programming-pearls

Workbook for reading "Programming Pearls" by Bentley.
C++
1
star
5

game_of_life

SystemVerilog
1
star
6

tsp-rust

Adventures in Travelling Salesperson in Rust. Inspired by a performance engineering lecture by Jon Bentley at MIT.
Rust
1
star