Pinned Repositories
taylor1plus
Zonotope abstract domain
DynamicFixed
A Dynamic Fixed-point Arithmetic Library in C/C++
bibekkabi
Config files for my GitHub profile.
Continuous_time_system_analyzer
A prototype analyzer, written in OCaml connected to APRON Abstract Domain Library for finding positive invariant of continuous time systems
https-github.com-bibekkabi-Plotting_zonotopes
Prototype_analyzerwithApron
A prototype analyzer, written in OCaml connected to APRON Abstract Domain Library
TaylorModels.jl
Rigorous function approximation using Taylor models in Julia
bibekkabi's Repositories
bibekkabi/bibekkabi
Config files for my GitHub profile.
bibekkabi/Prototype_analyzerwithApron
A prototype analyzer, written in OCaml connected to APRON Abstract Domain Library
bibekkabi/https-github.com-bibekkabi-Plotting_zonotopes
bibekkabi/Continuous_time_system_analyzer
A prototype analyzer, written in OCaml connected to APRON Abstract Domain Library for finding positive invariant of continuous time systems
bibekkabi/TaylorModels.jl
Rigorous function approximation using Taylor models in Julia
bibekkabi/taylor1plus
Zonotope abstract domain
bibekkabi/DynamicFixed
A Dynamic Fixed-point Arithmetic Library in C/C++