Explore projects
-
-
sdram20 / MCsimCoq
MIT LicenseUpdated -
-
sdram20 / coqdram
Apache License 2.0Updated -
Updated
-
Updated
-
Example of Verilog/SystemVerilog + SystemC TB simulation using Verilator
Updated -
Xuecan Yang / darknet_mnist
MIT LicenseUpdated -
Updated
-
-
-
Renaud Pacalet / ci4teaching
CeCILL Free Software License Agreement v2.1A toy example project showing how GitLab CI can be used for teaching
Updated -
Updated
-
ring / Geometric_Mean_Denoising
CeCILL Free Software License Agreement v2.0Matlab implementation associated with the article "On the use and denoising of the temporal geometric mean for SAR time series", submitted to IEEE Geoscience and Remote sensing Letters by N.Gasnier, L.Denis and F.Tupin.
Updated -
Renaud Pacalet / mli
CeCILL Free Software License Agreement v2.1Yet another Makefile for LaTeX
Updated -
Renaud Pacalet / secbus
CeCILL Free Software License Agreement v2.1A hardware / software architecture protecting the external memories of an SoC
Updated