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
  ☆89Updated 2 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆36Updated 7 months ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆77Updated 5 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• dpiponi / pile
  Abelian sandpiles
  ☆15Updated 2 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• zenorogue / newconformist
  Conformally map the hyperbolic plane to arbitrary shapes.
  ☆63Updated last year
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• ericu / CellCulTuring
  Casual experiments with cellular automata
  ☆76Updated 5 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 4 years ago
• mapio / programming-with-escher
  A Python implementation of "Functional Geometry" by Peter Henderson
  ☆101Updated 4 years ago
• torypeterschild / the-cartoonist
  A program that generates a cartoon and a caption using SVG paths and Markov chains
  ☆9Updated 8 years ago
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆82Updated 7 months ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• chrisfosterelli / physical-gradient-descent
  Code for https://fosterelli.co/executing-gradient-descent-on-the-earth
  ☆69Updated 5 months ago
• mouse-reeve / fruit
  ☆19Updated 5 years ago
• lealbaugh / little-loom
  ☆27Updated 6 years ago
• vbeffara / Simulations
  Various simulations of random processes
  ☆11Updated last year
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆72Updated 6 years ago
• brianquinlan / brainfuck-jit
  A simple Brainfuck JIT written as a learning exercise.
  ☆15Updated 5 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆141Updated last month
• oinkina / Lambda-Oinks
  Source for Lambda Oinks blog. Made with Hakyll and Bootstrap.
  ☆24Updated 10 years ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated 2 months ago
• blynn / morans
  Get a Brain
  ☆24Updated 5 years ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago