Automatically exported from code.google.com/p/atlasofliegroups
☆33Aug 28, 2026Updated this week
Alternatives and similar repositories for atlasofliegroups
Users that are interested in atlasofliegroups are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tools for managing the TeX sources of the Stacks project☆16Jun 8, 2024Updated 2 years ago
- The website for the Stacks project☆19May 22, 2018Updated 8 years ago
- R-Ladies Philly 2019 Community Data Project: PAWS☆14Jun 6, 2019Updated 7 years ago
- Simplify writing quantum assembly code☆13Nov 13, 2020Updated 5 years ago
- Our LoRa + Meshtastic how-to guide for beginners☆25Mar 28, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19May 1, 2021Updated 5 years ago
- ☆20Dec 2, 2019Updated 6 years ago
- A syscall hooking system for FreeBSD, NetBSD and also Linux.☆16Nov 14, 2021Updated 4 years ago
- Standalone implementation of the RxJS schedulers☆11Jan 8, 2016Updated 10 years ago
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆12Aug 28, 2024Updated 2 years ago
- ☆14Nov 29, 2011Updated 14 years ago
- ☆20Jan 22, 2026Updated 7 months ago
- A tool to extract plain text from HTML pages☆10Dec 7, 2017Updated 8 years ago
- LaTeX service☆10Jul 1, 2015Updated 11 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- libsodium for Ada - A secure cryptographic library☆12Jul 18, 2016Updated 10 years ago
- Webpage for https://github.com/floooh/v6502r☆11Aug 12, 2026Updated 2 weeks ago
- ☆12Nov 11, 2022Updated 3 years ago
- Topological sort algorithm☆15Jul 10, 2026Updated last month
- Documentation: http://inspire.docs.cern.ch☆20Updated this week
- Count Min Sketch implementation for Rust☆15Jul 31, 2026Updated last month
- AI Agentic Research System for Computational Mathematics☆57Aug 9, 2026Updated 3 weeks ago
- WebAssembly specification, reference interpreter, and test suite.☆13Aug 31, 2023Updated 2 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆22May 2, 2023Updated 3 years ago
- Some benchmarks for Idris☆12Aug 12, 2017Updated 9 years ago
- ☆10Apr 24, 2023Updated 3 years ago
- Microemacs (aka uemacs) v2.0 text editor by Dave Conroy from 1985. Updated to compile on Windows and Linux.☆16Sep 15, 2022Updated 3 years ago
- ☆11Aug 8, 2021Updated 5 years ago
- A Rust attribute macro to limit a function's number of runs over a specified period of time☆12Aug 16, 2022Updated 4 years ago
- Lean 4 library for pretty printing expressions as LaTeX☆38Mar 5, 2025Updated last year
- Lisp Interface to Federal Reserve Economic Data (FRED®)☆11Aug 6, 2015Updated 11 years ago
- David McClain's 'Actors' package for LispWorks☆13Dec 12, 2017Updated 8 years 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 Vagrant managed VM containing a minimal Hashistack for development☆12Aug 2, 2017Updated 9 years ago
- Implementation of Nuprl's type theory in Coq☆47Jul 28, 2026Updated last month
- The Word Embedding Database API☆11Aug 20, 2019Updated 7 years ago
- A clean no-jargon mathematical definition of transforrmer language model with a Python implementation that focuses on clarity rather than…☆11Jul 23, 2022Updated 4 years ago
- OPNsense fork of the original DragonFlyBSD installer☆13Jan 12, 2021Updated 5 years ago
- A software package for analyzing Calabi-Yau manifolds.☆45Updated this week
- Snapshot Validator for EOS.io based Blockchains☆11Jul 4, 2018Updated 8 years ago