Explore projects
-
legi / soft / trokata / winsoft-main
MIT LicenseWindows Software - main files for package build - public repository
Updated -
CertiCompil / chamois-test
GNU General Public License v2.0 or laterUpdated -
Benjamin Bonneau / smonad
MIT LicenseUpdated -
Benjamin Bonneau / myrocqlib
MIT LicenseUpdated -
Updated
-
Michele Portolan / mast-opensource
GNU Lesser General Public License v2.1 onlyManager for SoC Test
Updated -
Wendi Ding / ood_robustness_eva
Apache License 2.0Updated -
Website master TMA (hosted at https://master-tma.gricad-pages.univ-grenoble-alpes.fr/)
Updated -
Repository for the course "Advanced Numerical Methods" of the TMA Master (Turbulence, Methods and Applications) at UGA. Website: https://master-tma.gricad-pages.univ-grenoble-alpes.fr/num-methods-turb
Updated -
Updated
-
Updated
-
Polytech / INFO / INFO3 / SE-TP / libopencm3
GNU General Public License v3.0 onlyUpdated -
legi / soft / trokata / klask
GNU General Public License v2.0 or laterOutil dédié à la cartographie du réseau local
Updated -
Updated
-
Adrien Prost-Boucle / hwopt-xilinx-7series
European Union Public License 1.2Optimized hardware components for Xilinx 7-Series FPGAs
Updated -
Babylab LPNC / ViCodePy
GNU General Public License v3.0 or laterUpdated -
legi / soft / trokata / ddt
GNU General Public License v2.0 or laterComputer Names and IP Address Management
Updated -
Updated
-
Updated
-
legi / soft / trokata / oberapk
GNU General Public License v2.0 or laterAutomated Debian packages download, modification and upload to a local Reprepro repository
Updated