j2kun / art-turing-ellipse
A six-panel artistic rendition of Alan Turing
☆20Updated 4 years ago
Alternatives and similar repositories for art-turing-ellipse:
Users that are interested in art-turing-ellipse are comparing it to the libraries listed below
- Some numerical optimization methods implemented in Haskell☆47Updated 4 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated 11 months ago
- Turning Javascript into a probabilistic programming language☆58Updated 7 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 8 years ago
- Interactive-diagrams☆39Updated 9 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".☆26Updated 8 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- A funny toy programming language project☆29Updated 12 years ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 12 years ago
- A Web Browser written with Haskell☆36Updated 3 years ago
- A functional reactive GUI for John Conway's Game of Life.☆25Updated 8 years ago
- Experimental Javascript Environment☆22Updated 15 years ago
- Haskell bindings to SymEngine☆25Updated last year
- ☆49Updated 8 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Implementation of different variants of Parseval metric☆15Updated 10 years ago
- Different Implementations of Norvig's spellchecker☆38Updated 10 years ago
- A neural assembly compiler for pyTorch based on adaptive-neural-compilation☆27Updated 6 years ago
- Use Travis CI with Racket☆42Updated 4 years ago
- A topology textbook with a hubristic title☆29Updated 9 years ago
- Experimental ML/AI code☆21Updated 3 years ago
- ☆60Updated 7 years ago
- Funn: Functional Neural Networks in Haskell☆25Updated 5 years ago
- playing with recurrent neural networks☆28Updated 9 years ago
- The Design and Implementation of Probabilistic Programming Languages☆176Updated 11 months ago
- Frege Interpreter☆15Updated 4 years ago
- This repo has been merged into: https://github.com/music-suite/music-suite☆52Updated 4 years ago
- Bézier curves in Haskell☆28Updated 8 years ago