JuliaReach/LazySets.jl

Scalable Symbolic-Numeric Set Computations

Juliacalculusgeometryjuliacomputational-geometryconvex-hulllazy-evaluationpolygonsprojectionsformal-verificationpolyhedrasetsminkowski-sumreachability-analysisconvex-setsgeometry-algorithmszonotopeset-propagation
This is stars and forks stats for /JuliaReach/LazySets.jl repository. As of 02 May, 2024 this repository has 215 stars and 31 forks.

LazySets.jl Scalable Symbolic-Numeric Set Computations Introduction & Documentation Status Community Version-specific Citation License ❓ Introduction The following article showcases the basic functionality, highlighting some of the key design choices: Forets, Marcelo, and Christian Schilling. LazySets.jl: Scalable Symbolic-Numeric Set Computations. Proceedings of the JuliaCon Conferences (2021). See below for how to cite it. 🎯 Resources Manual Release notes of the development version Release...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
lassepe/DifferentiableTrajectoryOptimization.jlJulia43020
IsaacRudich/BipartiteMatching.jlJulia19010
SciML/Optimization.jlJulia5700660
SciML/Integrals.jlJulia1740230
JuliaML/MLUtils.jlJulia940200
aenarete/KiteSimulators.jlJuliaBatchfileShell11010
KristofferC/OhMyREPL.jlJulia7000540
multiprocessio/datastationTypeScriptGoJavaScript2.8k01070
SciML/SciMLDocsJulia490310
JuliaNLSolvers/Optim.jlJuliaTeXMakefile1k+2211+2