Pinned Repositories
csci2390-assignments
CSCI 2390 assignment stencil code
frama-c-practice
Exercises to practice Frama-C w/ WP and alt-ergo
journal-diversity
A tool to sample, aggregate, and analyze data on the diversity of academic publications
linux-eas-verif
Verification of Linux energy-aware scheduling using Frama-C and WP
magic-lints
Alohomora linting for trait implementations
phylogenetic-trees
privacy-critical-signing
viterbi-algo
Find the most-likely sequence of states from a Hidden Markov Model
wordle-guesser
Generates possible guesses for the wordle!
bind_gps
corinnt's Repositories
corinnt/linux-eas-verif
Verification of Linux energy-aware scheduling using Frama-C and WP
corinnt/journal-diversity
A tool to sample, aggregate, and analyze data on the diversity of academic publications
corinnt/csci2390-assignments
CSCI 2390 assignment stencil code
corinnt/frama-c-practice
Exercises to practice Frama-C w/ WP and alt-ergo
corinnt/magic-lints
Alohomora linting for trait implementations
corinnt/phylogenetic-trees
corinnt/privacy-critical-signing
corinnt/viterbi-algo
Find the most-likely sequence of states from a Hidden Markov Model
corinnt/wordle-guesser
Generates possible guesses for the wordle!
corinnt/resume