-
-
Autoencoder-Neural-Networks-for-LPV-Embedding-of-Nonlinear-Systems Public
Forked from AraSadz/Autoencoder-Neural-Networks-for-LPV-Embedding-of-Nonlinear-SystemsJupyter Notebook UpdatedMay 6, 2024 -
llm.c Public
Forked from karpathy/llm.cLLM training in simple, raw C/CUDA
Cuda MIT License UpdatedMay 6, 2024 -
aelf-flutter Public
Forked from nathanael-h/aelf-flutterMirror of https://gitlab.com/nathanael2/aelf-flutter - French catholic Bible AELF app written in flutter - French
Dart GNU Affero General Public License v3.0 UpdatedDec 9, 2023 -
-
-
-
alt-ergo Public
Forked from proux01/alt-ergoOCamlPro public development repository for Alt-Ergo
OCaml Other UpdatedOct 14, 2022 -
validsdp Public
Forked from validsdp/validsdpA Coq tactic for proving multivariate inequalities using SDP solvers
Coq GNU Lesser General Public License v2.1 UpdatedSep 22, 2022 -
iqcToolbox Public
Forked from iqcToolbox/iqcToolboxModel, manipulate, and analyze uncertain and nonlinear systems via integral quadratic constraints
MATLAB GNU General Public License v2.0 UpdatedApr 19, 2022 -
opam-repository Public
Forked from proux01/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedFeb 10, 2022 -
CoCoSim Public
Forked from NASA-SW-VnV/CoCoSimAutomated Analysis Framework for Simulink/Stateflow models.
MATLAB Other UpdatedMay 26, 2021 -
Stability-Analysis-using-Quadratic-Constraints-for-Systems-with-Neural-Network-Controllers Public
Forked from heyinUCB/Stability-Analysis-using-Quadratic-Constraints-for-Systems-with-Neural-Network-ControllersMATLAB MIT License UpdatedJan 15, 2021 -
enac-beamer-theme Public
Forked from cyril-allignol/enac-beamer-themeBeamer theme using Enac official graphic charter
TeX UpdatedFeb 22, 2018 -
stateflow_CPS_semantics Public
A continuation passing style semantics for Stateflow in Ocaml
-
acsl-ext Public
Tiny example of direct access to FramaC modules as a library
Makefile UpdatedOct 19, 2015 -
paparazzi Public
Forked from paparazzi/paparazziPaparazzi is a free and open-source hardware and software project for unmanned (air) vehicles. This is the main software repository.
C GNU General Public License v2.0 UpdatedOct 1, 2014 -
cvxopt Public
Forked from cvxopt/cvxoptCVXOPT -- Python Software for Convex Optimization
C Other UpdatedAug 1, 2014 -
ocamlgraph Public
Forked from backtracking/ocamlgraphOCaml graph library
OCaml Other UpdatedJan 15, 2014 -
wp-local-tactic Public
enable the specification of tactics to be used for a given ACSL block specification
-
LocalCopy Public
Forked from lehner/LocalCopyLocalCopy 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 …
Java UpdatedJan 24, 2012
{{ message }}