Alternatives and similar repositories for sigbovik

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

• mabotkin / complex
  A web application to visualize complex mappings.
  ☆30Updated 8 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 2 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• superpermutators / superperm
  ☆126Updated last year
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated 3 weeks ago
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆86Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months 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
• ridiculousfish / wavefiz
  GL Wavefunction Visualizer
  ☆46Updated 8 months ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆161Updated last week
• mapio / programming-with-escher
  A Python implementation of "Functional Geometry" by Peter Henderson
  ☆101Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated last month
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆51Updated last year
• zenorogue / newconformist
  Conformally map the hyperbolic plane to arbitrary shapes.
  ☆63Updated last year
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 3 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• dpiponi / quine-central
  A quine generator
  ☆314Updated 6 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆156Updated last year
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆85Updated 4 years ago
• aberke / coloring-book
  This is a Coloring Book about Group Theory
  ☆89Updated 2 years ago