Popular repositories Loading

1. clocalc clocalc Public

   an interpreted functional programming language

   C++ 13

2. concept-synthesizer concept-synthesizer Public

   synthesizing C++20 constraints for function templates

   C++ 2

3. formalizing-Featherweight-X10 formalizing-Featherweight-X10 Public

   proving the absence of deadlocks

   Coq 1

4. mutual-refinement mutual-refinement Public

   For CFL-reachability-based program analysis

   C++ 1

5. smtlib-v2.6-ast smtlib-v2.6-ast Public

   Java 1

6. p2p-tree p2p-tree Public

   A peer-to-peer (P2P) group message application based on TCP

   Python 1