Explore projects
-
orka / orkadistro
Apache License 2.0Updated -
Provides downloads of publication material at the department of computer science 2 (programming systems)
Updated -
Provides PDFs of student thesis written at the department of computer science 2 (programming systems)
Updated -
Xilinx Software Driver for DMA over PCIe as used by the ORKA-HPC LLP backend. (https://www.xilinx.com/support/answers/65444.html)
Updated -
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
orka / Barvinok
OtherUpdated -
-
orka / tapasco
GNU General Public License v3.0 onlyUpdated -
orka / rose
BSD 3-Clause "New" or "Revised" LicenseUpdated -
orka / cil
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
Helper script for rebuilding, updating, and installing a ROSE development repository. Intended to ease tweaking of ROSE.
Updated