Explore projects
-
GALLEGO ARIAS Emilio Jesus / interval
CeCILL-C Free Software License AgreementCoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
Updated -
A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.
Updated -
In this project, we are developing a Genom component which has to play the same role as rotorcraft. But the difference is that rotorcraft component speaks with a special C code on the Flight-Ctrl whereas in this project, we talk with Mikrokopter code
Updated -
-
XFOR / xfor-clang
OtherVersion of the Clang compiler interface with the support for source files featuring the XFOR programming structure.
Updated -
Updated
-
A distributed multi-task learning system for neural networks. Including a clustering-based collaboration recommendation system.
Updated -
SILVA VASCONCELOS Miguel / Custom_Simgrid_3.27
GNU Lesser General Public License v2.1 onlyCopy of simgrid (www.simgrid.org) with code to consume energy while migrating a VM
Updated -
blare / hardblare / hardblare-yocto-qemu-xilinx-hardblare
GNU Lesser General Public License v2.1 onlyUpdated -
ROBIDOU Lucas / qtf
GNU Affero General Public License v3.0Query-Time Filtration source repository
Updated -
Updated
-
blare / hardblare / hardblare-kernel
GNU General Public License v2.0 or laterUpdated -
blare / hardblare / hardblare-binutils
GNU Library General Public License v2 onlyUpdated -
blare / hardblare / hardblare-musl-libc
MIT LicenseUpdated -
Why3 / WhyMP
GNU General Public License v3.0 or laterWhyMP is an arbitrary-precision integer library for C that is inspired by GMP, implemented in WhyML, and formally verified using Why3.
Updated -
-
VERGNET Fabien / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalA tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Updated -
TRUJILLO Leonardo / NK_hikes
GNU General Public License v3.0 onlyThis repository contains supporting data and codes for paper: Simulating short- and long-term evolutionary dynamics on rugged landscapes
Updated -
Updated