louisabraham / algnuth
Algebraic Number Theory package
☆272Updated 3 years ago
Alternatives and similar repositories for algnuth:
Users that are interested in algnuth are comparing it to the libraries listed below
- Barebones bitcoin-like protocol implemented in Python 3.6☆394Updated 7 years ago
- Write Python instead of Latex for math expressions.☆189Updated 5 years ago
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆622Updated 4 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 2 months ago
- Chaotic Life☆44Updated 7 years ago
- an embeddable dumb heartbeat daemon in 260 bytes of RAM and ≈350 bytes of code☆271Updated 7 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆238Updated 4 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json☆358Updated 5 years ago
- A new pure functional language built on the top of Python☆280Updated 3 years ago
- The Swiss army knife of data examination and manipulation☆333Updated 6 years ago
- Python to Regex. Regex to Python. The yRegex for humans.☆517Updated 3 years ago
- Find surprising moves in chess games☆178Updated 4 years ago
- A workshop for scientific computing in Python. ( December 2017 )☆378Updated 7 years ago
- A framework for creating Python/C++ polyglots, programs valid in both programming languages☆146Updated 6 years ago
- Use any* language's print statements in Python☆401Updated 3 years ago
- Simple blockchain server written in Haskell for educational purposes☆601Updated 7 years ago
- A visual introspective GUI maker with live editing of the GUI and its editor at the same time☆187Updated 7 years ago
- Neural network inference the Unix way☆560Updated 6 years ago
- A lightweight database with Python syntax queries, using ZeroMQ☆276Updated 8 years ago
- Casual experiments with cellular automata☆77Updated 6 years ago
- PySchemes is a library for validating data structures in python☆364Updated 2 years ago
- Cookiecutter template for an idiomatic Python project driven by Makefile☆101Updated 4 years ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆540Updated 2 years ago
- Include Jupyter notebook cells in TeX documents☆142Updated 8 months ago
- A simple Wolfram Language clone in Haskell☆243Updated 5 years ago
- A bytecode compiler for Python 3☆157Updated 4 years ago
- Athena Regional Stability Simulation☆85Updated 9 years ago
- Fundamental algorithms☆93Updated 5 years ago
- Constant-Time Toolkit☆295Updated 6 years ago