solb / sigbovikLinks
Proceedings of the annual intercalary robot dance party in celebration of workshop on symposium about 2^6th birthdays; in particular, that of Harry Q. Bovik
☆12Updated 4 years ago
Alternatives and similar repositories for sigbovik
Users that are interested in sigbovik are comparing it to the libraries listed below
Sorting:
- A web application to visualize complex mappings.☆30Updated 8 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- DeepAlgebra☆25Updated 7 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- Metamath verifier in Python☆39Updated 2 weeks ago
- Casual experiments with cellular automata☆78Updated 6 years ago
- The pastebin for mathematicians☆35Updated 11 years ago
- Conformally map the hyperbolic plane to arbitrary shapes.☆62Updated last year
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- Abelian sandpiles☆16Updated 7 months ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Cellular automata search program☆26Updated 2 years ago
- A toy for making geometric art, inspired by Islamic Zellij.☆18Updated 6 years ago
- Bézier curves in Haskell☆28Updated 8 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- GL Wavefunction Visualizer☆46Updated 7 months ago
- tool for creating and sharing annotations, using github for storage and social network☆90Updated 3 years ago
- Code for the series "Searching for Riemann Hypothesis Counterexamples"☆21Updated last year
- This is a Coloring Book about Group Theory☆89Updated 2 years ago
- Examples of literate programming by Knuth☆37Updated last year
- A book of explanations: a project for nanogenmo 2016☆11Updated 8 years ago
- Smallish programs written to learn something.☆51Updated last year
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Updated 7 years ago
- Logic for story telling!☆34Updated 7 years ago
- A program that generates a cartoon and a caption using SVG paths and Markov chains☆10Updated 8 years ago
- The Math of Card Shufflig☆38Updated 3 years ago