Explore projects
-
Zentraler Informatikdienst / Digitale Medien und Lerntechnologien / arsnova / mathjax
Apache License 2.0Beautiful math in all browsers http://www.mathjax.org/
Updated -
Updated
-
This repository holds the nsldap module for naviserver. The module contains the "bind" patch. This is necessary to authenticate user by trying to bind-authenticate to the ldap server instead of querying a compare with a privileged user.
Updated -
PDE Solver is part of the Mathematical Method course in Tromsoe. Here different analytical tools to solve PDES will be shown.
Updated -
-
A wrapper around awk to perform frequency analysis on input streams, text files, etc. Text output.
Updated -
This project contains a gitlab-ci sample for running on shared runners.
Updated -
Werner Dietl / tinyc
OtherUpdated -
Implementation of the proposed network for augmented NETT approach.
Updated -
-
This is the online supplement of the paper "An ECG simulator with a novel ECG profile for physiological signals" which should be published in the journal of medical engineering & technology. It contains a novel ECG simulator.
Updated -
This is the online supplement of the paper "An ECG simulator with a novel ECG profile for physiological signals" which should be published in the journal of medical engineering & technology. It contains a novel ECG simulator.
Updated -
-
repository of the bachelor thesis "Towards steganography in GPS data"
Updated -
Updated
-
This project contains various symbolic execution challenges for the r8 CTF system. These challenges were developed in the scope of a seminar thesis about the evaluation of angr for CTF challenges.
Updated -
Updated