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 3 years ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆281Updated last week
• perspectivesonatheme / patterns
  A framework of abstractions
  ☆293Updated 7 months ago
• Andrewnetwork / WorkshopScipy
  A workshop for scientific computing in Python. ( December 2017 )
  ☆378Updated 6 years ago
• karldray / quantum
  Simulate reverse causality using quantum suicide.
  ☆365Updated 8 years ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆237Updated 4 years ago
• lukego / blog
  Luke Gorrie's blog
  ☆565Updated last year
• kai-qu / notation
  Collection of quotes on notation design & how it affects thought.
  ☆1,847Updated 4 years ago
• csvoss / retroactive
  Fun with time travel: Implementing retroactive data structures in Python
  ☆225Updated 3 years ago
• iogf / lax
  Write Python instead of Latex for math expressions.
  ☆189Updated 4 years ago
• baruchel / lambdascript
  A new pure functional language built on the top of Python
  ☆280Updated 3 years ago
• aviaviavi / legion
  Simple blockchain server written in Haskell for educational purposes
  ☆601Updated 7 years ago
• deobald / vipassana-for-hackers
  A document version of my "Vipassana for Hackers" talk
  ☆594Updated 8 months ago
• raganwald / presentations
  Conference Talks and Proposals
  ☆752Updated 7 years ago
• AthenaModel / athena
  Athena Regional Stability Simulation
  ☆85Updated 9 years ago
• webyrd / Barliman
  Prototype smart text editor
  ☆1,057Updated 8 months ago
• siemanko / 6.006-2015-notebooks
  ☆239Updated 8 years ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago
• antontarasenko / smq
  A collection of SQL queries to social media datasets.
  ☆1,547Updated 5 years ago
• marcdacosta / ambient-shipping
  This repo contains utilities for capturing AIS messages and joining them with shipping records.
  ☆427Updated 7 years ago
• kren1 / tosheets
  Send your stdin to google sheets
  ☆543Updated 4 years ago
• kdexd / digit-classifier
  A single handwritten digit classifier, using the MNIST dataset. Pure Numpy.
  ☆786Updated 5 years ago
• jostmey / NakedTensor
  Bare bone examples of machine learning in TensorFlow
  ☆2,417Updated 7 years ago
• kendricktan / misocoin
  Barebones bitcoin-like protocol implemented in Python 3.6
  ☆394Updated 7 years ago
• jisaacso / DeepHeart
  Neural networks for monitoring cardiac data
  ☆486Updated 4 years ago
• mdipierro / nlib
  The book "Annotated Algorithms in Python" and the nlib.py library
  ☆1,329Updated last year
• alexgreene / WikiQuiz
  Generates a quiz for a Wikipedia page using parts of speech and text chunking.
  ☆803Updated 4 years ago
• sangupta / ps
  Problem Solving
  ☆900Updated 5 years ago
• cloudkj / layer
  Neural network inference the Unix way
  ☆559Updated 5 years ago
• abdelhai / devblogs
  +2600 developer-related blogs and publications.
  ☆637Updated 7 years ago