Pinned Loading

1. cyphercert/opencypher-coq cyphercert/opencypher-coq Public

   A Coq formalizaton of "Formalizing openCypher Graph Queries in Relational Algebra" [Marton-al:ADBIS17]

   Coq 4

2. mtt-lang mtt-lang Public

   Forked from mtt-lang/mtt-lang

   A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web

   OCaml

3. lincheck lincheck Public

   A linearizability checker for concurrent data structures

   Rust 9

4. bot-mne-v-rot/p2beer bot-mne-v-rot/p2beer Public

   Decentralized chat for arranging beer plans with your peers

   Kotlin 1

5. bot-mne-v-rot/high-shift-engine bot-mne-v-rot/high-shift-engine Public

   The awesome game engine for beer lovers from beer lovers

   C++

6. simple-type-checker simple-type-checker Public

   Type checker for Church-style Polymorphic Lambda Calculus (System F).

   Haskell