Popular repositories Loading

1. phonomask phonomask Public

   A bitmap-based rule verifier for phonological analysis

   C++ 1

2. certmeas certmeas Public

   Introduction to Computer Security - Certificate Measurement

   Python

3. assgn6-passwds assgn6-passwds Public

   Introduction to Computer Security - Passwords

   Python

4. coq-turing coq-turing Public

   Programming Proofs - undecidability proofs in Coq

   Coq

5. quine quine Public

   self-printing programs

   Rust

6. ucshow ucshow Public

   show Unicode codepoints in string

   Python