☆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☆13Jan 16, 2022Updated 4 years ago
- Learn Lean and topology☆26Apr 28, 2023Updated 2 years ago
- ☆26Nov 1, 2021Updated 4 years ago
- CheMixHub: Datasets and Benchmarks for Chemical Mixture Property Prediction☆27Feb 27, 2026Updated last week
- ☆12Feb 18, 2024Updated 2 years ago
- MusicXML in Julia☆14Sep 3, 2024Updated last year
- julia <3 clojure + macroexpansion☆11May 2, 2016Updated 9 years ago
- Homebrew for Pf2eTools☆10May 5, 2023Updated 2 years ago
- Linear Relational Embeddings (LREs) and Linear Relational Concepts (LRCs) for LLMs in PyTorch☆10Aug 7, 2024Updated last year
- Unified interface for interacting with Git forges☆13Feb 26, 2026Updated last week
- A framework to implement iterative algorithms☆12Sep 1, 2025Updated 6 months ago
- A syntactically aware search-and-replace tool for Python.☆15Jul 15, 2025Updated 7 months ago
- Play local tv episode files from the browser☆10Aug 7, 2018Updated 7 years ago
- Raw Jai Bindings for wgpu_native.☆14Mar 18, 2025Updated 11 months ago
- Fast, hackable molecular integrals☆13Jan 20, 2026Updated last month
- jsonrpc 2.0 client/server library for Twisted☆13Aug 31, 2018Updated 7 years ago
- A simple, vimscript only, command runner for sending commands from vim to the kitty terminal emulator.☆10Sep 29, 2022Updated 3 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- An implementation of Boltzmann generators using pytorch.☆11Dec 2, 2019Updated 6 years ago
- A reproducible project with over 130,000 logged Halo orbits, notebooks, and papers related to astrodynamics!☆12Jan 30, 2022Updated 4 years ago
- Unofficial Julia interface for qulacs.☆10Feb 5, 2024Updated 2 years ago
- The quantum circuit version of support vector machine to recognize handwritten 6 and 9☆11Aug 29, 2017Updated 8 years ago
- A quick realization of the quantum circuit of a matrix product state.☆11Aug 23, 2023Updated 2 years ago
- ☆12May 23, 2018Updated 7 years ago
- Julia implementation of (resource) Constrained Shortest Path algorithms☆14Jan 12, 2026Updated last month
- Fast, gpu-accelerated distance transforms☆13Mar 7, 2025Updated last year
- 7z extraction for Nim☆10Jul 13, 2020Updated 5 years ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- Real analysis notes☆14Feb 7, 2023Updated 3 years ago
- scalable multi-fidelity machine learning☆10Jul 16, 2021Updated 4 years ago
- Native JSON for Rust☆17Dec 10, 2023Updated 2 years ago
- An astrodynamics package for working in the three body problem☆13Mar 13, 2024Updated last year
- Diagnose which docstrings your package is missing!☆37May 25, 2021Updated 4 years ago
- Julia Para Gente Con Prisa - Curso IIMAS 2022☆15Jun 9, 2023Updated 2 years ago
- Spain Roads Visualization 🛣️🚘☆11Nov 26, 2019Updated 6 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- Graph-building for AtomicGraphNets☆12Nov 20, 2023Updated 2 years ago
- ☆11Jan 25, 2022Updated 4 years ago
- Personal collection of scripts to handle FHI-aims calculations.☆11May 26, 2024Updated last year