jeffreyadams / atlasofliegroupsView external linksLinks
Automatically exported from code.google.com/p/atlasofliegroups
☆32Feb 8, 2026Updated last 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☆16Jun 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
- Topos theory in lean☆64Jan 6, 2021Updated 5 years ago
- ☆86Sep 7, 2017Updated 8 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Aug 16, 2013Updated 12 years ago
- Lightweight, functional and correct time-series library for scala. Easy manipulation, filtering and combination of time-series data.☆30Jan 13, 2022Updated 4 years ago
- Kan: A browser extension for reading nLab☆33Oct 2, 2018Updated 7 years ago
- ☆11Feb 18, 2024Updated last year
- The root repository for the SpectralSequences project.☆32Dec 26, 2025Updated last month
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- My hopelessly idiosyncratic music software☆11Aug 18, 2018Updated 7 years ago
- ☆12Oct 5, 2023Updated 2 years ago
- Render 3D text and svg with Metal☆13Oct 28, 2018Updated 7 years ago
- ☆11Nov 3, 2023Updated 2 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- notes on various eng/math projects☆11Mar 1, 2023Updated 2 years ago
- Get ALL of the AKER Kit source file packs. If you love them, don't forget to tell us about it - aaron@akerkits.com☆10May 24, 2017Updated 8 years ago
- Benchmarks of artificial neural network library for Spark MLlib☆11Dec 3, 2015Updated 10 years ago
- ☆10Feb 11, 2019Updated 7 years ago
- Latest KiCad installed inside a docker container from ppa:js-reynaud/ppa-kicad☆10Mar 23, 2015Updated 10 years ago
- ☆13Jul 8, 2024Updated last year
- Demo of custom UIGestureRecognizer☆11Apr 12, 2015Updated 10 years ago
- ☆11Aug 25, 2018Updated 7 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- ☆25Apr 10, 2019Updated 6 years ago
- Implementation of multi-armed bandits in Julia☆12Jan 12, 2020Updated 6 years ago
- The Word Embedding Database API☆11Aug 20, 2019Updated 6 years ago
- Reaction diffusion simulation using Metal Kit with parameter gradients controlled by the camera☆10Jul 31, 2015Updated 10 years ago
- ANAVI Gardening uHAT is an open source hardware add-on board for Raspberry Pi that helps you develop smart solutions for monitoring and …☆11Dec 29, 2021Updated 4 years ago
- Experimental, high-performance GPU-accelerated rasterizer for common Web content☆11Jul 16, 2015Updated 10 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- Experiments with linear types☆14Feb 23, 2018Updated 7 years ago
- Implementation prototype of the Deep Deterministic Off-Policy Gradient (DD-OPG) method.☆11Jun 12, 2019Updated 6 years ago
- Basic 2D wrapper for Metal on iOS and macOS written in Swift☆12Sep 8, 2023Updated 2 years ago
- Generate a Kubeconfig or creating & updating K8s Deployments for GitHub Actions☆11Jan 28, 2024Updated 2 years ago