Pinned Loading

1. handy-snippets-in-jupyter-notebook handy-snippets-in-jupyter-notebook Public

   just a binder and github codespace environment serves as a gist but with CI and cloud environment.

   Jupyter Notebook

2. a basic yolo annotator. use num keys... a basic yolo annotator. use num keys to change class, press and hold middle button and drag to move canvas.

   1

   import tkinter as tk

   2

   from tkinter import ttk, filedialog, messagebox

   3

   import os

   4

   import glob

   5

   from PIL import Image, ImageTk, ImageDraw

3. envlock envlock Public

   Layered env tool atop Miniconda/conda-pack: No conda Python packages; only pip + provided wheels; PySMT resolves conflicts. Binaries via popular manager per toolchain. Env packs fully offline. Spec…

4. S3L S3L Public

   Socratic Self-Supervised Learning: A Framework for Automated Curriculum Generation through Model Disagreement and Formal Verification

5. utopia utopia Public

   an utopia built by autism.

6. zen-of-vibe-coding zen-of-vibe-coding Public

   Vibe Coding: AI-driven development where unverified code is pseudocode. Use Haskell as your design bridge, Coq for architecture proofs, and SMT for code verification. Trust types, test manually, av…

   Python