gravatar for scott-fleischman

scott-fleischman scott-fleischman on Github

global

Languages

15 total

LanguageReposStarsGlobal
all64190171,087
Agda1716319
Haskell21123,560
unknown99147,857
HTML24156,967
Dockerfile1220,031
OCaml30-
Coq10-
Elm10-
TLA10-
F#20-
JavaScript20-
C10-
C++10-
C#10-
Svelte10-

Repos

64 total

RepoLanguageStarsRank
scott-fleischman/agda-from-nothing on Githubagda-from-nothingAgda8226
scott-fleischman/greek-grammar on Githubgreek-grammarAgda4758
scott-fleischman/agda-from-nothing-2017 on Githubagda-from-nothing-2017Agda13203
scott-fleischman/agda-travis on Githubagda-travisAgda7349
scott-fleischman/ucd on GithubucdHTML4147,058
scott-fleischman/redprl-notes on Githubredprl-notesunknown4328,573
scott-fleischman/sblgnt-osis on Githubsblgnt-osisunknown3446,822
scott-fleischman/agda-in-10-minutes on Githubagda-in-10-minutesAgda3619
scott-fleischman/agda-digit on Githubagda-digitAgda2804
scott-fleischman/agda-tutorial-exercises on Githubagda-tutorial-exercisesAgda2785

Badges

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

Global

Global

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

Preview

Last updated: 2024-04-10T18:46:12.214426821Z Re-sync