Algebraic Number Theory package
☆270Jun 23, 2021Updated 4 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:
- Python code to implement various number theory, elliptic curve and finite field computations.☆103Oct 13, 2021Updated 4 years ago
- A series of introductory instructional python notebooks, for computational number theory.☆17Feb 12, 2018Updated 8 years ago
- Type-safe tic-tac-toe using Typesafe programming in Haskell☆15Sep 1, 2017Updated 8 years ago
- A Haskell number theory library.☆15Jul 3, 2017Updated 8 years ago
- Just for my markdown files☆15Jun 19, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆626Mar 25, 2021Updated 5 years ago
- Cannoli Programming Language☆767Oct 25, 2018Updated 7 years ago
- Include Jupyter notebook cells in TeX documents☆143Jan 5, 2026Updated 2 months ago
- DANGER, WILL ROBINSON: THIS REPOSITORY IS IN MAINTENANCE MODE! I will not be continuing feature development or fixing bugs in this codeba…☆346Jul 30, 2020Updated 5 years ago
- Constant-Time Toolkit☆300Aug 29, 2018Updated 7 years ago
- Find surprising moves in chess games☆178Dec 16, 2020Updated 5 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.☆21Jun 9, 2020Updated 5 years ago
- A short guide on features of Python 3 with examples☆3,601May 3, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Multi-Qubit Ideal Quantum Computer Simulator☆725Jun 4, 2021Updated 4 years ago
- Python Library for Studying Binary Trees☆1,816Oct 4, 2023Updated 2 years ago
- Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json☆358Dec 23, 2019Updated 6 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆19Apr 25, 2017Updated 8 years ago
- Write Python APIs, then call them from JavaScript using the V8 engine.☆451Jan 18, 2024Updated 2 years ago
- A library of recreational mathematics and number theory related functions inspired by Project Euler☆19May 5, 2015Updated 10 years ago
- Quantitative Type Theory implementation☆54Jun 2, 2021Updated 4 years ago
- Typing in Tandem. Decentralized, cross-editor, collaborative text-editing!☆703Apr 18, 2023Updated 2 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Various ipython notebooks☆1,551Jan 27, 2018Updated 8 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Quantized word vectors that take 8x-16x less space than regular word vectors☆752Mar 31, 2020Updated 5 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Mar 15, 2023Updated 3 years ago
- Some standalone stream fusion experiments☆13Feb 28, 2016Updated 10 years ago
- Continuous Domain Game of Life in Python with Numpy☆704Jan 9, 2025Updated last year
- Python to python compiler that allows you to use Python 3.6 features in older versions.☆311Mar 22, 2021Updated 5 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆61Mar 16, 2026Updated last week
- Schrödinger's Tcl☆29Mar 2, 2015Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Search engine with a static webserver☆68Dec 14, 2021Updated 4 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Oct 7, 2018Updated 7 years ago
- Inline, type safe X86-64 assembly programming in Agda☆69Jan 3, 2019Updated 7 years ago
- Modernish is a library for writing robust, portable, readable, and powerful programs for POSIX-based shells and utilities.☆934Feb 12, 2026Updated last month
- Dashboards using YAML or JSON files☆1,575Feb 21, 2026Updated last month
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- [DEPRECATED] Unofficial Python Pandas DataReader objects with requests and requests_cache☆16Mar 5, 2018Updated 8 years ago