-
Satisfiability.jl Public
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
-
-
www.julialang.org Public
Forked from JuliaLang/www.julialang.orgJulia Project website
Julia Other UpdatedApr 8, 2025 timecrunch Public
timecrunch web app for course schedule visualization
ken_griffin_timer Public
A timer that counts up how much money Ken Griffin, the CEO of Citadel, makes every second
ExprRules.jl Public
Forked from sisl/ExprRules.jlFunctions for declaring and working with grammars and expression trees in Julia.
Julia Other UpdatedFeb 16, 2024 CQR_Quantitative_NPM Public
Forked from ailab-units/CQR_Quantitative_NPMForked code of paper "Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes" by Cairoli, Paoletti and Bortolussi.
Python UpdatedJan 17, 2024 Trajectron-plus-plus Public
Forked from StanfordASL/Trajectron-plus-plusFork of code accompanying the ECCV 2020 paper "Trajectron++: Dynamically-Feasible Trajectory Forecasting With Heterogeneous Data" by Tim Salzmann*, Boris Ivanovic*, Punarjay Chakravarty, and Marco …
Jupyter Notebook MIT License UpdatedAug 17, 2023 smc-z3-julia Public
Satisfiability modulo convex optimization (Shoukry et al. 2018) implemented in Julia, plus a new Z3 interface
Jupyter Notebook UpdatedJul 29, 2023 AA228-project-winter-2023 Public
Course project on modeling driving in a roundabout as an MDP, applying reinforcement learning to solve the problem.
Jupyter Notebook UpdatedMar 19, 2023 AutomotiveSimulator.jl Public
Forked from sisl/AutomotiveSimulator.jlPackage for automotive simulation in Julia from SISL
Julia Other UpdatedAug 6, 2022 AutonomousCarMPC Public
Code for research project on MPC for autonomous driving
cqr Public
Forked from yromano/cqrFork of Conformalized Quantile Regression
Jupyter Notebook Other UpdatedApr 6, 2022 latex-ideas Public
Things I found in LaTeX rabbit holes.
TeX Creative Commons Zero v1.0 Universal UpdatedJun 15, 2020 StanfordAA222Project Public
AA222 final project on university course scheduling problem
MAE-136-158-159 Public
A digital conversion of Professor Liebeck's notes for MAE 136 and, eventually, MAE 158 and 159
TeX UpdatedMar 8, 2019 MAE-Purchase-Automation Public
Script tools to automate purchase management for UCI Engineering senior design / research teams.
JavaScript UpdatedJan 10, 2019
{{ message }}