Explore projects
-
Adrien Prost-Boucle / hwopt-generic
European Union Public License 1.2Optimized hardware components with relatively target-independent implementations
Updated -
CertiCompil / chamois-test
GNU General Public License v2.0 or laterUpdated -
-
extrem-gs / school-num
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
verimag / synchrone / rdbg
CeCILL Free Software License Agreement v2.1RDBG stands for Reactive programs DeBuGger.
Its a programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages).
Updated -
verimag / synchrone / lutin
CeCILL Free Software License Agreement v2.1Updated -
verimag / synchrone / lutils
CeCILL Free Software License Agreement v2.1Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).
Updated -
Albanne Lecointre / resolve
GNU General Public License v3.0 or laterUpdated -
Updated
-
maplurinum-anr / riscvbarelib
Apache License 2.0Updated -
maplurinum-anr / SST Elements
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Nathanael Chauvin / Nanvix_Scheduler
GNU General Public License v3.0 onlyUpdated -
Adrien Prost-Boucle / zynq-foss
European Union Public License 1.2Embedded FPGA bitstream generation for Zynq-7000 boards
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 -
Updated
-
MecaIceIGE / Tools / Ice Polycrystal Models / R³iCe
GNU General Public License v3.0 or laterUpdated -
Albanne Lecointre / doublets
GNU General Public License v3.0 or laterFortran + Python tools to preprocess data, organize input dataset, compute correlations, measure doublets, and invert.
Updated
