ScrollPrize / villa
The Vesuvius Challenge monorepo
☆26Updated this week
Alternatives and similar repositories for villa:
Users that are interested in villa are comparing it to the libraries listed below
- ☆133Updated last year
- Various Python Simulations☆136Updated 7 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆222Updated last month
- ☆38Updated 6 months ago
- ☆12Updated 4 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆328Updated this week
- Automatic Scroll Segmentation Pipline for CT Scans of Herculaneum papyri☆79Updated last month
- Solve puzzles to improve your tinygrad skills!☆102Updated 3 months ago
- A native Jupyter notebook frontend with local + remote kernels, reactive cells, and IDE features, implemented in Rust☆105Updated this week
- Tensor Network Library with Autograd☆157Updated this week
- ☆18Updated 2 weeks ago
- Now maintained at https://github.com/ScrollPrize/villa/tree/main/vesuvius (this repository archived)☆17Updated last month
- A visual sudoku solver which runs in the web browser. Built using OpenCV and Tensorflow to identify the sudoku grid, recognise digits, an…☆56Updated 4 months ago
- A project to map out the relations between different equational theories of Magmas.☆286Updated this week
- NYU Artificial Intelligence Spring 2024☆50Updated 2 months ago
- About Interactive web viewer for exploring large neural networks—powers the graph visualization of Talaria☆52Updated 3 months ago
- Benchmarks comparing PyTorch and MLX on Apple Silicon GPUs☆68Updated 6 months ago
- ☆115Updated this week
- ☆13Updated this week
- Semantic search over every Emergent Ventures winner.☆18Updated last month
- A deep dive on the history of robotics and the future of humanoids☆54Updated last month
- High-performance graph layout engine☆34Updated 2 months ago
- small auto-grad engine inspired from Karpathy's micrograd and PyTorch☆232Updated last month
- LLMs + Lean, on your laptop or in the cloud☆132Updated 2 months ago
- We just want to read the scrolls!!☆21Updated 11 months ago
- Dermatology ddx dataset, Jax implementations of Monte Carlo conformal prediction, plausibility regions and statistical annotation aggrega…☆641Updated 9 months ago
- Biologically Plausible Graph Neural Networks for Simulating Brain Dynamics and Inferring Connectivity☆29Updated 3 weeks ago
- An introduction to LLM Sampling☆75Updated last month
- noise_step: Training in 1.58b With No Gradient Memory☆214Updated 3 weeks ago
- ☆46Updated 5 months ago