egretwAlker
Follow
Stars
A collection of notebooks/recipes showcasing some fun and effective ways of using Claude.
A simple REPL for Lean 4, returning information about errors and sorries.
This Repository contains my solutions to the problems from the ETH course AlgoLab in 2020/2021
Retrieval-Augmented Theorem Provers for Lean
Collection of Matrix/Linear Algebra Information
Repository of Jupyter notebook tutorials for teaching the Deep Learning Course at the University of Amsterdam (MSc AI), Fall 2023
Utilities intended for use with Llama models.
Automatic solver for plane geometry problems.
🧑🏫 60+ Implementations/tutorials of deep learning papers with side-by-side notes 📝; including transformers (original, xl, switch, feedback, vit, ...), optimizers (adam, adabelief, sophia, ...), ga…
A more simple, lightweight and a little bit different version of the Hipster CV
Tensors and Dynamic neural networks in Python with strong GPU acceleration
Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/
Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 3, and other large language models.
Main source code repository of the Tamarin prover for security protocol verification.
Sioyek is a PDF viewer with a focus on textbooks and research papers
MIT Deep Learning Book in PDF format (complete and parts) by Ian Goodfellow, Yoshua Bengio and Aaron Courville
GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.
Lean theorem proving interface which feels like pen-and-paper proofs.
llmstep: [L]LM proofstep suggestions in Lean 4.