Alternatives and similar repositories for FormalSystems

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

• louisabraham / algnuth
  Algebraic Number Theory package
  ☆271Updated 4 years ago
• siemanko / 6.006-2015-notebooks
  ☆238Updated 9 years ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 10 months ago
• karldray / quantum
  Simulate reverse causality using quantum suicide.
  ☆367Updated 9 years ago
• perspectivesonatheme / patterns
  A framework of abstractions
  ☆294Updated last year
• deobald / vipassana-for-hackers
  A document version of my "Vipassana for Hackers" talk
  ☆595Updated last year
• CYHSM / chess-surprise-analysis
  Find surprising moves in chess games
  ☆178Updated 5 years ago
• baruchel / lambdascript
  A new pure functional language built on the top of Python
  ☆279Updated 4 years ago
• raganwald / presentations
  Conference Talks and Proposals
  ☆751Updated 7 years ago
• AthenaModel / athena
  Athena Regional Stability Simulation
  ☆85Updated 9 years ago
• kdexd / digit-classifier
  A single handwritten digit classifier, using the MNIST dataset. Pure Numpy.
  ☆786Updated 6 years ago
• lukego / blog
  Luke Gorrie's blog
  ☆567Updated 2 years ago
• Andrewnetwork / WorkshopScipy
  A workshop for scientific computing in Python. ( December 2017 )
  ☆378Updated 7 years ago
• mdipierro / nlib
  The book "Annotated Algorithms in Python" and the nlib.py library
  ☆1,333Updated 2 years ago
• aviaviavi / legion
  Simple blockchain server written in Haskell for educational purposes
  ☆602Updated 7 years ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆234Updated 5 years ago
• csvoss / retroactive
  Fun with time travel: Implementing retroactive data structures in Python
  ☆227Updated 4 years ago
• fgadaleta / deeplearning-ahem-detector
  ☆438Updated 7 years ago
• iogf / lax
  Write Python instead of Latex for math expressions.
  ☆189Updated 5 years ago
• jisaacso / DeepHeart
  Neural networks for monitoring cardiac data
  ☆489Updated 5 years ago
• robinhouston / image-unshredding
  ☆610Updated 9 years ago
• jostmey / DeepNeuralClassifier
  Deep neural network using rectified linear units to classify hand written symbols from the MNIST dataset.
  ☆244Updated 2 years ago
• kennycason / bayesian_sentiment_analysis
  Pragmatic & Practical Bayesian Sentiment Classifier
  ☆221Updated 8 years ago
• mehrdadn / SOTA-Py
  A discrete-time Python-based solver for the Stochastic On-Time Arrival routing problem
  ☆416Updated 4 years ago
• tarmstrong / longcv
  Honest CVs from programmers
  ☆232Updated 4 years ago
• dsys / tensorflow
  TensorFlow for AWS
  ☆115Updated 10 years ago
• OlegMazurov / Koyaanisqatsi
  Chaotic Life
  ☆44Updated 8 years ago
• danijar / layered
  Clean implementation of feed forward neural networks
  ☆241Updated 9 years ago
• webyrd / Barliman
  Prototype smart text editor
  ☆1,067Updated 9 months ago
• cytora / pycon-nlp-in-10-lines
  Repository for PyCon 2016 workshop Natural Language Processing in 10 Lines of Code
  ☆240Updated 8 years ago