Alternatives and similar repositories for sigbovik

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

• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• dpiponi / pile
  Abelian sandpiles
  ☆16Updated 6 months ago
• ridiculousfish / wavefiz
  GL Wavefunction Visualizer
  ☆46Updated 7 months ago
• mabotkin / complex
  A web application to visualize complex mappings.
  ☆30Updated 8 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• colah / Motivated-Topology
  A topology textbook with a hubristic title
  ☆30Updated 9 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• nvquanghuy / texpaste
  The pastebin for mathematicians
  ☆35Updated 10 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆51Updated last year
• moonmilk / explanations
  A book of explanations: a project for nanogenmo 2016
  ☆11Updated 8 years ago
• axch / dysvunctional-language
  Running the code you want to write as fast as the code you have to write
  ☆140Updated 8 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 2 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆78Updated 6 years ago
• ericu / CellCulTuring
  Casual experiments with cellular automata
  ☆78Updated 6 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆148Updated 4 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated last year
• esneider / latex-pseudocode
  Beautiful pseudocode in latex
  ☆21Updated 11 years ago
• chrisfosterelli / physical-gradient-descent
  Code for https://fosterelli.co/executing-gradient-descent-on-the-earth
  ☆69Updated 9 months ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• UACalc / uacalcsrc
  The Universal Algebra Calculator
  ☆14Updated 2 years ago
• aic-sri-international / aic-praise
  SRI International's AIC PRAiSE (Probabilistic Reasoning As Symbolic Evaluation) Library (for Java 1.8+)
  ☆12Updated 4 years ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago