Explore projects
-
Updated
-
Updated
-
This is a small RAG-based QA-Chatbot used for QA on a paper corpus
Updated -
Updated
-
-
Updated
-
SOAR4IoT / soar / apps / demo-siem-app
MIT LicenseUpdated -
-
-
Updated
-
ChimeraX tool to to map, identify, select and compare rRNA elements (domains, helices) in ribosome structure models. Allows to insert 2'O methyl modifications in (r)RNA residues and supports the assessment of the cryo-EM map based evidence for the rRNA 2'O methyl modification status by a quantitative and user-independent approach.
Updated -
Updated
-
Updated
-
Updated
-
This is the Lean project contained in my master's thesis `Computability and L^2-Betti numbers' For installation guidelines, see installation-guidelines.txt
Updated -
stm58133 / vmc_jax
MIT LicenseImpementation of Variational Monte Carlo (VMC) for quantum many-body dynamics using JAX.
Updated