Explore projects
-
Updated
-
docker container with aspell and texlive installed to spellcheck latex projects
Updated -
rzht-public / Pakiti Client
Apache License 2.0Updated -
Updated
-
Updated
-
Updated
-
This project is created just for the sake of copying the contents of another repository and connecting it to readthedocs.org since the original repository can't be set to public.
Updated -
Weymeirsch, Jan / mslogo
OtherMikroSim Logo Generator for arbitrary regional data https://mikrosim.uni-trier.de
Updated -
Scripts, Functions and little tools to prepare and work with data within the MikroSim Project
Updated -
Updated
-
zdvresearch / ghc-8.10.1
BSD 3-Clause "New" or "Revised" LicenseSlightly adapted GHC 8.10.1 release version that is capable of capturing STM commit statistics
Updated -
Updated
-
Kreucher, Jannik Kim / rack-z80
GNU General Public License v3.0 or laterUpdated -
scripts to build a customized kernel with xenomai and linux
Updated -
This Git host the zeroing library used in "Accelerating Application Migration in HPC" and "Zeroing Memory Deallocator to Reduce Checkpoint Sizes in Virtualized HPC Environments" publications.
Updated -
Otte, Dr. Peter-Bernd / compact-slowcontrol
MIT LicenseDoes its job great even on small devices like RaspberryPis for years and billions of data points.
Updated -
-
agwidera / public / Waveguide Control Python
Open Software License 3.0Waveguide Experiment Control Software in Python
Updated