Pinned

1. magmide/magmide Public

   A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

   Coq 712 10

2. persistent-democracy/hopeful-path Public

   An open source book discussing Persistent Democracy.

   Vue 16

3. persistent-democracy/tools Public

   Software tools for implementing Persistent Democracy.

   Rust 5

4. macro-ts Public

   An ergonomic typescript compiler that enables typesafe syntactic macros.

   TypeScript 115 3

5. postgres_migrator Public

   A postgres migration generator and runner that uses raw declarative sql.

   Rust 45 4

6. marketdial/vue-async-properties Public

   Smart asynchronous data and computed properties for vue components.

   JavaScript 38 2