Automatically exported from code.google.com/p/atlasofliegroups
☆32Mar 6, 2026Updated this week
Alternatives and similar repositories for atlasofliegroups
Users that are interested in atlasofliegroups are comparing it to the libraries listed below
Sorting:
- Tools for managing the TeX sources of the Stacks project☆17Jun 8, 2024Updated last year
- The TeX for Adams' blue book, by the group TeXromancers☆13Sep 15, 2025Updated 5 months ago
- ☆27Sep 8, 2023Updated 2 years ago
- A small bifunctor library for idris☆21Dec 28, 2020Updated 5 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆128Jul 9, 2024Updated last year
- ☆18Jan 22, 2026Updated last month
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Aug 16, 2013Updated 12 years ago
- Development of the univalent foundations of mathematics in Coq☆19Apr 24, 2012Updated 13 years ago
- Kan: A browser extension for reading nLab☆34Oct 2, 2018Updated 7 years ago
- ☆16Feb 28, 2026Updated last week
- The root repository for the SpectralSequences project.☆31Feb 28, 2026Updated last week
- ☆12Feb 18, 2024Updated 2 years ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Updated this week
- NebulaDB Graph Database☆38Jun 12, 2016Updated 9 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- ☆10Oct 11, 2022Updated 3 years ago
- ☆25Apr 10, 2019Updated 6 years ago
- Render 3D text and svg with Metal☆13Oct 28, 2018Updated 7 years ago
- TWRP Source for OnePlus 6T Fajita☆10Nov 1, 2019Updated 6 years ago
- ☆13Jul 8, 2024Updated last year
- Automatically exported from code.google.com/p/xml2rfc-xxe☆11Jul 9, 2022Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆11Aug 25, 2018Updated 7 years ago
- My hopelessly idiosyncratic music software☆11Aug 18, 2018Updated 7 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- Benchmarks of artificial neural network library for Spark MLlib☆11Dec 3, 2015Updated 10 years ago
- A piano with a grid layout (iOS)☆12Jan 22, 2025Updated last year
- ☆11Oct 31, 2021Updated 4 years ago
- Implementation of multi-armed bandits in Julia☆12Jan 12, 2020Updated 6 years ago
- Demo of custom UIGestureRecognizer☆11Apr 12, 2015Updated 10 years ago
- A php library for working with Table Schema.☆12Jul 28, 2025Updated 7 months ago
- ☆12Oct 5, 2023Updated 2 years ago
- Latest KiCad installed inside a docker container from ppa:js-reynaud/ppa-kicad☆10Mar 23, 2015Updated 10 years ago
- Audio engine for CUDA processing (Windows/Linux)☆13Nov 9, 2019Updated 6 years ago
- An arena allocated tree structure for Rust with removal support☆11Dec 23, 2019Updated 6 years ago
- C++ MPEG-2 TS Demux/Mux☆10Oct 19, 2018Updated 7 years ago
- An OpenID Connect Android demo app using AppAuth libraries☆11Mar 10, 2023Updated 2 years ago
- Direct Convolution (no FFT) in Julia☆11Dec 16, 2021Updated 4 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago