Explore projects
-
-
Updated
-
Updated
-
CertiCompil / CompCert-IntrinSec
GNU General Public License v2.0 or laterUpdated -
CertiCompil / CompCert-KVX
GNU Lesser General Public License v2.1 onlyA version of CompCert with
extra optimization a backend for the Kalray KVX coreUpdated -
-
Updated
-
Updated
-
Updated
-
Baptiste Jonglez / linux-kaunetem
GNU General Public License v2.0 or laterLinux kernel patched with KauNetEm support, a deterministic version of the NetEm emulation facility. Upstream: https://git.cs.kau.se/pub/kaunetem
Updated -
Updated
-
Sylvain Noiry / newlib
GNU Lesser General Public License v2.1 onlytemporary repo for riscv 128-bit newlib
Updated -
Updated
-
STM32 webserver using Berkeley Sockets (given example from STM32F7 package)
Updated -
STM32 project for STM32F779I-EVAL with library CycloneTCP to be able to use WebSockets
Updated -
STM32 project for STM32F779I-EVAL with the library Minnow wich allow us to use WebSockets [ABORTED]
Updated -
Updated