Robert Hoehndorf's Projects
A curated list of resources for using LLMs to develop more competitive grant applications.
A copy of Alchemy 2, a set of tools to handle Markov Logic Networks.
Validated, scalable, community developed variant calling, RNA-seq and small RNA analysis
Bacterial Isolate Genome Sequence Database
Automatically exported from code.google.com/p/bio-sim-connector
Coral Ontology
Markdown-formatted Creative Commons 4.0 license texts
Service to provide DDIs
An Open Toolkit for Knowledge Graph Extraction and Construction published at EMNLP2022 System Demonstrations.
Description logic engine in Julia
Tableau-based reasoner for ALCQ description logic
Diffusion models of protein structure; trigonometry and attention are all you need!
cwl workflow
Set of functions to get Emacs Gnus working with LLMs
Exercises from The HoTT Book by hand and by Coq
An extension of the PyTorch library containing various tools for performing deep learning in hyperbolic space.
iMediReminder is an Android app for medication tracking and reminding.
NetHack enhancement layer
Bioinformatics lecture slides 2014
Config files for my GitHub profile.
RO is an ontology of relations for use with biological ontologies