Vilin97 / linear-algebra-done-rightView external linksLinks
☆12Jun 30, 2022Updated 3 years ago
Alternatives and similar repositories for linear-algebra-done-right
Users that are interested in linear-algebra-done-right are comparing it to the libraries listed below
Sorting:
- Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics☆14Jan 16, 2022Updated 4 years ago
- Learn Lean and topology☆26Apr 28, 2023Updated 2 years ago
- ☆26Nov 1, 2021Updated 4 years ago
- ☆11Feb 18, 2024Updated last year
- MusicXML in Julia☆14Sep 3, 2024Updated last year
- Linear Relational Embeddings (LREs) and Linear Relational Concepts (LRCs) for LLMs in PyTorch☆10Aug 7, 2024Updated last year
- A syntactically aware search-and-replace tool for Python.☆15Jul 15, 2025Updated 7 months ago
- Homebrew for Pf2eTools☆10May 5, 2023Updated 2 years ago
- julia <3 clojure + macroexpansion☆11May 2, 2016Updated 9 years ago
- Unified interface for interacting with Git forges☆13Jun 25, 2025Updated 7 months ago
- A framework to implement iterative algorithms☆12Sep 1, 2025Updated 5 months ago
- Raw Jai Bindings for wgpu_native.☆14Mar 18, 2025Updated 10 months ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- Julia Para Gente Con Prisa - Curso IIMAS 2022☆15Jun 9, 2023Updated 2 years ago
- Graph-building for AtomicGraphNets☆12Nov 20, 2023Updated 2 years ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 5 years ago
- A reproducible project with over 130,000 logged Halo orbits, notebooks, and papers related to astrodynamics!☆11Jan 30, 2022Updated 4 years ago
- Play local tv episode files from the browser☆10Aug 7, 2018Updated 7 years ago
- Source for jump.dev☆15Updated this week
- An astrodynamics package for working in the three body problem☆13Mar 13, 2024Updated last year
- Native JSON for Rust☆17Dec 10, 2023Updated 2 years ago
- Fast, gpu-accelerated distance transforms☆13Mar 7, 2025Updated 11 months ago
- An implementation of Boltzmann generators using pytorch.☆11Dec 2, 2019Updated 6 years ago
- scalable multi-fidelity machine learning☆10Jul 16, 2021Updated 4 years ago
- A tool for the perception of chemical bonds via machine learning☆10Nov 15, 2025Updated 3 months ago
- Unofficial Julia interface for qulacs.☆10Feb 5, 2024Updated 2 years ago
- Workflow for CONNectivity preserving Geometry Optimization☆11Sep 2, 2021Updated 4 years ago
- Julia package for computing inequality indicators☆12Jun 3, 2023Updated 2 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- ☆12May 23, 2018Updated 7 years ago
- Diagnose which docstrings your package is missing!☆37May 25, 2021Updated 4 years ago
- How to use math formulas in GitHub Markdown documents☆11May 10, 2018Updated 7 years ago
- ☆10Jan 1, 2022Updated 4 years ago
- Real analysis notes☆14Feb 7, 2023Updated 3 years ago
- ☆11Jan 25, 2022Updated 4 years ago
- 7z extraction for Nim☆10Jul 13, 2020Updated 5 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- Personal collection of scripts to handle FHI-aims calculations.☆11May 26, 2024Updated last year
- Fast, hackable molecular integrals☆13Jan 20, 2026Updated 3 weeks ago