Alternatives and similar repositories for sigbovik:

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

• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆37Updated 10 months ago
• mouse-reeve / fruit
  ☆19Updated 5 years ago
• mabotkin / complex
  A web application to visualize complex mappings.
  ☆30Updated 8 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆89Updated 2 years ago
• dpiponi / pile
  Abelian sandpiles
  ☆15Updated 2 months ago
• torypeterschild / the-cartoonist
  A program that generates a cartoon and a caption using SVG paths and Markov chains
  ☆9Updated 8 years ago
• zenorogue / newconformist
  Conformally map the hyperbolic plane to arbitrary shapes.
  ☆63Updated last year
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 4 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.
  ☆19Updated 6 years ago
• lealbaugh / little-loom
  ☆27Updated 6 years ago
• dmishin / hyperbolic-ca-simulator
  Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.
  ☆38Updated 7 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• nvquanghuy / texpaste
  The pastebin for mathematicians
  ☆35Updated 10 years ago
• rajatvd / WordGenerator
  Code for my blog post on Generating Words from Embeddings
  ☆23Updated 6 months ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated 9 months ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆50Updated last year
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• j2kun / riemann-divisor-sum
  Code for the series "Searching for Riemann Hypothesis Counterexamples"
  ☆21Updated last year
• mratsim / haskell-numbertheory
  Exploration of primes, factorization and number theory through haskell
  ☆10Updated 8 years ago
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆33Updated 5 years ago
• rdebath / LostKingdom
  Jon Ripley's Brainfuck Lost Kingdom running in your browser.
  ☆42Updated 5 years ago
• timhutton / klein-quartic
  Exploring the Klein Quartic's geometry.
  ☆28Updated last year
• rchurchley / erdos-bacon-sabbath
  An open-source celebration of creative academics & academic creatives
  ☆12Updated 7 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆72Updated 6 years ago