Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Magma: A Dependently-Typed Language
(github.com/blainehansen)
42 points
todsacerdoti
5 years ago
8 comments
2.
▲
Migrator: Automatically generate Postgres migrations from declarative SQL schema
(github.com/blainehansen)
2 points
blainehansen
4 years ago
discuss