Algebraic Number Theory package
☆269Jun 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 11 months ago
- Python code to implement various number theory, elliptic curve and finite field computations.☆104Oct 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
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 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"☆625Mar 25, 2021Updated 5 years ago
- DANGER, WILL ROBINSON: THIS REPOSITORY IS IN MAINTENANCE MODE! I will not be continuing feature development or fixing bugs in this codeba…☆345Jul 30, 2020Updated 5 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26May 7, 2024Updated 2 years ago
- 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 6 years ago
- A short guide on features of Python 3 with examples☆3,596May 3, 2021Updated 5 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.
- 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 9 years ago
- Python Library for Studying Binary Trees☆1,812Oct 4, 2023Updated 2 years ago
- A Multi-Qubit Ideal Quantum Computer Simulator☆724Jun 4, 2021Updated 5 years ago
- Write Python APIs, then call them from JavaScript using the V8 engine.☆452Jan 18, 2024Updated 2 years ago
- A library of recreational mathematics and number theory related functions inspired by Project Euler☆20May 5, 2015Updated 11 years ago
- Quantitative Type Theory implementation☆54Jun 2, 2021Updated 5 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 8 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.
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Various ipython notebooks☆1,551Jan 27, 2018Updated 8 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☆61Mar 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.☆312Mar 22, 2021Updated 5 years ago
- auto-generate blog post from coding history☆20May 30, 2014Updated 12 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆63Apr 16, 2026Updated 2 months 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.
- Schrödinger's Tcl☆29Mar 2, 2015Updated 11 years ago
- Search engine with a static webserver☆68Dec 14, 2021Updated 4 years ago
- 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.☆939Feb 12, 2026Updated 4 months ago