gravatar for monadius

monadius monadius on Github

global

Languages

8 total

Repos

13 total

RepoLanguageStarsRank
monadius/ocaml_simple_interval on Githubocaml_simple_intervalOCaml93,185
monadius/dafny_examples on Githubdafny_examplesDafny428
monadius/spark-abm on Githubspark-abmJava2544,290
monadius/formal_ineqs on Githubformal_ineqsOCaml111,988
monadius/compute-hol-light on Githubcompute-hol-lightOCaml110,871
monadius/poly_fp on Githubpoly_fpPython0-
monadius/formal_misc on Githubformal_miscOCaml0-
monadius/mapnik_maps on Githubmapnik_mapsPython0-
monadius/hol-ssreflect on Githubhol-ssreflectJava0-
monadius/monadius.github.io on Githubmonadius.github.ioCSS0-

Badges

Get your badge to use on GitHub or websites using the code below

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-03-21T22:09:39.661764950Z Re-sync