gravatar for msakai

msakai msakai on Github

global / japan / kawasaki

Languages

15 total

LanguageReposStarsGlobalCountryLocality
all67386102,1441,8025
Haskell29359338101
C++71370,0591,2542
Python54469,0845,03412
unknown84311,0073,9107
TeX2317,9622811
Java22417,5533,0714
Ruby51150,5504,69313
Shell10---
Fortran10---
JavaScript10---
Visual Basic10---
C10---
CoffeeScript10---
Go10---
Agda20---

Repos

67 total

RepoLanguageStarsRank
msakai/toysolver on GithubtoysolverHaskell152656
msakai/cpl on GithubcplHaskell112913
msakai/data-interval on Githubdata-intervalHaskell213,903
msakai/haskell-decision-diagrams on Githubhaskell-decision-diagramsHaskell135,388
msakai/nonlinear-optimization-ad on Githubnonlinear-optimization-adHaskell88,163
msakai/ptq on GithubptqHaskell79,293
msakai/bytestring-encoding on Githubbytestring-encodingHaskell69,748
msakai/haskell-minisat on Githubhaskell-minisatC++5185,155
msakai/glpk-maxsat on Githubglpk-maxsatC++4219,433
msakai/finite-field on Githubfinite-fieldHaskell414,329

Badges

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

GlobalCountryLocality

Global

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

Preview

Country

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

Preview

Locality

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

Preview

Last updated: 2024-05-15T05:54:49.354134409Z Re-sync