Popular repositories

1. wyvern wyvern Public

   Forked from wyvernlang/wyvern

   The Wyvern programming language.

   Java 1

2. PySecretHitler PySecretHitler Public

   Python adaptation of the board game Secret Hitler (unofficial)

   Python 1 1

3. dpll-sat dpll-sat Public

   A DPLL-based SAT solver focused on traceability

   C++

4. Autolab Autolab Public

   Forked from CMU-15-411-F18/Autolab

   Course management service that enables auto-graded programming assignments.

   Ruby

5. wyvern-syntax wyvern-syntax Public

   VS Code Syntax Extension for Wyvern

   JavaScript

6. llvm-project llvm-project Public

   Forked from llvm/llvm-project

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.