Popular repositories Loading

1. vml vml Public

   Code and proofs for Verse-ML, an equation-style sub-ml language. Part of an undergraduate senior thesis with Norman Ramsey, Milod Kazerounian, and Roger Burtonpatel.

   TeX 5

2. cs106 cs106 Public

   Virtual machines and language translation

   Scheme 3

3. rocq-n-roll rocq-n-roll Public

   The sound of soundness. An interactive music player for Rocq Proofs.

   TypeScript 1

4. dti_demos dti_demos Public

   dti_demos for Northeastern. NOTE: README.md is not a README for this exercise; it is actually a tool WITHIN the demo. Don't edit it.

   Shell

5. security security Public

   App security, web security, etc. Tools, scripts, the like.

   Python

6. Projects Projects Public

   Personal and Professional Projects.

   Shell