donkirkby / svg-turtle
Use the Python turtle to write SVG files
☆12Updated last week
Alternatives and similar repositories for svg-turtle
Users that are interested in svg-turtle are comparing it to the libraries listed below
Sorting:
- Metamath verifier in Python☆38Updated last year
- Lambda calculus parser in Haskell☆14Updated 8 years ago
- A computer built as a cellular automation pattern☆13Updated 2 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- A simple induction and BMC engine.☆23Updated 3 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Updated 4 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆26Updated 2 months ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated last year
- ☆81Updated 2 months ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆94Updated 3 years ago
- Simple array language written in kotlin☆46Updated 2 years ago
- All the ML code examples from the book "The Little MLer"☆87Updated 15 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last week
- The Thue programming language: Programming with grammars☆31Updated 10 years ago
- A probabilistic programming language based on pattern-rewriting☆81Updated last year
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- IntelliJ plugin for several experimental programming languages here☆35Updated 3 years ago
- sorear's Metamath system engine - version 3 Rust☆24Updated last year
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated 2 years ago
- A small example of a source->source pattern matching to decision tree compiler☆14Updated 4 years ago
- (λ) Educational lambda calculus interpreter☆72Updated 4 years ago
- 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
- Implementation of the Little Man Computer for learning Assembly programming in Julia☆11Updated 2 years ago
- An automated approach to the Collatz conjecture☆13Updated last year
- A simple Prolog interpreter☆42Updated 3 years ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated 2 weeks ago
- Hoare Type Theory☆75Updated last week
- VSCode extension for Metamath☆10Updated last month
- A Scheme to Unlambda compiler☆18Updated 7 years ago