Popular repositories Loading

1. logic-and-set-theory-with-dafny logic-and-set-theory-with-dafny Public

   Material for a logic and set theory course written in the verification-aware programming language Dafny

   Dafny 3

2. ProgramSliding ProgramSliding Public

   Forked from laddon/ProgramSliding

   Dafny 1

3. fastjson fastjson Public

   Forked from alibaba/fastjson

   🚄 A fast JSON parser/generator for Java

   Java

4. WALA WALA Public

   Forked from wala/WALA

   T.J. Watson Libraries for Analysis

   Java

5. fowler-video-store fowler-video-store Public

   a demo Java project based on Martin Fowler's Refactoring book, first edition

6. python-excercises python-excercises Public

   Forked from hezida/python-excercises

   Python