Popular repositories Loading

1. autospec autospec Public

   Implementation of "Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification""

   C 3 1

2. alfred-workflows alfred-workflows Public

   A collection of custom Alfred workflows designed to boost productivity and streamline daily tasks.

   1

3. minijava minijava Public

   MiniJava is a simplified subset of Java designed for teaching interpreters and VMs.

   Java 1 1

4. clash clash Public

   clash installation packages backup for different operating systems

5. prodroid prodroid Public

   Java

6. hadusos-protocol hadusos-protocol Public

   Forked from zyma98/hadusos-protocol

   Half-Duplex Session Over Serial

   Rust