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:
- A simple and unified notation for both object and markup data.☆459Jul 25, 2025Updated 8 months ago
- 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
- 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.
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆626Mar 25, 2021Updated 5 years ago
- Cannoli Programming Language☆766Oct 25, 2018Updated 7 years ago
- Include Jupyter notebook cells in TeX documents☆143Jan 5, 2026Updated 3 months ago
- 🧮 Reading group about differential, integral and logical calculi.☆26May 7, 2024Updated last year
- Constant-Time Toolkit☆300Aug 29, 2018Updated 7 years ago
- Find surprising moves in chess games☆179Dec 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
- 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 Multi-Qubit Ideal Quantum Computer Simulator☆723Jun 4, 2021Updated 4 years ago
- Python Library for Studying Binary Trees☆1,815Oct 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
- 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 3 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 7 years ago
- Various ipython notebooks☆1,552Jan 27, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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☆753Mar 31, 2020Updated 6 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☆705Jan 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☆61Updated this week
- Schrödinger's Tcl☆29Mar 2, 2015Updated 11 years ago
- Search engine with a static webserver☆68Dec 14, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Assisted performance of music scores displayed in browsers☆18Aug 29, 2023Updated 2 years ago
- Binary streaming library for Postgres data pipelines☆18Oct 2, 2019Updated 6 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☆70Jan 3, 2019Updated 7 years ago
- Modernish is a library for writing robust, portable, readable, and powerful programs for POSIX-based shells and utilities.☆936Feb 12, 2026Updated 2 months ago
- Dashboards using YAML or JSON files☆1,576Feb 21, 2026Updated last month
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago