Data

Tools

Indexes

Applications

Experiments

Open Source Science

lazysets.jl

Scalable symbolic-numeric set computations in Julia

https://github.com/juliareach/lazysets.jl

Science Score: 77.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ✓
    DOI references
    Found 99 DOI reference(s) in README
  • ✓
    Academic publication links
    Links to: arxiv.org, sciencedirect.com, acm.org, zenodo.org
  • ✓
    Committers with academic emails
    5 of 30 committers (16.7%) from academic institutions
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (11.1%) to scientific vocabulary

Keywords

calculus computational-geometry convex-hull convex-sets formal-verification geometry geometry-algorithms julia lazy-evaluation minkowski-sum polygons polyhedra projections reachability-analysis set-propagation sets zonotope

Keywords from Contributors

fluxes pde graphics the-human-brain meshing automatic-differentiation julialang pinn interpretability standardization

Scientific Fields

Engineering Computer Science - 40% confidence
Last synced: 6 months ago · JSON representation ·

Repository

Scalable symbolic-numeric set computations in Julia

Basic Info
Statistics
  • Stars: 250
  • Watchers: 8
  • Forks: 37
  • Open Issues: 387
  • Releases: 155
Topics
calculus computational-geometry convex-hull convex-sets formal-verification geometry geometry-algorithms julia lazy-evaluation minkowski-sum polygons polyhedra projections reachability-analysis set-propagation sets zonotope
Created over 8 years ago · Last pushed 6 months ago
Metadata Files
Readme License Citation

README.md

LazySets.jl

Scalable Symbolic-Numeric Set Computations

| Introduction & Documentation | Status | Community | Version-Specific Citation | License | |:--------------------------------:|:----------:|:-------------:|:-----------------------------:|:-----------:| | DOI docs-dev | CI codecov PkgEval aqua dev-commits | zulip JuliaHub | DOI | 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

💾 Installing

LazySets.jl is a registered Julia package and as such you can install it by activating the pkg mode (type ], and to leave it, type <backspace>), followed by

julia pkg> add LazySets

See the Getting started section of the manual for other options.

📘 Publications

This library has been applied in a number of scientific works.

Click to see the full list of publications that use LazySets. The articles appear in reverse chronological order. [33] **Verified propagation of imprecise probabilities in non-linear ODEs.** Ander Gray, Marcelo Forets, Christian Schilling, Scott Ferson, and Luis Benet (2024). [International Journal of Approximate Reasoning](https://www.sciencedirect.com/journal/international-journal-of-approximate-reasoning), vol. 164. [doi: 10.1016/j.ijar.2023.109044](https://doi.org/10.1016/j.ijar.2023.109044). [32] **Safety verification of decision-tree policies in continuous time.** Christian Schilling, Anna Lukina, Emir Demirović, and Kim G. Larsen (2023). [37th Conference on Neural Information Processing Systems (NeurIPS)](https://neurips.cc/Conferences/2023). [pdf](https://openreview.net/pdf?id=tEKBU5XOTw). [31] **Shielded reinforcement learning for hybrid systems.** Asger H. Brorholt, Peter G. Jensen, Kim G. Larsen, Florian Lorber, and Christian Schilling (2023). [1st International Conference on Bridging the Gap between AI and Reality (AISoLA)](https://aisola.org/), LNCS, vol. 14380, pp. 33-54. [doi: 10.1007/978-3-031-46002-9_3](https://doi.org/10.1007/978-3-031-46002-9_3), [arXiv: 2308.14424](https://arxiv.org/abs/2308.14424). [30] **The inverse problem for neural networks.** Marcelo Forets and Christian Schilling (2023). [1st International Conference on Bridging the Gap between AI and Reality (AISoLA)](https://aisola.org/), LNCS, vol. 14380, pp. 241-255. [doi: 10.1007/978-3-031-46002-9_14](https://doi.org/10.1007/978-3-031-46002-9_14), [arXiv: 2308.14093](https://arxiv.org/abs/2308.14093). [29] **ARCH-COMP23 category report: Continuous and hybrid systems with linear continuous dynamics.** Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, and Daniel Zhuang (2023). 10th [International Workshop on Applied Verification of Continuous and Hybrid Systems](https://cps-vo.org/group/ARCH/) (ARCH23), vol 96, pp. 34-60. [doi: 10.29007/nl86](https://doi.org/10.29007/nl86). [28] **ARCH-COMP23 category report: Continuous and hybrid systems with nonlinear dynamics.** Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, and Daniel Zhuang (2023). 10th [International Workshop on Applied Verification of Continuous and Hybrid Systems](https://cps-vo.org/group/ARCH/) (ARCH23), vol 96, pp. 61-88. [doi: 10.29007/93f2](https://doi.org/10.29007/93f2). [27] **ARCH-COMP23 category report: Artificial intelligence and neural network control systems for continuous and hybrid systems plants.** Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner, and Christian Schilling (2023). 10th [International Workshop on Applied Verification of Continuous and Hybrid Systems](https://cps-vo.org/group/ARCH/) (ARCH23), vol 96, pp. 89-125. [doi: 10.29007/x38n](https://doi.org/10.29007/x38n). [26] **ARCH-COMP22 category report: Continuous and hybrid systems with linear continuous dynamics.** Matthias Althoff, Marcelo Forets, Christian Schilling, and Mark Wetzlinger (2022). 9th [International Workshop on Applied Verification of Continuous and Hybrid Systems](https://cps-vo.org/group/ARCH/) (ARCH22), vol 90, pp. 58-85. [doi: 10.29007/mmzc](https://doi.org/10.29007/mmzc). [25] **ARCH-COMP22 category report: Continuous and hybrid systems with nonlinear dynamics.** Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, and Mark Wetzlinger (2022). 9th [International Workshop on Applied Verification of Continuous and Hybrid Systems](https://cps-vo.org/group/ARCH/) (ARCH22), vol 90, pp. 86-112. [doi: 10.29007/fnzc](https://doi.org/10.29007/fnzc). [24] **ARCH-COMP22 category report: Artificial intelligence and neural network control systems for continuous and hybrid systems plants.** Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, and Qi Zhu (2022). 9th [International Workshop on Applied Verification of Continuous and Hybrid Systems](https://cps-vo.org/group/ARCH/) (ARCH22), vol 90, pp. 142-184. [doi: 10.29007/wfgr](https://doi.org/10.29007/wfgr). [23] **Synthesis of parametric hybrid automata from time series.** Miriam García Soto, Thomas A. Henzinger, and Christian Schilling (2022). Proceedings of the [20th International Symposium on Automated Technology for Verification and Analysis](https://atva-conference.org/2022/), LNCS, vol. 13505, pp. 337-353. [doi: 10.1007/978-3-031-19992-9_22](https://doi.org/10.1007/978-3-031-19992-9_22), [arXiv: 2208.06383](https://arxiv.org/abs/2208.06383). [22] **Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version).** Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, and Christian Schilling (2022). [Information and Computation](https://www.sciencedirect.com/journal/information-and-computation), vol. 289. [doi: 10.1016/j.ic.2022.104937](https://doi.org/10.1016/j.ic.2022.104937). [21] **Conservative Time Discretization: A Comparative Study.** Marcelo Forets and Christian Schilling (2022). Proceedings of the [17th International Conference on integrated Formal Methods (iFM)](https://ifm22.si.usi.ch/), LNCS, vol. 13274, pp. 149-167. [doi: 10.1007/978-3-031-07727-2_9](https://doi.org/10.1007/978-3-031-07727-2_9), [arXiv: 2111.01454](https://arxiv.org/abs/2111.01454). [20] **Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes.** Christian Schilling, Marcelo Forets, and Sebastián Guadalupe (2022). Proceedings of the [36th Conference on Artificial Intelligence (AAAI)](https://aaai.org/Conferences/AAAI-22/). [doi: 10.1609/aaai.v36i7.20790](https://doi.org/10.1609/aaai.v36i7.20790). [19] **Combining Set Propagation with Finite Element Methods for Time Integration in Transient Solid Mechanics Problems.** Marcelo Forets, Daniel Freire Caporale, and Jorge M. Pérez Zerpa (2022). [Computers & Structures](https://www.sciencedirect.com/journal/computers-and-structures), vol 259. [doi: 10.1016/j.compstruc.2021.106699](https://doi.org/10.1016/j.compstruc.2021.106699), [arXiv: 2105.05841](https://arxiv.org/abs/2105.05841). [18] **LazySets.jl: Scalable Symbolic-Numeric Set Computations.** Marcelo Forets and Christian Schilling (2021). [Proceedings of the JuliaCon Conferences](https://proceedings.juliacon.org/). [doi: 10.21105/jcon.00097](https://doi.org/10.21105/jcon.00097). [17] **Reachability of weakly nonlinear systems using Carleman linearization.** Marcelo Forets and Christian Schilling (2021). Proceedings of the [15th International Conference on Reachability Problems (RP)](https://rp2021.csc.liv.ac.uk/), LNCS, vol. 13035, pp. 85-99. [doi: 10.1007/978-3-030-89716-1_6](https://doi.org/10.1007/978-3-030-89716-1_6), [arXiv: 2108.10390](https://arxiv.org/abs/2108.10390). [16] **Combined Exact and Heuristics Based Approach to Hamiltonian Path Problem Optimization for Route Planning.** Fernando Hernandez, Rafael Sotelo, and Marcelo Forets (2021). Technical Proceedings of the [2021 Amazon Last Mile Routing Research Challenge](https://hdl.handle.net/1721.1/131235). [15] **ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.** Matthias Althoff, Erika Abraham, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, and Mark Wetzlinger (2021). 8th [International Workshop on Applied Verification of Continuous and Hybrid Systems](https://cps-vo.org/group/ARCH/) (ARCH21), vol 80, pp. 1-31. [doi: 10.29007/lhbw](https://doi.org/10.29007/lhbw). [14] **ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.** Luca Geretti, Julien Alexandre dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, and Mark Wetzlinger (2021). 8th [International Workshop on Applied Verification of Continuous and Hybrid Systems](https://cps-vo.org/group/ARCH/) (ARCH21), vol 80, pp. 32-54. [doi: 10.29007/2jw8](https://doi.org/10.29007/2jw8). [13] **ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Controlled Systems for Continuous and Hybrid Systems Plants.** Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Christian Schilling, Radoslav Ivanov, Taylor Carpenter, James Weimer, and Insup Lee (2021). 8th [International Workshop on Applied Verification of Continuous and Hybrid Systems](https://cps-vo.org/group/ARCH/) (ARCH21), vol 80, pp. 90-119. [doi: 10.29007/kfk9](https://doi.org/10.29007/kfk9). [12] **Synthesis of hybrid automata with affine dynamics from time-series data.** Miriam García Soto, Thomas A. Henzinger, and Christian Schilling (2021). [24th International Conference on Hybrid Systems: Computation and Control (HSCC)](https://hscc.acm.org/2021/). [doi: 10.1145/3447928.3456704](https://doi.org/10.1145/3447928.3456704), [arXiv: 2102.12734](https://arxiv.org/abs/2102.12734). [11] **Algorithms for verifying deep neural networks.** Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher A. Strong, Clark W. Barrett, and Mykel J. Kochenderfer (2021). [Foundations and Trends in Optimization](https://www.nowpublishers.com/OPT), vol 4, pp. 244-404. [doi: 10.1561/2400000035](https://doi.org/10.1561/2400000035), [arXiv: 1903.06758](https://arxiv.org/abs/1903.06758). [10] **Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions.** Marcelo Forets, Daniel Freire, and Christian Schilling (2020). Proceedings of the [18th International Conference on Formal Methods and Models for System Design (MEMOCODE)](https://iitjammu.ac.in/conferences/memocode2020/), pp. 137-142. [doi: 10.1109/MEMOCODE51338.2020.9314994](https://doi.org/10.1109/MEMOCODE51338.2020.9314994), [arXiv: 2006.12325](https://arxiv.org/abs/2006.12325). [9] **ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.** Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Daniel Freire, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, and Mark Wetzlinger (2020). 7th [International Workshop on Applied Verification of Continuous and Hybrid Systems](https://cps-vo.org/group/ARCH/) (ARCH20), vol 74, pp. 16-48. [doi: 10.29007/7dt2](https://doi.org/10.29007/7dt2). [8] **ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.** Luca Geretti, Julien Alexandre dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, and Christian Schilling (2020). 7th [International Workshop on Applied Verification of Continuous and Hybrid Systems](https://cps-vo.org/group/ARCH/) (ARCH20), vol 74, pp. 49-75. [doi: 10.29007/zkf6](https://doi.org/10.29007/zkf6). [7] **Case Study: Reachability Analysis of a unified Combat-Command-and-Control Model.** Sergiy Bogomolov, Marcelo Forets, and Kostiantyn Potomkin (2020). Proceedings of the [14th International Conference on Reachability Problems (RP)](https://www.irif.fr/~rp2020/), LNCS, vol 12448, pp. 52-66. [doi: 10.1007/978-3-030-61739-4_4](https://doi.org/10.1007/978-3-030-61739-4_4). [6] **Reachability analysis of linear hybrid systems via block decomposition.** Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling (2020). IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, pp. 4018-4029. Presented at [Embedded Systems Week](https://esweek.org/) 2020. [doi: 10.1109/TCAD.2020.3012859](https://doi.org/10.1109/TCAD.2020.3012859), [arXiv: 1905.02458](https://arxiv.org/abs/1905.02458). [5] **ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.** Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, and Stefan Schupp (2019). 6th [International Workshop on Applied Verification of Continuous and Hybrid Systems](https://cps-vo.org/group/ARCH/) (ARCH19), vol 61, pp. 14-40. [doi: 10.29007/bj1w](https://doi.org/10.29007/bj1w). [4] **ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.** Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, and Christian Schilling (2019). 6th [International Workshop on Applied Verification of Continuous and Hybrid Systems](https://cps-vo.org/group/ARCH/) (ARCH19), vol 61, pp. 41-61. [doi: 10.29007/m75b](https://doi.org/10.29007/m75b). [3] **JuliaReach: a Toolbox for Set-Based Reachability.** Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling (2019). Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 39-44. [doi: 10.1145/3302504.3311804](https://doi.org/10.1145/3302504.3311804), [arXiv: 1901.10736](https://arxiv.org/abs/1901.10736). [2] **ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.** Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, and Stefan Schupp (2018). 5th [International Workshop on Applied Verification of Continuous and Hybrid Systems](https://cps-vo.org/group/ARCH/) (ARCH18), vol 54, pp. 23–52. [doi: 10.29007/73mb](https://doi.org/10.29007/73mb). [1] **Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices.** Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski, and Christian Schilling (2018). Proceedings of the [21st International Conference on Hybrid Systems: Computation and Control (HSCC)](https://www.hscc2018.deib.polimi.it/), pp. 41–50. [doi: 10.1145/3178126.3178128](https://doi.org/10.1145/3178126.3178128), [arXiv: 1801.09526](https://arxiv.org/abs/1801.09526).

🗺 Ecosystem

Several projects in the Julia technical computing stack use this library.

Click to see the full list of Julia packages that use LazySets. - [ConvexBodyProximityQueries.jl](https://github.com/arlk/ConvexBodyProximityQueries.jl) -- Proximity computation between convex bodies in 2D/3D. - [ClosedLoopReachability.jl](https://github.com/JuliaReach/ClosedLoopReachability.jl) -- Reachability analysis for closed-loop control systems. - [HySynthParametric](https://github.com/HySynth/HySynthParametric) -- Synthesis of parametric linear hybrid automata. - [IntervalLinearAlgebra.jl](https://github.com/JuliaIntervals/IntervalLinearAlgebra.jl) -- Routines to perform numerical linear algebra using interval arithmetic. - [InvariantSets.jl](https://github.com/ueliwechsler/InvariantSets.jl) -- Compute, approximate and display invariant sets. - [InvariantSetApproximation.jl](https://github.com/psace-uofa/InvariantSetApproximation.jl) -- Invariant sets of general discrete-time dynamical systems with controls and uncertainties using graph-based algorithms. - [NeuralVerification.jl](https://github.com/sisl/NeuralVerification.jl) -- Methods to verify deep neural networks. - [OpticSim.jl](https://github.com/microsoft/OpticSim.jl) -- Ray tracing for procedurally generated systems. - [Photometry.jl](https://github.com/JuliaAstro/Photometry.jl) -- Utilities for characterizing sources in astronomical images. - [ReachabilityAnalysis.jl](https://github.com/JuliaReach/ReachabilityAnalysis.jl) -- Methods to compute the sets of states reachable in dynamical systems. - [Swalbe.jl](https://github.com/Zitzeronion/Swalbe.jl) -- Simple Julia Lattice Boltzmann Solver for Thin Liquid Films and Droplets. - [TrajectoryGamesBase.jl](https://github.com/lassepe/TrajectoryGamesBase.jl) -- Interface to define trajectory games.

👨‍🏫 Workshop at JuliaCon 2021

Abstract We present [JuliaReach](https://github.com/JuliaReach), a Julia ecosystem to perform reachability analysis of dynamical systems. JuliaReach builds on sound scientific approaches and was, in two occasions (2018 and 2020) the winner of the annual friendly competition on Applied Verification for Continuous and Hybrid Systems ([ARCH-COMP](https://cps-vo.org/group/ARCH)). The workshop consists of three parts (respectively packages) in [JuliaReach](https://github.com/JuliaReach): our core package for set representations, our main package for reachability analysis, and a new package applying reachability analysis with potential use in domain of control, robotics and autonomous systems. In the first part we present [LazySets.jl](https://github.com/JuliaReach/LazySets.jl), which provides ways to symbolically represent sets of points as geometric shapes, with a special focus on convex sets and polyhedral approximations. [LazySets.jl](https://github.com/JuliaReach/LazySets.jl) provides methods to apply common set operations, convert between different set representations, and efficiently compute with sets in high dimensions. In the second part we present [ReachabilityAnalysis.jl](https://github.com/JuliaReach/ReachabilityAnalysis.jl), which provides tools to approximate the set of reachable states of systems with both continuous and mixed discrete-continuous dynamics, also known as hybrid systems. It implements conservative discretization and set-propagation techniques at the state-of-the-art. In the third part we present [NeuralNetworkAnalysis.jl](https://github.com/JuliaReach/NeuralNetworkAnalysis.jl), which is an application of [ReachabilityAnalysis.jl](https://github.com/JuliaReach/ReachabilityAnalysis.jl) to analyze dynamical systems that are controlled by neural networks. This package can be used to validate or invalidate specifications, for instance about the safety of such systems. Workshop materials are available here: https://github.com/JuliaReach/JuliaCon-2021-Workshop-Its-All-Set

JuliaCon 2021 video

📜 How to cite

If you use this package in your work, please cite it using the metadata here or below.

Click to see BibTeX entry. ``` @article{lazysets21, title = {{LazySets.jl: Scalable Symbolic-Numeric Set Computations}}, author = {Forets, Marcelo and Schilling, Christian}, journal = {Proceedings of the JuliaCon Conferences}, year = {2021}, publisher = {The Open Journal}, volume = {1}, number = {1}, pages = {11}, doi = {10.21105/jcon.00097} } ```

Owner

  • Name: JuliaReach
  • Login: JuliaReach
  • Kind: organization

Reachability Computations for Dynamical Systems in Julia

Citation (CITATION.bib) 

@article{lazysets21,
  title     = {{LazySets.jl: Scalable Symbolic-Numeric Set Computations}},
  author    = {Forets, Marcelo and Schilling, Christian},
  journal   = {Proceedings of the JuliaCon Conferences},
  year      = {2021},
  publisher = {The Open Journal},
  volume    = {1},
  number    = {1},
  pages     = {11},
  doi       = {10.21105/jcon.00097}
}

Committers

Last synced: 9 months ago

All Time
  • Total Commits: 4,715
  • Total Committers: 30
  • Avg Commits per committer: 157.167
  • Development Distribution Score (DDS): 0.353
Past Year
  • Commits: 624
  • Committers: 5
  • Avg Commits per committer: 124.8
  • Development Distribution Score (DDS): 0.05
Top Committers
Name Email Commits
schillic s****c@i****e 3,050
Marcelo Forets m****s@g****m 983
mforets m****a@u****r 414
Luca Ferranti 4****i 56
Sebastián Guadalupe 4****e 42
mforets m****s@i****r 31
Unknown k****n@g****m 29
Frederik Baymler Mathiesen f****k@b****m 19
mvanzulli m****i@f****y 9
github-actions[bot] 4****] 9
Prajwal f****g@p****e 9
Alessandro a****o@s****l 8
ueliwechsler w****i@s****h 7
dependabot[bot] 4****] 7
Mauricio Vanzulli 5****i 5
tomerarnon t****n 5
bgarate b****e@u****m 5
dfcaporale 5****e 4
CompatHelper Julia c****y@j****g 4
Ryan Birmingham b****m@r****s 3
nikos.kekatos n****s@g****m 3
Marcelo Forets m****o@p****e 3
lassepe l****s@m****g 2
Peng Yu y****k 2
Aadesha a****5@g****m 1
David Reguera b****k@g****m 1
Gustavo Goretkin g****n@g****m 1
Julia TagBot 5****t 1
Morten Piibeleht m****t@g****m 1
viryfrederic v****c 1
Committer Domains (Top 20 + Academic)
mailbox.org: 1 planting.space: 1 rbirm.us: 1 julialang.org: 1 urudata.com: 1 student.ethz.ch: 1 student.tudelft.nl: 1 proton.me: 1 fing.edu.uy: 1 baymler.com: 1 imag.fr: 1 univ-grenoble-alpes.fr: 1 informatik.uni-freiburg.de: 1

Issues and Pull Requests

Last synced: 6 months ago

All Time
  • Total issues: 115
  • Total pull requests: 1,023
  • Average time to close issues: almost 3 years
  • Average time to close pull requests: 24 days
  • Total issue authors: 16
  • Total pull request authors: 11
  • Average comments per issue: 2.05
  • Average comments per pull request: 0.17
  • Merged pull requests: 762
  • Bot issues: 0
  • Bot pull requests: 114
Past Year
  • Issues: 8
  • Pull requests: 489
  • Average time to close issues: about 1 month
  • Average time to close pull requests: 5 days
  • Issue authors: 5
  • Pull request authors: 6
  • Average comments per issue: 1.25
  • Average comments per pull request: 0.09
  • Merged pull requests: 326
  • Bot issues: 0
  • Bot pull requests: 52
View more stats
Top Authors
Issue Authors
  • schillic (64)
  • mforets (37)
  • Zinoex (3)
  • Xinyi-Yu (1)
  • lucaferranti (1)
  • castrong (1)
  • Wikunia (1)
  • spaette (1)
  • Wei-TianHao (1)
  • gzagatti (1)
  • danvinci (1)
  • ederag (1)
  • chelseas (1)
  • kpotomkin (1)
  • alecarraro (1)
Pull Request Authors
  • schillic (905)
  • github-actions[bot] (104)
  • alecarraro (25)
  • mforets (15)
  • dependabot[bot] (15)
  • crisiumnih (10)
  • Zinoex (5)
  • mossr (2)
  • lucaferranti (2)
  • yupbank (1)
  • spaette (1)
Top Labels
Issue Labels
performance :racehorse: (23) feature :heavy_plus_sign: (22) extension :arrow_up: (14) refactoring :wrench: (14) bug :bug: (11) good first issue :baby_chick: (10) meta :mag: (7) simplification :baby: (7) fix :face_with_head_bandage: (7) discussion :speaking_head: (7) external :outbox_tray: (6) documentation :book: (5) set operation (5) usability :computer_mouse: (5) benchmark :stopwatch: (2) plots :art: (2) set representation (2) conversion :arrows_counterclockwise: (2) intersection (1) wontfix :no_bell: (1) invalid :no_entry_sign: (1) breaking :x: (1) epic :crossed_swords: (1) non-convex (1)
Pull Request Labels
breaking :x: (19) dependencies (15) discussion :speaking_head: (9) invalid :no_entry_sign: (2)

Packages

  • Total packages: 1
  • Total downloads:
    • julia 102 total
  • Total dependent packages: 18
  • Total dependent repositories: 0
  • Total versions: 150
juliahub.com: LazySets

Scalable symbolic-numeric set computations in Julia

  • Versions: 150
  • Dependent Packages: 18
  • Dependent Repositories: 0
  • Downloads: 102 Total
Rankings
Stargazers count: 3.6%
Dependent packages count: 4.5%
Forks count: 4.6%
Average: 5.7%
Dependent repos count: 9.9%
Last synced: 6 months ago

Dependencies

.github/workflows/CompatHelper.yml actions
  • julia-actions/setup-julia latest composite
.github/workflows/TagBot.yml actions
  • JuliaRegistries/TagBot v1 composite
.github/workflows/ci.yml actions
  • actions/checkout v2 composite
  • codecov/codecov-action v2 composite
  • julia-actions/cache v1 composite
  • julia-actions/julia-buildpkg v1 composite
  • julia-actions/julia-processcoverage v1 composite
  • julia-actions/julia-runtest v1 composite
  • julia-actions/setup-julia v1 composite
.github/workflows/ci_PR.yml actions
  • actions/checkout v2 composite
  • codecov/codecov-action v2 composite
  • julia-actions/cache v1 composite
  • julia-actions/julia-buildpkg v1 composite
  • julia-actions/julia-processcoverage v1 composite
  • julia-actions/julia-runtest v1 composite
  • julia-actions/setup-julia v1 composite
.github/workflows/clean-gh-pages.yml actions
  • actions/checkout v2 composite
.github/workflows/docs.yml actions
  • actions/checkout v2 composite
  • julia-actions/setup-julia latest composite
.github/workflows/format.yml actions
  • actions/checkout v4 composite
  • peter-evans/create-pull-request v5 composite
.github/workflows/invalidations.yml actions
  • actions/checkout v4 composite
  • julia-actions/julia-buildpkg v1 composite
  • julia-actions/julia-invalidations v1 composite
  • julia-actions/setup-julia v1 composite