Pinned Loading

1. terminusdb/terminusdb terminusdb/terminusdb Public

   TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.

   Prolog 3.1k 128

2. programming_semantics programming_semantics Public

   Semantics of Programming Languages

   Agda 10

3. mavis mavis Public

   Forked from mndrix/mavis

   Optional types for Prolog

   Prolog 17

4. blog blog Public

   Gavin Mendel-Gleason's blog

   JavaScript 89 11