Bio-Ontology Research Group
Bio-Ontology Research Group at KAUST
- 92 followers
- Thuwal, Saudi Arabia
- http://borg.kaust.edu.sa
Pinned Loading
Repositories
Showing 10 of 242 repositories
- lean-elk-sdd Public
Lean 4 formalisations of EL/ELK ontology reasoning and BDD-style SDDs with linear-time WMC and Shannon-expansion compile correctness
bio-ontology-research-group/lean-elk-sdd’s past year of commit activity - aberowl2 Public
bio-ontology-research-group/aberowl2’s past year of commit activity - hapli Public
bio-ontology-research-group/hapli’s past year of commit activity - Cell-penetrating-peptides Public
bio-ontology-research-group/Cell-penetrating-peptides’s past year of commit activity - gapsmith-db Public
Open, licence-clean, LLM-accelerated curation pipeline for metabolic pathway and reaction databases. Feeds the Rust gapseq port (gapsmith).
bio-ontology-research-group/gapsmith-db’s past year of commit activity - gapsmith Public
Rust reimplementation of gapseq — informed prediction and analysis of bacterial metabolic pathways and genome-scale networks. ~3× faster on pathway detection, in-process LP solver, single static binary.
bio-ontology-research-group/gapsmith’s past year of commit activity - project-nelly-utils Public
bio-ontology-research-group/project-nelly-utils’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…