Discover @elsoroka Open Source projects

Emiko Soroka (@elsoroka)

elsoroka

Stars
32
Global Rank 468,722 (Top 17 %)
Followers 12
Following 7
Registered about 9 years ago
Most used languages

Julia
25.0 %

Jupyter Notebook
25.0 %

Python
25.0 %

JavaScript
25.0 %
Location 🇺🇸 United States
Country Total Rank 109,783
Country Ranking

Julia
301

Satisfiability.jl

Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.

timecrunch

timecrunch web app for course schedule visualization

AutonomousCarMPC

Code for research project on MPC for autonomous driving

Jupyter Notebook

StanfordAA222Project

AA222 final project on university course scheduling problem