Syzygies / concepts-artboardsLinks
Ruby script to convert Concepts SVG files into multiple PDF pages
☆11Updated 3 years ago
Alternatives and similar repositories for concepts-artboards
Users that are interested in concepts-artboards are comparing it to the libraries listed below
Sorting:
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 8 months ago
- ☆53Updated 4 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 4 months ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- ☆93Updated 5 months ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆80Updated 4 months ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- Brzozowski derivative python sketch☆85Updated 3 months ago
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆17Updated last year
- Reader to enable embedding images in source files as text☆19Updated 7 months ago
- Plot Cookbook☆50Updated 2 years ago
- 🦠 AD in less than 20 lines☆54Updated 3 years ago
- Fun with wgpu: Simulating slime mold☆24Updated 11 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆64Updated this week
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- ☆14Updated last year
- functional neural networks in ocaml☆89Updated 5 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Scripts for generating flashcards.☆40Updated 2 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆73Updated last year
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆28Updated 2 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University☆17Updated 7 years ago
- generate art from a hash☆24Updated 2 weeks ago
- the origins of J☆63Updated 2 years ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- The Unix way to keep a personal journal☆16Updated 4 years ago
- [WIP] A book on the k language.☆48Updated 2 years ago