Alternatives and similar repositories for algnuth:

Users that are interested in algnuth are comparing it to the libraries listed below

• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆622Updated 4 years ago
• kendricktan / misocoin
  Barebones bitcoin-like protocol implemented in Python 3.6
  ☆395Updated 7 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated last month
• kragen / dumpulse
  an embeddable dumb heartbeat daemon in 260 bytes of RAM and ≈350 bytes of code
  ☆271Updated 7 years ago
• iogf / lax
  Write Python instead of Latex for math expressions.
  ☆189Updated 5 years ago
• kstenerud / bo
  The Swiss army knife of data examination and manipulation
  ☆333Updated 6 years ago
• karldray / quantum
  Simulate reverse causality using quantum suicide.
  ☆366Updated 8 years ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆238Updated 4 years ago
• Andrewnetwork / WorkshopScipy
  A workshop for scientific computing in Python. ( December 2017 )
  ☆378Updated 7 years ago
• wmww / Python-plus-plus
  A framework for creating Python/C++ polyglots, programs valid in both programming languages
  ☆146Updated 6 years ago
• hchasestevens / hchasestevens.github.io
  A collection of miscellaneous thoughts that aren't on my blog.
  ☆672Updated 4 years ago
• aviaviavi / legion
  Simple blockchain server written in Haskell for educational purposes
  ☆601Updated 7 years ago
• adamisntdead / QuSimPy
  A Multi-Qubit Ideal Quantum Computer Simulator
  ☆726Updated 3 years ago
• cloudkj / layer
  Neural network inference the Unix way
  ☆560Updated 5 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆244Updated 5 years ago
• iogf / crocs
  Python to Regex. Regex to Python. The yRegex for humans.
  ☆517Updated 3 years ago
• TheDen / 0xfee1dead.top
  Live htop 📺
  ☆208Updated 5 years ago
• kragniz / anyprint
  Use any* language's print statements in Python
  ☆401Updated 3 years ago
• alexkey / cookiecutter-lux-python
  Cookiecutter template for an idiomatic Python project driven by Makefile
  ☆100Updated 4 years ago
• spy16 / pyschemes
  PySchemes is a library for validating data structures in python
  ☆366Updated 2 years ago
• jchampemont / awesome-lightweights
  This is a list of open source, lightweight, readable implementations of various protocols and technologies.
  ☆77Updated 7 years ago
• seagreen / Son
  Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json
  ☆358Updated 5 years ago
• baruchel / lambdascript
  A new pure functional language built on the top of Python
  ☆280Updated 3 years ago
• lion137 / Fundamental_Algorithms
  Fundamental algorithms
  ☆93Updated 5 years ago
• bjpop / blip
  A bytecode compiler for Python 3
  ☆157Updated 4 years ago
• asrp / pyzdb
  A lightweight database with Python syntax queries, using ZeroMQ
  ☆276Updated 8 years ago
• ericu / CellCulTuring
  Casual experiments with cellular automata
  ☆77Updated 6 years ago
• asrp / tkui
  A visual introspective GUI maker with live editing of the GUI and its editor at the same time
  ☆187Updated 7 years ago
• aumouvantsillage / TablaZinc
  Generate guitar tablatures using a constraint solver
  ☆138Updated 5 years ago