Explore projects
-
Updated
-
Updated
-
Updated
-
BVT-HTBD / Public / gRPC_hel_bioxplorer
MIT LicenseUpdated -
Updated
-
BVT-HTBD / Public / Tecan_remote
MIT LicenseUpdated -
ProveIT / proveit.nix
GNU Affero General Public License v3.0Proofbuddy and related software packaged via nix
Updated -
Numerische Mathematik I für Ingenieurwissenschaften
Updated -
ProveIT / isalink
GNU Affero General Public License v3.0Isabelle Server Client and Protocol library for Golang
Updated -
RBO / Robotics / PneumaticBox Python Client
BSD 3-Clause "New" or "Revised" LicenseCORE - Python library for implementing PneumaticBox clients
The packages provide a convenient interface to the airserver process on the RBO Lab's Pneumaticbox system
Updated -
This project is intended to provide a software for creating sampleIDs, which can be printed as a QR code, saved as a PNG or uploaded into the electronic laboratory notebook 'elabFTW'. While elabFTW provides an electronic laboratory notebook (ELN) with structured fields and a database for science, the CeramScan program by Fabian Zemke is interacting with this ELN. This solution enforces a common structure for sampleID's to allow for better machine readability and reproducibility.
Updated -
Updated
-
Updated
-
Updated
-
Updated