-
-
n_times_faster_than_c Public
Forked from tommyip/n_times_faster_than_cCode for blog post "{n} times faster than C, where n = 128"
Rust UpdatedJul 20, 2023 -
linux Public
Forked from Rust-for-Linux/linuxAdding support for the Rust language to the Linux kernel.
C Other UpdatedOct 19, 2022 -
-
-
klighd-vscode Public
Forked from kieler/klighd-vscodeTypeScript Eclipse Public License 2.0 UpdatedMay 5, 2022 -
-
LatexDockerImage Public
Creating a docker image to build latex documents in CI
Dockerfile MIT License UpdatedMar 14, 2022 -
homu Public
Forked from rust-lang/homuA bot that integrates with GitHub and your favorite continuous integration service
Python MIT License UpdatedFeb 20, 2022 -
-
-
-
-
rtp Public
Forked from Johni0702/rtpA Rust implementation of RTP and profiles derived from it.
-
icfpcontest2020 Public
Forked from cau-placc/icfpcontest2020Haskell MIT License UpdatedJul 28, 2020 -
-
DPS Public archive
Coursework for the Declarative Programming Language Course
Haskell UpdatedApr 17, 2020 -
-
-
-
-
-
-
-
-
-
AGD-Project Public archive
This is the Repository to the final Project of the AGD Course Summer Semester 2018 at CAU Kiel
Java UpdatedJul 9, 2018 -
GraphDrawing Public archive
The repository for the GraphDrawing Course Assignment Solutions
Java UpdatedMay 29, 2018 -
FP-Softwareprojekt Public archive
The mandatory Softwareprojekt to the FortProg Course
Haskell MIT License UpdatedMar 12, 2018 -
{{ message }}