Pinned Repositories
acsl-ext
Tiny example of direct access to FramaC modules as a library
aelf-flutter
Mirror of https://gitlab.com/nathanael2/aelf-flutter - French catholic Bible AELF app written in flutter - French
alt-ergo
OCamlPro public development repository for Alt-Ergo
Autoencoder-Neural-Networks-for-LPV-Embedding-of-Nonlinear-Systems
CoCoSim
Automated Analysis Framework for Simulink/Stateflow models.
cvxopt
CVXOPT -- Python Software for Convex Optimization
enac-beamer-theme
Beamer theme using Enac official graphic charter
iqcToolbox
Model, manipulate, and analyze uncertain and nonlinear systems via integral quadratic constraints
llm.c
LLM training in simple, raw C/CUDA
wp-local-tactic
enable the specification of tactics to be used for a given ACSL block specification
ploc's Repositories
ploc/wp-local-tactic
enable the specification of tactics to be used for a given ACSL block specification
ploc/acsl-ext
Tiny example of direct access to FramaC modules as a library
ploc/aelf-flutter
Mirror of https://gitlab.com/nathanael2/aelf-flutter - French catholic Bible AELF app written in flutter - French
ploc/alt-ergo
OCamlPro public development repository for Alt-Ergo
ploc/Autoencoder-Neural-Networks-for-LPV-Embedding-of-Nonlinear-Systems
ploc/CoCoSim
Automated Analysis Framework for Simulink/Stateflow models.
ploc/cvxopt
CVXOPT -- Python Software for Convex Optimization
ploc/enac-beamer-theme
Beamer theme using Enac official graphic charter
ploc/iqcToolbox
Model, manipulate, and analyze uncertain and nonlinear systems via integral quadratic constraints
ploc/llm.c
LLM training in simple, raw C/CUDA
ploc/LocalCopy
LocalCopy is a plugin that extends the popular reference manager JabRef. It provides an automatic download feature for preprints from the arXiv and journals that are linked using the DOI-system or that specify an URL link.
ploc/ocamlgraph
OCaml graph library
ploc/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
ploc/paparazzi
Paparazzi is a free and open-source hardware and software project for unmanned (air) vehicles. This is the main software repository.
ploc/POPIX
ploc/Stability-Analysis-using-Quadratic-Constraints-for-Systems-with-Neural-Network-Controllers
ploc/stateflow_CPS_semantics
A continuation passing style semantics for Stateflow in Ocaml
ploc/validsdp
A Coq tactic for proving multivariate inequalities using SDP solvers
ploc/verif-iqc
ploc/webpage