Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Andromeda: Proof assistant for general type theories
(github.com/Andromedans)
1 point
adamnemecek
6 years ago
discuss
2.
▲
OpenSearch/Elasticsearch Migrations
(github.com/opensearch-project)
1 point
andromedasb
2 years ago
1 comment