Pinned Repositories
close_smooth
Find a smooth number in the Hasse interval of another. Or in any interval in general
gen_smooth
Generating smooth numbers
group-theory-isabelle
Formalization of Selected Results from Group Theory
multiplicity
prusti-assistant
VS Code extension to verify Rust programs with the Prusti verifier.
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
pytorch-original-transformer
My implementation of the original transformer model (Vaswani et al.). I've additionally included the playground.py file for visualizing otherwise seemingly hard concepts. Currently included IWSLT pretrained models.
silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
silver
Definition of the Viper intermediate verification language.
trax
Trax — Deep Learning with Clear Code and Speed
jthomme1's Repositories
jthomme1/close_smooth
Find a smooth number in the Hasse interval of another. Or in any interval in general
jthomme1/gen_smooth
Generating smooth numbers
jthomme1/group-theory-isabelle
Formalization of Selected Results from Group Theory
jthomme1/multiplicity
jthomme1/prusti-assistant
VS Code extension to verify Rust programs with the Prusti verifier.
jthomme1/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
jthomme1/pytorch-original-transformer
My implementation of the original transformer model (Vaswani et al.). I've additionally included the playground.py file for visualizing otherwise seemingly hard concepts. Currently included IWSLT pretrained models.
jthomme1/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
jthomme1/silver
Definition of the Viper intermediate verification language.
jthomme1/trax
Trax — Deep Learning with Clear Code and Speed
jthomme1/viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.
jthomme1/tress
A small terminal chess game in rust