Explore projects
-
-
Alexander Kendl / TIFF
MIT LicenseUpdated -
-
Jose Capco / libhupf
MIT LicenseUpdated -
-
-
Franz Ferdinand Locker / GREENY
MIT No AttributionUpdated -
Institut für Informatik / dbis / software / dbispipeline
BSD 2-Clause "Simplified" LicenseUpdated -
User expired / skeleton-bleclient
MIT LicenseUpdated -
Bamlss families for modelling multivariate Gaussian distributions with Cholesky decomposition of the covariance matrix.
Updated -
Updated
-
Yet another maximal completion tool written in Haskell.
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 -
Updated
-
Yet another LPO/KBO-based termination tool written in Haskell.
Updated -
Updated