Explore projects
-
Updated
-
coccinelle / coccinelle
GNU General Public License v2.0 or laterCoccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
Updated -
Sanskrit linguistic resources under the Sanskrit Heritage Platform format
Updated -
gismo / gismo
Mozilla Public License 2.0UpdatedUpdated -
Why3 / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Updated
-
-
Scripts to facilitate connectivity tests during an online test event.
Updated -
Updated
-
Mike Rye / Hugo Theme Niria
MIT LicenseA very simple Hugo theme for generating wikis and documentation websites.
Updated -
Updated
-
dtk / dtk-core
BSD 3-Clause "New" or "Revised" LicensedtkCore provides fundamental tools to build modular platform.
Updated -
compose / legacystack / fmr
CeCILL-C Free Software License AgreementFast Methods for Randomized numerical linear algebra. Provides a set of tools to perform Randomized NLA computations in a fast and efficient way, e.g., using fast multipole matrix multiplication, along with various application-dependent addons.
Updated -
solverstack / Chameleon
OtherDense linear algebra subroutines for heterogeneous and distributed architectures
Updated -
FLoRaSat (Framework for LoRa-based Satellite networks) is an Omnet++ based discrete-event simulator to carry out end-to-end satellite IoT simulations based on LoRa and LoRaWAN adaptations to the space domain.
Updated -
simgrid / simgrid
GNU Lesser General Public License v2.1 onlySimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.
Updated -
vidjil / vidjil
GNU General Public License v3.0 onlyAn open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
Updated -
-
Geomerix / public / mfs-chol
GNU General Public License v3.0 or laterUpdated