Alternatives and similar repositories for sigbovik:

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

• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• nedbat / zellij
  A toy for making geometric art, inspired by Islamic Zellij.
  ☆18Updated 6 years ago
• dpiponi / pile
  Abelian sandpiles
  ☆16Updated 5 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
• torypeterschild / the-cartoonist
  A program that generates a cartoon and a caption using SVG paths and Markov chains
  ☆9Updated 8 years ago
• ericu / CellCulTuring
  Casual experiments with cellular automata
  ☆77Updated 6 years ago
• zenorogue / newconformist
  Conformally map the hyperbolic plane to arbitrary shapes.
  ☆62Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• pi-co / List-of-all-Foods
  Exhaustive list of all foods & food items in the world. Crawled from Wikipedia.
  ☆19Updated 8 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆51Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 2 years ago
• creswick / HaVSA
  HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.
  ☆12Updated 7 years ago
• nvquanghuy / texpaste
  The pastebin for mathematicians
  ☆35Updated 10 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
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• chrisamaphone / sestina
  Tinkering with creating a functional programming language for procedural content generation.
  ☆18Updated 5 months ago
• tsgouros / www-shrdlu
  A revival of Terry Winograd's famous SHRDLU program, adapted to use on the web.
  ☆31Updated 10 years ago
• moonmilk / explanations
  A book of explanations: a project for nanogenmo 2016
  ☆11Updated 8 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• fredhohman / card-shuffling
  The Math of Card Shufflig
  ☆38Updated 2 years ago
• cyrus- / thesis
  My PhD thesis, titled "Reasonably Programmable Syntax"
  ☆15Updated 6 years ago
• lealbaugh / little-loom
  ☆27Updated 6 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 6 months ago