repository for my TLDR for deep learning papers (and SML papers!)
☆16Jun 2, 2017Updated 8 years ago
Alternatives and similar repositories for deep_learning_papers_TLDR
Users that are interested in deep_learning_papers_TLDR are comparing it to the libraries listed below
Sorting:
- collection of modules to build distributed and reliable concurrent systems in Python.☆206Sep 14, 2013Updated 12 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- An Anki addon for pulling flashcard data (one-way sync) from XML. Optimized for LIFT XML (from WeSay or FLEx). [This is now the official …☆10Feb 2, 2026Updated last month
- Incremental fast build engine cum unique navigation UI (with search) for plain-text notes, optimized for private notebooks.☆11May 18, 2021Updated 4 years ago
- ☆10Apr 27, 2022Updated 3 years ago
- Heap Implementation for Python☆10Nov 4, 2016Updated 9 years ago
- ☆11Nov 10, 2015Updated 10 years ago
- Portable pipestatus for UNIX/POSIX shells☆24Jan 8, 2021Updated 5 years ago
- A splaytree ADT written in C with a BSD license☆18Jun 18, 2020Updated 5 years ago
- ☆11May 26, 2020Updated 5 years ago
- Watches for change in your maildir, and runs mbsync when change are found.☆18Jul 23, 2014Updated 11 years ago
- A Neovim plugin to run the current filetype.☆10Jun 22, 2023Updated 2 years ago
- Serialization component for the Asphalt framework☆11Updated this week
- 🔧 SQL for csv file in UNIX command line with awk.☆16Aug 6, 2022Updated 3 years ago
- A scalable implementation of the multifrontal method for symmetric and Hermitian systems (with intrafrontal pivoting)☆19Jun 27, 2016Updated 9 years ago
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆16Jan 5, 2026Updated 2 months ago
- A few classes which compile faster than the classes that they replace☆12Apr 5, 2014Updated 11 years ago
- Greenlet-based pseudo-synchronous coroutines for tornado☆16Mar 7, 2018Updated 7 years ago
- Simple spill-to-disk dictionary☆18May 24, 2016Updated 9 years ago
- A network discrete event simulator for peer-to-peer network modeling.☆13Sep 1, 2019Updated 6 years ago
- LuaJIT General Purpose Routines☆15Feb 11, 2021Updated 5 years ago
- Centralized test reporting and monitoring service☆16Dec 27, 2022Updated 3 years ago
- TinyTimber is a C implementation of the concurrent reactive objects of Timber. For more information about the full Timber language, see:☆15Mar 6, 2012Updated 13 years ago
- Typeset scattered graph data rewriter based on LaTeX nodes☆13Apr 7, 2021Updated 4 years ago
- ☆18Apr 5, 2025Updated 11 months ago
- python client library☆10Feb 15, 2017Updated 9 years ago
- Notes from Simons Institute program "Foundations of Machine Learning"☆13May 5, 2017Updated 8 years ago
- My exposition of the formalization of Hegel's theory in modal homotopy type theory☆14Aug 18, 2023Updated 2 years ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- Differential forms in Julia☆15Mar 16, 2024Updated last year
- Optional argument checks allow you to omit them when performance is critical.☆10Aug 31, 2022Updated 3 years ago
- Lean 4 bindings to libcurl☆13Feb 3, 2026Updated last month
- ☆14Apr 17, 2016Updated 9 years ago
- Efficient storage of same-type, uneven-size arrays☆12Aug 5, 2018Updated 7 years ago
- A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post☆17Jun 21, 2024Updated last year
- Written in Elm. Backed by NeoVim.☆12Oct 15, 2016Updated 9 years ago
- Inference on non-linear dynamical systems written in JAX☆11Aug 20, 2020Updated 5 years ago
- Tool to analyse the import structure of lean projects.☆18Feb 24, 2026Updated last week
- A compressed bitset with supporting data structures and algorithms☆19Sep 13, 2013Updated 12 years ago