Explore projects
-
-
Pinkernell, Niklas Valerian / swam
Apache License 2.0Updated -
PLMZ / External / swam
Apache License 2.0Updated -
Basis für den in Modul 7 verwendeten Docker-Container für die Beispiel-Anwendung.
Updated -
Weninger, Georg / sturdy.scala with arrays
MIT LicenseUpdated -
Pihaule, Jan André / sturdy.scala
MIT LicenseUpdated -
Cardaci, Andrea / sturdy.scala
MIT LicenseUpdated -
Liese, Felix / sturdy.scala
MIT LicenseFork of https://gitlab.rlp.net/plmz/sturdy.scala to develop Products and Reduced Products for static program analysis.
Updated -
Pinkernell, Niklas Valerian / sturdy.scala
MIT LicenseUpdated -
PLMZ / sturdy.scala
MIT LicenseUpdated -
Sarah Müller / sturdy
BSD 3-Clause "New" or "Revised" LicenseSturdy is a library to create sound abstract interpreters in Haskell.
Updated -
Vieth, Markus / sturdy
BSD 3-Clause "New" or "Revised" LicenseSturdy is a library to create sound abstract interpreters in Haskell.
Updated -
Motion Bank / Services / Storage API
MIT LicenseHTTP/REST Storage API for S3 compatible backend
Updated -
Codes for the SMAD signaling RODE model: forward solver, burst analysis, parameter estimation
Updated -
Jannis Fabian Brugger / StInGRAI Widget
MIT LicenseUpdated -
Data of the Socinian Correspondence research data in CSV and JSON file formats, including XQuery code to generate the tables from the source TEI, and Cypher scripts to import them into Neo4j
Updated -
Updated