35 Packages since 2014
User Packages
-
BayesNets.jl158Bayesian Networks for Julia
-
NeuralVerification.jl153Methods to soundly verify deep neural networks
-
AutomotiveDrivingModels.jl52Driving simulation architecture for Julia
-
MultiAgentAllocationTransit.jl46Efficient Large-Scale Multi-Drone Delivery Using Transit Networks
-
ExprOptimization.jl35Algorithms for optimization of Julia expressions
-
GridInterpolations.jl32Multidimensional grid interpolation in arbitrary dimensions
-
AutoViz.jl26Provides visualization tools for AutomotiveDrivingModels. Built on Cairo
-
SatelliteDynamics.jl24SatelliteDynamics.jl is a satellite dynamics modeling package written for Julia.
-
PicoSAT.jl18Julia bindings to the SAT solver picosat
-
GaussianFilters.jl18Julia Package for discrete-time linear Gaussian parametric filtering systems, namely KF, EKF, UKF, GM-PHD
-
SCoBA.jl18Stochastic Conflict-Based Allocation
-
ExprRules.jl17Functions for declaring and working with grammars and expression trees in Julia.
-
D3Trees.jl15Flexible interactive visualization for large trees in Julia using D3.js
-
Discretizers.jl14A Julia package for data discretization and label maps
-
AutomotiveSimulator.jl12Package for automotive simulation in julia
-
AutonomousMerging.jl12Implementation of a highway merging scenario
-
Multilane.jl11Simulation and control of an autonomous car on a multilane highway in a (PO)MDP framework
-
Vec.jl92D and 3D vectors and their operations for Julia
-
AdaptiveStressTesting.jl9Adaptive Stress Testing of black box systems using Monte Carlo Tree Search
-
EmergencyBrakingSystem.jl7Autonomous emergency braking system for pedestrian avoidance
-
AdversarialDriving.jl7Adversarial driving simulator for testing safety validation algorithms
-
SatelliteTasking.jl6Satellite Satellite Tasking and Planning Tools and Analysis
-
SOFA.jl6Unofficial wrapper of the IAU SOFA C libraries for fundamental astronomy.
-
POMDPStressTesting.jl6Adaptive stress testing of black-box systems within POMDPs.jl
-
AutomotiveVisualization.jl6Visualize automotive simulation from AutomotiveSimulator.jl
-
Spot.jl5Julia wrapper for the Spot LTL and automata manipulation library
-
AA228Student.jl5Stanford University's AA228/CS238 student project workspace (Autumn 2019)
-
AutomotiveInteraction.jl5Driver modeling using the Interaction dataset
-
CrossEntropyMethod.jl4An implementation of the cross entropy method that works well for time series
-
GridDensities.jl3Define piecewise uniform densities over hypergrids
-
CUDD.jl3Wrapper for the CUDD library for decision diagrams
-
LocalFunctionApproximation.jl2Scalar-valued local function approximation across a real-valued vector space
-
Smile.jl2A Julia wrapper for the Smile C++ Structural Modeling, Inference, and Learning Engine for Bayesian & Influence Networks
-
FreudenthalTriangulation.jl0Freudenthal triangulation
-
FreudenthalTriangulations.jl0Freudenthal triangulation
View all packages