Pinned Loading

1. chocolatey-test-environment chocolatey-test-environment Public

   Forked from basictheprogram/chocolatey-test-environment

   A testing setup related to how the Chocolatey Package Verifier runs testing. Used for manual testing or prior to submission

   PowerShell

2. timl timl Public

   Forked from mit-plv/timl

   TiML: A Functional Programming Language with Time Complexity

   Standard ML

3. ga ga Public archive

   LaTeX + Dafny notes for algos

   TeX 2

4. liveness-script liveness-script Public archive

   scripts for basic compiler liveness analysis

   Python

5. locality-optimization locality-optimization Public archive

   scripts to explore compiler value numberings

   OCaml

6. libc-template libc-template Public template

   Beginner C library template with TDD.

   C 7