aualbert

Pinned Repositories

lbm-reaction
Lattice Boltzmann method with arbitrary reactions to model E. coli growth.
Language:Python41
ReadYou
An Android RSS reader presented in Material You style.
Language:Kotlin00
ReadYou
An Android RSS reader presented in Material You style.
Language:Kotlin5.2k203
proost
A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
Language:Rust272

aualbert's Repositories

aualbert/ReadYou
An Android RSS reader presented in Material You style.
Language:Kotlin
aualbert/lbm-reaction
Lattice Boltzmann method with arbitrary reactions to model E. coli growth.
Language:Python41