Explore projects

R

Kai Bleeke / rustcpp

Rust C++ interop

0

Updated Mar 11, 2020

0 0 0 0

Updated Mar 11, 2020
R

cm-projects / RIOT
GNU Lesser General Public License v2.1 only

0

Updated Apr 03, 2020

0 0 0 0

Updated Apr 03, 2020
S

alg / square-in-circle-proofs
MIT License

Square-in-circle interval arithmetic proofs.

0

Updated Apr 17, 2020

0 0 0 0

Updated Apr 17, 2020
M

Frank Steinberg / MakerVsVirus-GPX

0

Updated Apr 21, 2020

0 0 0 0

Updated Apr 21, 2020
B

Frank Steinberg / BigBlueButton

0

Updated May 22, 2020

0 0 0 0

Updated May 22, 2020
N

Tim Schubert / ns-3 LEO Module
GNU General Public License v2.0 or later

0

Updated Sep 19, 2020

0 0 0 0

Updated Sep 19, 2020
E

Tim Schubert / Evaluation tools for Satellite Swarm Communication Protocols

0

Updated Sep 22, 2020

0 0 0 0

Updated Sep 22, 2020
2

cm-papers / 2017-sensys-ballisto

0

Updated Oct 13, 2020

0 0 0 0

Updated Oct 13, 2020
2

cm-papers / 2017-tosn-rpl

0

Updated Oct 13, 2020

0 0 0 0

Updated Oct 13, 2020
2

cm-papers / 2017-senseapp

0

Updated Oct 13, 2020

0 0 0 0

Updated Oct 13, 2020
2

cm-papers / 2016-secon-energy-measurements

0

Updated Oct 13, 2020

0 0 0 0

Updated Oct 13, 2020
2

cm-papers / 2016-rpl

0

Updated Oct 13, 2020

0 0 0 0

Updated Oct 13, 2020
2

cm-papers / 2016-mass-amphisbaena-eval

0

Updated Oct 13, 2020

0 0 0 0

Updated Oct 13, 2020
I

alg / ivarp
MIT License

Interval Arithmetic Prover Framework.

0

Updated Nov 18, 2020

0 0 0 6

Updated Nov 18, 2020
L

Markus Becker / lo-grumpy

Local Grumpy without Git Magic

1

Updated Dec 08, 2020

1 0 0 0

Updated Dec 08, 2020
L

Network Management / LibSMI
Other

A Library to Access SMI MIB Information

0

Updated Jan 15, 2021

0 0 0 0

Updated Jan 15, 2021
E

cm-projects / energy-storage-testcard

1

Updated Feb 01, 2021

1 0 0 0

Updated Feb 01, 2021
F

Markus Becker / Fortanix Crypto

Just a proof-of-concept project of having no_std crypto in a Fortanix enclave

1

Updated Mar 26, 2021

1 0 0 0

Updated Mar 26, 2021
M

Markus Becker / Multi C-Enclave-rs

Trying out multi-enclave systems in rust using bare-bones wrappers

1

Updated Mar 30, 2021

1 0 0 0

Updated Mar 30, 2021
B

Markus Becker / byteorder-sgx
The Unlicense

0

Updated Apr 29, 2021

0 0 0 0

Updated Apr 29, 2021