ploc Goto Github PK

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

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.

ocamlgraph

OCaml graph library

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

paparazzi

Paparazzi is a free and open-source hardware and software project for unmanned (air) vehicles. This is the main software repository.

popix

stability-analysis-using-quadratic-constraints-for-systems-with-neural-network-controllers

stateflow_cps_semantics

A continuation passing style semantics for Stateflow in Ocaml

validsdp

A Coq tactic for proving multivariate inequalities using SDP solvers

verif-iqc

webpage

wp-local-tactic

enable the specification of tactics to be used for a given ACSL block specification