jeannin

Pinned Repositories

CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Language:Python2.8k 42 1.3k3.3k
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
Language:Python00
jeannin.github.io
Language:HTML00
KeYmaeraX-projects
Projects, models, and proofs in KeYmaera X
Language:Shell01
Rule-Trigger
Language:Groovy10
zelus
A synchronous language with ODEs
Language:OCaml04
pathway_finding_verification
Correctness proof of a pathway finding algorithm in Coq.
Language:Coq3 4 11
iterative_methods
Verified Error Analysis for Stationary Iterative Methods
Language:Coq3 2 00

jeannin's Repositories

jeannin/Rule-Trigger
Language:Groovy10
jeannin/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
Language:Python00
jeannin/jeannin.github.io
Language:HTML00
jeannin/KeYmaeraX-projects
Projects, models, and proofs in KeYmaera X
Language:Shell01
jeannin/zelus
A synchronous language with ODEs
Language:OCaml04