Beast code in Giters

dima-starosud's repositories

Dynamic

Language:Agda5 20

erased

Scala type level utilities which anyway will be erased during compilation

Language:Scala3 20

graphy

Language:PHP1 20

ranch-test

Language:Shell100

advent-of-code-2021

Language:Scala000

ae-sxa

010

aether

Language:Elixir000

aether-sc

Language:Scala020

ants

Language:Scala000

authentication

Language:Scala000

brackets-hs

Language:HaskellBSD-3-Clause000

cxx-mt-project

Language:C000

docker-nginx-php-mysql

Docker running Nginx, PHP-FPM, MySQL & PHPMyAdmin

Language:Makefile000

dyno

Language:JavaScript000

frunk

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

MIT000

gameanalytics

Language:Scala010

graphui

Language:JavaScript000

n2o-blog-example

Example blog using N2O freamwork

Language:ErlangUnlicense020

phan

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

Language:PHPNOASSERTION000

pingpong-sc

Language:Scala000

putpixel

Language:C++020

pyp

Language:Python000

scala-macros-examples

Simple examples of scala macros. Check my blog bbartosz.com for more info.

Language:Scala000

sg_challenge

Language:Scala010

sqlalchemy

The Database Toolkit for Python

Language:PythonNOASSERTION000

starocoro

Language:PHP000

Stuff

Language:Erlang000

t3

Language:Scala000

wasm-bindgen-callback-issue

Language:Rust010

wordsco

Language:C++000