Pinned Repositories
advent-of-code-2021
ae-sxa
aether
aether-sc
Dynamic
ElmErlWebSocket
Web Socket sample with Elm and Erlang cowboy
erased
Scala type level utilities which anyway will be erased during compilation
graphy
ranch-test
Uniqueness-typing-in-Agda
Implementation of Unique type system in Agda
dima-starosud's Repositories
dima-starosud/Dynamic
dima-starosud/erased
Scala type level utilities which anyway will be erased during compilation
dima-starosud/graphy
dima-starosud/ranch-test
dima-starosud/advent-of-code-2021
dima-starosud/ae-sxa
dima-starosud/aether
dima-starosud/aether-sc
dima-starosud/ants
dima-starosud/authentication
dima-starosud/brackets-hs
dima-starosud/cxx-mt-project
dima-starosud/docker-nginx-php-mysql
Docker running Nginx, PHP-FPM, MySQL & PHPMyAdmin
dima-starosud/dyno
dima-starosud/frunk
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
dima-starosud/gameanalytics
dima-starosud/graphui
dima-starosud/n2o-blog-example
Example blog using N2O freamwork
dima-starosud/phan
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
dima-starosud/pingpong-sc
dima-starosud/putpixel
dima-starosud/pyp
dima-starosud/scala-macros-examples
Simple examples of scala macros. Check my blog bbartosz.com for more info.
dima-starosud/sg_challenge
dima-starosud/sqlalchemy
The Database Toolkit for Python
dima-starosud/starocoro
dima-starosud/Stuff
dima-starosud/t3
dima-starosud/wasm-bindgen-callback-issue
dima-starosud/wordsco