Developer

  3.7k
编程语言、工具

Kind

现代证明语言。「A modern proof language」
MIT
JavaScript
  15.3k
ORM系统

sqlc

从 SQL 生成类型安全的代码。「Generate type-safe code from SQL」
To the top