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
- A workshop for scientific computing in Python. ( December 2017 )☆378Updated 7 years ago
- Python to Regex. Regex to Python. The yRegex for humans.☆517Updated 3 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 3 months ago
- an embeddable dumb heartbeat daemon in 260 bytes of RAM and ≈350 bytes of code☆270Updated 7 years ago
- A framework for creating Python/C++ polyglots, programs valid in both programming languages☆146Updated 6 years ago
- A new pure functional language built on the top of Python☆280Updated 3 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 Reasoning System for a First-Order Logic of Limited Belief, written in C++☆237Updated 4 years ago
- Find surprising moves in chess games☆178Updated 4 years ago
- The Swiss army knife of data examination and manipulation☆333Updated 6 years ago
- A visual introspective GUI maker with live editing of the GUI and its editor at the same time☆187Updated 7 years ago
- PySchemes is a library for validating data structures in python☆364Updated 2 years ago
- Chaotic Life☆44Updated 7 years ago
- Neural network inference the Unix way☆560Updated 6 years ago
- Casual experiments with cellular automata☆78Updated 6 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
- Simple blockchain server written in Haskell for educational purposes☆601Updated 7 years ago
- A series of steps to generate fully customizable 'static' (or completely random) images.☆51Updated 6 years ago
- Fundamental algorithms☆93Updated 5 years ago
- A lightweight database with Python syntax queries, using ZeroMQ☆276Updated 8 years ago
- Using word vectors to classify spam messages☆150Updated 7 years ago
- Generate guitar tablatures using a constraint solver☆138Updated 5 years ago
- Simulate reverse causality using quantum suicide.☆366Updated 8 years ago
- A bytecode compiler for Python 3☆157Updated 4 years ago
- A simple Wolfram Language clone in Haskell☆243Updated 5 years ago
- Send your stdin to google sheets☆542Updated 4 years ago
- Fun with time travel: Implementing retroactive data structures in Python☆225Updated 3 years ago