(2)
pasty: in silico serogrouping of Pseudomonas aeruginosa isolates from genome assemblies
2y
10K+
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
4h
10K+
docker container for bringing up a database for Ranger
2m
10K+
Grading container with gcc and make
5y
10K+
OpenLRS, with minor packaging. Requires Redis and ElasticSearch to run.
11y
10K+
1
Open-source verification for LLM and agent output: deterministic engines, fail-closed verdicts.
35m
10K+
StarlingX is an open source distributed cloud platform. More info here: https://www.starlingx.io/
4y
10K+
Samba ActiveDirectory Integration Test CI/CD Container
24d
10K+
Positioning WGDs relative to speciations using substitution-rate-adjusted mixed Ks distributions.
3m
10K+
Extracts and deidentifies bulk FHIR data for use as part of the Cumulus application.
3m
10K+
1