Explore projects
-
Updated
-
Institut für Informatik / dbis / software / dbispipeline
BSD 2-Clause "Simplified" LicenseUpdated -
ionen-angewandte-physik / AG-Wester / bibtools
MIT LicenseCommand line tools for bibtex citations
Updated -
Yet another maximal completion tool written in Haskell.
Updated -
User expired / skeleton-bleclient
MIT LicenseUpdated -
Yet another completion tool written in Haskell.
Updated -
Yet another LPO/KBO-based termination tool written in Haskell.
Updated -
Updated
-
Updated
-
-
-
Updated
-
Contains experiments for the out-of-language attribution task
Updated -
Updated
-
Institut für Informatik / dbis / software / dbispipeline-cookiecutter
BSD 3-Clause "New" or "Revised" LicenseContains a cookiecutter project skeleton for projects using the dbis pipeline
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 -
User expired / hello
GNU General Public License v3.0 onlyUpdated