Algebraic Number Theory package
☆271Jun 23, 2021Updated 5 years ago
Alternatives and similar repositories for algnuth
Users that are interested in algnuth are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple and unified notation for both object and markup data.☆459Jul 25, 2025Updated last year
- An on-disk B+tree for Python 3☆768Mar 18, 2019Updated 7 years ago
- View poses coming out of pose estimation networks.☆11Mar 25, 2023Updated 3 years ago
- plait.py - a fake data modeler☆438Dec 27, 2018Updated 7 years ago
- A short guide on features of Python 3 with examples☆3,597May 3, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Cannoli Programming Language☆765Oct 25, 2018Updated 8 years ago
- A Haskell number theory library.☆15Jul 3, 2017Updated 9 years ago
- Basic mathematics library☆15Aug 2, 2026Updated 2 months ago
- Mental Overload Detection with Respiration Variability Spectrogram☆12Oct 29, 2018Updated 8 years ago
- Just for my markdown files☆14Jun 19, 2018Updated 8 years ago
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆626Mar 25, 2021Updated 5 years ago
- Constant-Time Toolkit☆300Aug 29, 2018Updated 8 years ago
- A series of introductory instructional python notebooks, for computational number theory.☆17Feb 12, 2018Updated 8 years ago
- Find surprising moves in chess games☆180Dec 16, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Include Jupyter notebook cells in TeX documents☆143Jan 5, 2026Updated 9 months ago
- 🧮 Reading group about differential, integral and logical calculi.☆27May 7, 2024Updated 2 years ago
- A Multi-Qubit Ideal Quantum Computer Simulator☆725Jun 4, 2021Updated 5 years ago
- CO₂ & Temperature monitor☆349Aug 10, 2021Updated 5 years ago
- Python exercises to practice skills☆535Sep 24, 2018Updated 8 years ago
- Python to python compiler that allows you to use Python 3.6 features in older versions.☆313Mar 22, 2021Updated 5 years ago
- Python Library for Studying Binary Trees☆1,812Oct 4, 2023Updated 3 years ago
- Continuous Domain Game of Life in Python with Numpy☆707Jan 9, 2025Updated last year
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Quantitative Type Theory implementation☆54Jun 2, 2021Updated 5 years ago
- Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json☆358Dec 23, 2019Updated 6 years ago
- ☆42Nov 8, 2014Updated 11 years ago
- DANGER, WILL ROBINSON: THIS REPOSITORY IS IN MAINTENANCE MODE! I will not be continuing feature development or fixing bugs in this codeba…☆347Jul 30, 2020Updated 6 years ago
- A library of recreational mathematics and number theory related functions inspired by Project Euler☆20May 5, 2015Updated 11 years ago
- Various ipython notebooks☆1,551Jan 27, 2018Updated 8 years ago
- Type Theory in Type Theory using Cubical Agda☆15Feb 21, 2019Updated 7 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆19Apr 25, 2017Updated 9 years ago
- Some standalone stream fusion experiments☆13Feb 28, 2016Updated 10 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.
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Mar 12, 2022Updated 4 years ago
- OUTDATED see https://github.com/kvakvs/ErlangRT, https://github.com/kvakvs/ErlangAoT and https://github.com/kvakvs/E4VM instead -- Gluon …☆68Feb 1, 2016Updated 10 years ago
- Binary streaming library for Postgres data pipelines☆18Oct 2, 2019Updated 7 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆67Jul 17, 2026Updated 3 months ago
- Schrödinger's Tcl☆29Mar 2, 2015Updated 11 years ago
- Small Image Library for Python 3☆416Dec 8, 2022Updated 3 years ago
- Quantized word vectors that take 8x-16x less space than regular word vectors☆753Mar 31, 2020Updated 6 years ago