☆12Jun 30, 2022Updated 4 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics☆14Jan 16, 2022Updated 4 years ago
- ☆21May 5, 2026Updated 6 months ago
- Learn Lean and topology☆28Apr 28, 2023Updated 3 years ago
- Repository for score-based transport modeling.☆11Jul 22, 2023Updated 3 years ago
- Linear Relational Embeddings (LREs) and Linear Relational Concepts (LRCs) for LLMs in PyTorch☆11Aug 7, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆11Mar 5, 2022Updated 4 years ago
- Tools for writing good AI generated papers☆18Oct 24, 2026Updated 2 weeks ago
- ☆27Nov 1, 2021Updated 5 years ago
- A minimal, Julia-written tool for converting numbers to words.☆14Updated this week
- Semantic Search Over 9 million Mathematical Theorems☆25Oct 3, 2026Updated last month
- A Swag Toggle for React Native and Expo Web☆14Jul 18, 2023Updated 3 years ago
- Steering Vector Repo from "Extracting Latent Steering Vectors from Pretrained Language Models" - ACL2022 Findings☆11Mar 14, 2022Updated 4 years ago
- ☆38Jul 3, 2026Updated 4 months ago
- Tips & tools for educators who use Pluto☆17Oct 30, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Diagnose which docstrings your package is missing!☆37May 25, 2021Updated 5 years ago
- Aerie: a regex-like engine nested word grammars☆16Feb 5, 2022Updated 4 years ago
- Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/☆15Jun 23, 2020Updated 6 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆14Mar 23, 2023Updated 3 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Jun 7, 2021Updated 5 years ago
- ☆35Sep 2, 2026Updated 2 months ago
- A simple Julia library for generating SVGs suitable for AxiDraw and similar pen plotters.☆22Feb 21, 2022Updated 4 years ago
- Causal tracing for language models☆12Apr 2, 2024Updated 2 years ago
- Code to verify citations in a bibtex file☆19Mar 14, 2026Updated 7 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A repository for calculating Molecular Integrals, based on O-ohata method (1966) and Macmurchie-Davidson (1971)☆45Aug 1, 2023Updated 3 years ago
- Relational piecewise-linear overapproximations of multi-dimensional functions☆20Sep 24, 2025Updated last year
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆32Aug 13, 2026Updated 2 months ago
- Code for a tutorial on parsing with Menhir☆14Aug 25, 2021Updated 5 years ago
- ☆17May 19, 2026Updated 5 months ago
- Learn Julia from the REPL.☆27Jun 7, 2021Updated 5 years ago
- Straightforward pseudocode.☆17Sep 29, 2026Updated last month
- Convert Abstract Meaning Representation (AMR) into first-order logic☆17Aug 7, 2024Updated 2 years ago
- Tools for Estimating Grounding Zone Locations with data from NASA Polar Altimetry Missions☆12May 13, 2026Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Formally verified numerical integration of an ordinary differential equation☆13May 18, 2026Updated 5 months ago
- Exclude inherited members from a Typedoc class using @noInheritDoc annotation☆20Apr 7, 2026Updated 7 months ago
- OpenClaw-style theorem proving☆29Aug 21, 2026Updated 2 months ago
- AnyDSL traversal code☆16Feb 18, 2019Updated 7 years ago
- Attempt to guess requirements.txt modules versions based on Git history☆21Jul 30, 2021Updated 5 years ago
- FileIO.jl integration for Stata, SPSS, and SAS files☆27Sep 1, 2026Updated 2 months ago
- (A)ugmented (L)agrangian based solvers for the Navier Stokes equation in (Fi)redrake☆14Oct 13, 2024Updated 2 years ago