Updated 7 months ago
computationalgenomicsmanual
Robs manual for the computational genomics and bioinformatics class.
Updated 7 months ago
yultracer
YulTracer is an interpreter and future symbolic execution engine for Yul written in OCaml with Z3 for symbolic reasoning and compiled using the Dune build system.
Updated 7 months ago
metacatalog_aggregator
Aggregates standard data formats contextualized from MetaCatalog into a GeoCube
Updated 7 months ago
collisionkernel
We compare the collision kernel of the Boltzmann equation with power-law potentials with other spherical kernels.
Updated 6 months ago
https://github.com/ajjackson/dmenu
Just a personal fork from https://git.suckless.org/dmenu
Updated 7 months ago
smallclassnr
The GAP 4 package SmallClassNr: Library of finite groups with small class number
Updated 7 months ago
autonomous_drone_simulator
UAV Swarm Autonomous Missions for Animal Ecology Remote Sensing Studies
Updated 7 months ago
rna3db
A dataset for training and benchmarking deep learning models for RNA structure prediction