Explore projects

S

alg / Student Guides

Some guides for students, e.g., for using the workstations.

1

Updated Oct 29, 2024

1 0 0 0

Updated Oct 29, 2024
N

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

0

Updated Sep 02, 2024

0 0 0 0

Updated Sep 02, 2024
hip / hip-generators
MIT License

1

Updated May 22, 2024

1 0 0 0

Updated May 22, 2024
S

alg / Simplex Benchmarks
GNU General Public License v3.0 or later

0

Updated Apr 18, 2024

0 0 0 0

Updated Apr 18, 2024
O

Verlässliche Systemsoftware / projects / osv-apps

0

Updated Feb 16, 2024

0 0 0 0

Updated Feb 16, 2024
A

alglab / algorithms-lab-ws2324

1

Updated Jan 14, 2024

1 7 1 0

Updated Jan 14, 2024
C

alg / CGSHOP 2023 pyutils

Initial repo for the utilities for CG:SHOP 23. Now on GitHub.

0

Updated Oct 26, 2022

0 0 0 0

Updated Oct 26, 2022
Z

Kai Bleeke / zotero-import

0

Updated Jan 11, 2022

0 0 0 0

Updated Jan 11, 2022
R

Jan Drescher / rustcrypto-hashes-sgx

0

Updated Sep 27, 2021

0 0 0 0

Updated Sep 27, 2021
R

Jan Drescher / rustcrypto-traits-sgx

0

Updated Sep 27, 2021

0 0 0 0

Updated Sep 27, 2021
O

Markus Becker / once_cell-sgx
Apache License 2.0

0

Updated Jun 15, 2021

0 0 0 0

Updated Jun 15, 2021
S

Markus Becker / sgx-world
Apache License 2.0

1

Updated May 03, 2021

1 0 0 0

Updated May 03, 2021
N

Markus Becker / num-traits-sgx
Apache License 2.0

0

Updated Apr 30, 2021

0 0 0 0

Updated Apr 30, 2021
B

Markus Becker / byteorder-sgx
The Unlicense

0

Updated Apr 29, 2021

0 0 0 0

Updated Apr 29, 2021
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
I

alg / ivarp
MIT License

Interval Arithmetic Prover Framework.

0

Updated Nov 18, 2020

0 0 0 6

Updated Nov 18, 2020
2

cm-papers / 2017-senseapp

0

Updated Oct 13, 2020

0 0 0 0

Updated Oct 13, 2020
E

Tim Schubert / Evaluation tools for Satellite Swarm Communication Protocols

0

Updated Sep 22, 2020

0 0 0 0

Updated Sep 22, 2020
M

Frank Steinberg / MakerVsVirus-GPX

0

Updated Apr 21, 2020

0 0 0 0

Updated Apr 21, 2020
C

alg / cgshop2020_pyutils
MIT License

Python Utils for the SoCG 2020 CGSHOP Competition. It provides simple reading/writing tools for instances and solutions as well as checker. This library is also used internally by us in the server.

0

Updated Jan 20, 2020

0 0 0 0

Updated Jan 20, 2020