solb / sigbovik
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 3 years ago
Related projects: ⓘ
- A programming language based on a 2D Hilbert curve grid☆88Updated last year
- A web application to visualize complex mappings.☆28Updated 7 years ago
- DeepAlgebra☆25Updated 6 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 7 years ago
- GL Wavefunction Visualizer☆45Updated 8 years ago
- Abelian sandpiles☆15Updated 5 years ago
- Comic generation sandbox☆9Updated 7 years ago
- Conformally map the hyperbolic plane to arbitrary shapes.☆61Updated 8 months ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆72Updated 6 years ago
- Metamath verifier in Python☆35Updated 5 months ago
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆76Updated 5 years ago
- A program that generates a cartoon and a caption using SVG paths and Markov chains☆9Updated 7 years ago
- ☆17Updated this week
- The pastebin for mathematicians☆35Updated 10 years ago
- Various simulations of random processes☆11Updated 9 months ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆128Updated 10 years ago
- Casual experiments with cellular automata☆76Updated 5 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆90Updated 5 years ago
- Compiler for MFM programming language☆21Updated 3 months ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Updated 7 years ago
- Examples of literate programming by Knuth☆35Updated 3 months ago
- Updated LazyK source distribution☆17Updated 5 years ago
- An explainer on entropy☆61Updated 5 months ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆36Updated this week
- Smallish programs written to learn something.☆50Updated 8 months ago
- An automated approach to the Collatz conjecture☆12Updated 11 months ago
- Effective Multi-threading in Befunge!☆46Updated 6 years ago
- PRolog Equation Solving System☆29Updated 8 years ago
- Automate pulling Springer's free books.☆11Updated 4 years ago