elsoroka's Stars
JuliaMath/Combinatorics.jl
A combinatorics library for Julia
sisl/Spot.jl
Julia wrapper for the Spot LTL and automata manipulation library
satwikkansal/wtfpython
What the f*ck Python? 😱
carla-simulator/carla
Open-source simulator for autonomous driving research.
RylanSchaeffer/Stanford-LaTeX-Poster-Template
Stanford LaTeX poster template
JuliaPlots/StatsPlots.jl
Statistical plotting recipes for Plots.jl
NVlabs/trajdata
A unified interface to many trajectory forecasting datasets.
autonomousvision/sledge
SLEDGE: Synthesizing Simulation Environments for Driving Agents with Generative Models
openjournals/joss-reviews
Reviews for the Journal of Open Source Software
lrnv/Copulas.jl
A fully `Distributions.jl`-compliant copula package
openjournals/joss
The Journal of Open Source Software
sisl/ExprOptimization.jl
Algorithms for optimization of Julia expressions
sisl/ExprRules.jl
Functions for declaring and working with grammars and expression trees in Julia.
susmitjha/TeLEX
Temporal Logic Extractor
yromano/cqr
Conformalized Quantile Regression
SAIDS-Lab/Robust-Conformal-Prediction-for-STL-Runtime-Verification-under-Distribution-Shift
JuliaLang/julia
The Julia Programming Language
EnzymeAD/Enzyme.jl
Julia bindings for the Enzyme automatic differentiator
JuliaAI/MLJ.jl
A Julia machine learning framework
sisl/InterpretableValidation.jl
Sampling Functionality for LTL
sisl/SignalTemporalLogic.jl
Signal temporal logic (STL) formulas and robustness in Julia
ailab-units/CQR_Quantitative_NPM
Code of paper "Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes" accepted to HSCC23
BretFisher/jekyll-serve
Jekyll in a Docker Container For Easy SSG Development
xincoder/GRIP
chinasaokolo/csGraduateFellowships
A curated list of fellowships for graduate students in Computer Science and related fields.
TheInventorMan/arXiv-title-generator
A simple LSTM network to generate academic paper titles.
simonesilvetti/pcheck
ghuntley/noyaml
A silly emotional rant about the state of devops tooling/the infrastructure sector in 2018. #noyaml.com
JuliaPy/PythonCall.jl
Python and Julia in harmony.
ahumenberger/Z3.jl
Julia interface to Z3