Alternatives and similar repositories for algnuth:

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

• kendricktan / misocoin
  Barebones bitcoin-like protocol implemented in Python 3.6
  ☆394Updated 7 years ago
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆619Updated 3 years ago
• Andrewnetwork / WorkshopScipy
  A workshop for scientific computing in Python. ( December 2017 )
  ☆379Updated 6 years ago
• iogf / lax
  Write Python instead of Latex for math expressions.
  ☆189Updated 4 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 5 years ago
• khinsen / leibniz
  A Digital Scientific Notation
  ☆281Updated 3 years ago
• kragen / dumpulse
  an embeddable dumb heartbeat daemon in 260 bytes of RAM and ≈350 bytes of code
  ☆270Updated 7 years ago
• asrp / tkui
  A visual introspective GUI maker with live editing of the GUI and its editor at the same time
  ☆187Updated 6 years ago
• baruchel / lambdascript
  A new pure functional language built on the top of Python
  ☆280Updated 3 years ago
• ericu / CellCulTuring
  Casual experiments with cellular automata
  ☆76Updated 5 years ago
• iogf / crocs
  Python to Regex. Regex to Python. The yRegex for humans.
  ☆517Updated 2 years ago
• seagreen / Son
  Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json
  ☆358Updated 5 years ago
• karldray / quantum
  Simulate reverse causality using quantum suicide.
  ☆366Updated 8 years ago
• asrp / pyzdb
  A lightweight database with Python syntax queries, using ZeroMQ
  ☆276Updated 7 years ago
• kstenerud / bo
  The Swiss army knife of data examination and manipulation
  ☆333Updated 6 years ago
• aumouvantsillage / TablaZinc
  Generate guitar tablatures using a constraint solver
  ☆139Updated 4 years ago
• AthenaModel / athena
  Athena Regional Stability Simulation
  ☆85Updated 8 years ago
• alexkey / cookiecutter-lux-python
  Cookiecutter template for an idiomatic Python project driven by Makefile
  ☆100Updated 4 years ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆237Updated 4 years ago
• OlegMazurov / Koyaanisqatsi
  Chaotic Life
  ☆45Updated 7 years ago
• cloudkj / layer
  Neural network inference the Unix way
  ☆559Updated 5 years ago
• dgwozdz / HN_SO_analysis
  Is there a relationship between popularity of a given technology on Stack Overflow (SO) and Hacker News (HN)? And a few words about causa…
  ☆97Updated 6 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆243Updated 5 years ago
• TheDen / 0xfee1dead.top
  Live htop 📺
  ☆208Updated 5 years ago
• iostreamer-X / FuncShell
  Improve your shell by making it functional through Haskell! (An update to Awkward)
  ☆291Updated 2 years ago
• aviaviavi / legion
  Simple blockchain server written in Haskell for educational purposes
  ☆600Updated 6 years ago
• wmww / Python-plus-plus
  A framework for creating Python/C++ polyglots, programs valid in both programming languages
  ☆146Updated 5 years ago
• CYHSM / chess-surprise-analysis
  Find surprising moves in chess games
  ☆177Updated 4 years ago
• ParhamP / Natural_Logic_Interpreter
  Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
  ☆117Updated 6 years ago