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 10 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
- A Haskell number theory library.☆15Jul 3, 2017Updated 8 years ago
- Just for my markdown files☆15Jun 19, 2018Updated 7 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 Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆625Mar 25, 2021Updated 5 years ago
- Cannoli Programming Language☆765Oct 25, 2018Updated 7 years 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
- 🧮 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
- 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,598May 3, 2021Updated 5 years ago
- Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json☆358Dec 23, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- Quantitative Type Theory implementation☆54Jun 2, 2021Updated 5 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Various ipython notebooks☆1,552Jan 27, 2018Updated 8 years ago
- Quantized word vectors that take 8x-16x less space than regular word vectors☆753Mar 31, 2020Updated 6 years ago
- Continuous Domain Game of Life in Python with Numpy☆705Jan 9, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Python to python compiler that allows you to use Python 3.6 features in older versions.☆312Mar 22, 2021Updated 5 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆62Apr 16, 2026Updated last month
- Schrödinger's Tcl☆29Mar 2, 2015Updated 11 years ago
- Parody generation with Markov Chain☆42Jul 2, 2016Updated 9 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
- 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.
- Modernish is a library for writing robust, portable, readable, and powerful programs for POSIX-based shells and utilities.☆938Feb 12, 2026Updated 3 months ago
- Dashboards using YAML or JSON files☆1,578Feb 21, 2026Updated 3 months ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- xPress File archiver and extractor☆15Aug 16, 2019Updated 6 years ago
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆36May 14, 2017Updated 9 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆44Jul 27, 2019Updated 6 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Jun 16, 2024Updated last year