Alternatives and similar repositories for algebraic-general-topology:

Users that are interested in algebraic-general-topology are comparing it to the libraries listed below

• jaberg / pyautodiff
  Automatic differentiation for NumPy
  ☆42Updated 11 years ago
• piskvorky / PredatorPrey
  Boid flocking model in OpenGL
  ☆12Updated 7 years ago
• MartyWeissman / Python-for-number-theory
  A series of introductory instructional python notebooks, for computational number theory.
  ☆15Updated 7 years ago
• IDSIA / credici
  Credici: Credal Inference for Causal Inference
  ☆16Updated 6 months ago
• edwardjhu / improved_wasserstein
  Code for our ICLR Trustworthy ML 2020 workshop paper "Improved Image Wasserstein Attacks and Defenses"
  ☆14Updated 4 years ago
• intel / graphbuilder
  The GraphBuilder library provides functions to construct large scale graphs. It is implemented on Apache Hadoop.
  ☆97Updated 10 years ago
• finsberg / category-theory-python
  Learning platform for category theory in python
  ☆16Updated this week
• tomzx / agi-concept-map
  The AGI Concept Map is my attempt at reconstructing all the internal knowledge I've acquired about artificial general intelligence over t…
  ☆14Updated 5 years ago
• mlarocca / Algorithms
  General purpose implementation of advanced algorithms
  ☆47Updated 8 years ago
• CarsonScott / CALM
  Conditional Associative Logic Memory
  ☆27Updated 7 years ago
• open-machine-learning / mloss
  Machine Learning Open Source Software
  ☆23Updated 6 years ago
• nanowebcoder / NanoQuantumShellGame
  In this online version of the classic con game, we demonstrate how to use IBM's quantum computer to solve the riddle of the game by deduc…
  ☆10Updated 7 years ago
• jessica-taylor / hashlattice
  A distributed network based on hash codes and lattices.
  ☆14Updated 8 years ago
• leihuang / infotopo0
  Information geometry and its extension information topology
  ☆10Updated 7 years ago
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆72Updated 3 years ago
• cvickery / IEEE-754
  Web page to analyze IEEE-754 floating point values.
  ☆19Updated 6 months ago
• chiggum / Neural-Turing-Machines
  An attempt at replicating Deepmind's Neural Turing Machines in Theano
  ☆11Updated 8 years ago
• dubrousky / Mathematica-REPL
  Mathematica REPL plugin for IntellyJ IDEA IDE
  ☆14Updated 6 years ago
• KULeuven-CS / Parallel-Computing
  Parallel Computing (B-KUL-H03F9A)
  ☆9Updated 10 years ago
• dave-fernandes / SaddleFreeOptimizer
  A second order optimizer for TensorFlow that uses the Saddle-Free method.
  ☆20Updated 6 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• kks32 / writing-thesis-effectively
  Writing your papers and thesis more effectively: LaTeX, Reference Management, Vector Graphics & Version Control
  ☆18Updated 10 years ago
• Rainymood / Gradient-Descent-The-Ultimate-Optimizer
  Paper and code for Gradient Descent: The Ultimate Optimizer
  ☆24Updated last year
• higham / companion-applied-mathematics-bib
  BibTeX bibliography for The Princeton Companion to Applied Mathematics.
  ☆10Updated 9 years ago
• LeeSmithSBCC / Jupyter-Math-For-Nerds
  Quick reference for using Sympy and Jupyter to quickly solve college math
  ☆9Updated 6 years ago
• tzwenn / MathGenealogy
  Downloading and displaying academic ancestry
  ☆16Updated 9 years ago
• davidar / stochaskell
  ☆13Updated 2 years ago
• NeuroRoboticTech / AnimatLabPublicSource
  Public source code for AnimatLab neuromechanical simulator system
  ☆14Updated 8 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 3 years ago
• JordanMicahBennett / Supermathematics-and-Artificial-General-Intelligence
  I clearly unravel how I came to invent the supermanifold hypothesis in deep learning, (a part of a system called 'thought curvature') in …
  ☆19Updated 2 years ago