louisabraham / algnuthLinks
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
Sorting:
- 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
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A visual introspective GUI maker with live editing of the GUI and its editor at the same time☆186Updated 7 years ago
- A workshop for scientific computing in Python. ( December 2017 )☆378Updated 7 years ago
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆621Updated 4 years ago
- Chaotic Life☆44Updated 7 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 3 months ago
- A framework for creating Python/C++ polyglots, programs valid in both programming languages☆146Updated 6 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 4 years ago
- Python to Regex. Regex to Python. The yRegex for humans.☆517Updated 3 years ago
- The Swiss army knife of data examination and manipulation☆333Updated 6 years ago
- an embeddable dumb heartbeat daemon in 260 bytes of RAM and ≈350 bytes of code☆270Updated 7 years ago
- Neural network inference the Unix way☆559Updated 6 years ago
- A simple Wolfram Language clone in Haskell☆244Updated 5 years ago
- A new pure functional language built on the top of Python☆280Updated 3 years ago
- Casual experiments with cellular automata☆78Updated 6 years ago
- PySchemes is a library for validating data structures in python☆364Updated 2 years ago
- Simple blockchain server written in Haskell for educational purposes☆601Updated 7 years ago
- Make interactive games in Haskell using GIF streams that can be shown in the web browser☆201Updated last year
- Generate guitar tablatures using a constraint solver☆138Updated 5 years ago
- Cookiecutter template for an idiomatic Python project driven by Makefile☆101Updated 4 years ago
- Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic☆116Updated 7 years ago
- Generate minimaps of your code☆168Updated 7 years ago
- Thoughts on resolution independence☆145Updated 12 years ago
- Is there a relationship between popularity of a given technology on Stack Overflow (SO) and Hacker News (HN)? And a few words about causa…☆96Updated 6 years ago
- A lightweight database with Python syntax queries, using ZeroMQ☆276Updated 8 years ago
- Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json☆358Updated 5 years ago
- A framework of abstractions☆293Updated 11 months ago
- A Multi-Qubit Ideal Quantum Computer Simulator☆725Updated 4 years ago