Popular repositories Loading

1. pixy-lang pixy-lang Public

   Current work documents on the Pixy programming language

   TeX 14 2

2. cpsc490 cpsc490 Public

   cpsc490 - A seminar on programming practice; workshops and materials

   C++ 10 1

3. cylog cylog Public

   An experimental Datalog engine using the Cypher graph query language

   Scala 4

4. genpersist genpersist Public

   Make Python objects confluently persistent (time travel and accompanying paradoxes included)

   Python 1

5. azure-cosmos-tla azure-cosmos-tla Public

   Forked from tlaplus/azure-cosmos-tla

   Azure Cosmos TLA+ specifications

   TLA 1

6. Tutorials Tutorials Public

   Forked from UBC-Snowbots/Tutorials

   Programming (C++) Tutorials

   C++