Pinned Loading

1. typed-latex typed-latex Public

   A tool that analyzes LaTeX-written discrete math proofs and parses natural language to identify common proof type-errors.

   OCaml 8

2. swaggiffy swaggiffy Public

   A zero config opensource tool for documenting your Node.js Express APIs endpoints.

   TypeScript 42 9

3. hideout hideout Public

   Navigate a maze of Caltech buildings, avoiding seekers at every turn. Outsmart them, hide cleverly, and reach your target unscathed.

   C

4. cloud-arch cloud-arch Public

   High Availability Infrastructure and Automatic Failover Cloud Architecture.

   Shell 2

5. ray-tracer ray-tracer Public

   Fast and minimal ray tracing with custom rendering and lighting implemented in Rust.

   Rust

6. optimized-queries optimized-queries Public

   Occupancy calculation, Optimal room suggestions, Hotel Bookings ARI & Geolocation sql queries.

   7