Popular repositories Loading

1. software-foundations software-foundations Public

   Coq

2. criteria4s criteria4s Public

   Forked from eff3ct0/criteria4s

   Criteria4s is a simple domain-specific language (DSL) to define criteria and predicate expressions for any data stores by using Scala type class mechanisms in a type-safe way. It pretends to be agn…

   Scala

3. neotype neotype Public

   Forked from kitlangton/neotype

   A friendly newtype library for Scala 3

   Scala

4. kickstart.nvim kickstart.nvim Public

   Forked from nvim-lua/kickstart.nvim

   A launch point for your personal nvim configuration

   Lua

5. zio-quickstart zio-quickstart Public

   Just a quick start for lerning zio-ecosystem

   Scala 1

6. tethys tethys Public

   Forked from tethys-json/tethys

   AST free JSON library for Scala

   Scala