winitzki / linear-algebra-bookView external linksLinks
The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)
☆114Mar 21, 2023Updated 2 years ago
Alternatives and similar repositories for linear-algebra-book
Users that are interested in linear-algebra-book are comparing it to the libraries listed below
Sorting:
- Debug as an Effect (DaaE)☆10Apr 22, 2025Updated 9 months ago
- Yet another Julia package for working with geometric (or Clifford) algebras.☆25Nov 20, 2025Updated 2 months ago
- Formalizing linear algebra in Agda by representing matrices as functions☆27Dec 23, 2023Updated 2 years ago
- prototyping logic programming in Scala☆42Mar 25, 2022Updated 3 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- Code related to the Low Level C# course.☆12Nov 16, 2022Updated 3 years ago
- ☆12Nov 2, 2024Updated last year
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 years ago
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆12Feb 5, 2021Updated 5 years ago
- Virtual cockpit for UAVs☆11Feb 13, 2017Updated 9 years ago
- ☆16Nov 6, 2022Updated 3 years ago
- Easy JSON formats for any case classes, for Scala, ScalaJS and Scala Native☆11Sep 12, 2018Updated 7 years ago
- Optimization of SLAMBench workload (KinectFusion) for a heterogeneous system CPU-GPU-FPGA using OpenCL. Mainly focused on Altera FPGAs.☆14Sep 20, 2018Updated 7 years ago
- https://adventofcode.com/☆15Jan 9, 2026Updated last month
- Typeclass instances for `parsley` to make it compatible with `cats`☆14Jan 24, 2026Updated 3 weeks ago
- An English translation of Deligne's three "Hodge theory" papers☆14Feb 7, 2026Updated last week
- Scala Algebra System☆17Dec 2, 2025Updated 2 months ago
- A free book: "The Science of Functional Programming"☆1,476Updated this week
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 4 years ago
- A library to support building a coherent set of flink jobs☆17Oct 5, 2024Updated last year
- C++ header-only lib for extracting local patches☆15Nov 3, 2020Updated 5 years ago
- Haskell implementation of the Unicode Collation Algorithm☆17Jan 23, 2025Updated last year
- Augmented functions☆14Nov 19, 2024Updated last year
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 3 years ago
- A lightweight event streaming library for Scala 3☆14Jan 30, 2026Updated 2 weeks ago
- A TOML parser for Idris 2☆17Jun 27, 2024Updated last year
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 2 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆40Jul 9, 2020Updated 5 years ago
- Usage example for zio-akka-cluster☆16Nov 20, 2019Updated 6 years ago
- multilingual dictionary of mathematical terminology☆20Oct 18, 2025Updated 3 months ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Feb 23, 2018Updated 7 years ago
- Based off of multi_map_merge package: http://wiki.ros.org/multirobot_map_merge. Modified for multi-robot coordinated SLAM.☆17Jun 24, 2019Updated 6 years ago
- Simultaneous Localization and Mapping using Extended Kalman Filter☆13Dec 15, 2020Updated 5 years ago
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…☆20Dec 8, 2021Updated 4 years ago
- Type-safe high-level ORM for Postgres☆20Apr 4, 2024Updated last year
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Oct 23, 2020Updated 5 years ago
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- This is a GSLAM plugin which implemented ORBSLAM.☆20Oct 11, 2019Updated 6 years ago
- Tutorial examples and sample applications for DC-SAM.☆20Jan 30, 2023Updated 3 years ago