Mykel Kochenderfer's starred repositories
BeautifulAlgorithms.jl
Concise and beautiful algorithms written in Julia
TimerOutputs.jl
Formatted output of timed sections in Julia
Debugger.jl
Julia debugger
tufte_algorithms_book
A template for textbooks in the same style as Algorithms for Optimization
PGFPlotsX.jl
Plots in Julia using the PGFPlots LaTeX package
LazySets.jl
Scalable symbolic-numeric set computations in Julia
NeuralVerification.jl
Methods to soundly verify deep neural networks
BayesNets.jl
Bayesian Networks for Julia
PGFPlots.jl
This library uses the LaTeX package pgfplots to produce plots.
TikzGraphs.jl
This library generates graph layouts using the TikZ graph layout package.
MultiAgentAllocationTransit.jl
Efficient Large-Scale Multi-Drone Delivery Using Transit Networks
GaussianFilters.jl
Julia Package for discrete-time linear Gaussian parametric filtering systems, namely KF, EKF, UKF, GM-PHD
AdaptiveStressTestingToolbox
A toolbox for worst-case validation of autonomous policies
Satisfiability.jl
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
GrammaticalEvolution
Grammatical Evolution package for Julia.
Gradescope.jl
Julia interface for Gradescope autograding
GridDensities.jl
Define piecewise uniform densities over hypergrids