Explore projects

View nixos-mmview project

Verlässliche Systemsoftware / projects / nixos-mmview
MIT License

0

Updated Sep 02, 2024

0 0 0 0

Updated Sep 02, 2024
View ivarp project

alg / ivarp
MIT License

Interval Arithmetic Prover Framework.

0

Updated Nov 18, 2020

0 0 0 6

Updated Nov 18, 2020
View MakerVsVirus-GPX project

Frank Steinberg / MakerVsVirus-GPX

0

Updated Apr 21, 2020

0 0 0 0

Updated Apr 21, 2020
View vanetza-willecke project

Fynn Schulze / vanetza-willecke
GNU Lesser General Public License v3.0 only

Open-source implementation of the ETSI C-ITS protocol stack

0

Updated Apr 08, 2025

0 0 0 0

Updated Apr 08, 2025
View 2017-senseapp project

cm-papers / 2017-senseapp

0

Updated Oct 13, 2020

0 0 0 0

Updated Oct 13, 2020
View tubslatex project

Tim Schubert / tubslatex

0

Updated Dec 12, 2019

0 0 0 0

Updated Dec 12, 2019
View zotero-import project

Kai Bleeke / zotero-import

0

Updated Jan 11, 2022

0 0 0 0

Updated Jan 11, 2022
View rustcrypto-traits-sgx project

Jan Drescher / rustcrypto-traits-sgx

0

Updated Sep 27, 2021

0 0 0 0

Updated Sep 27, 2021
View zrtp4j project

ZRTP / zrtp4j

0

Updated Nov 02, 2016

0 0

Updated Nov 02, 2016
View Evaluation tools for Satellite Swarm Communication Protocols project

Tim Schubert / Evaluation tools for Satellite Swarm Communication Protocols

0

Updated Sep 22, 2020

0 0 0 0

Updated Sep 22, 2020