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:
- ☆53Updated 4 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- Fun with wgpu: Simulating slime mold☆24Updated last year
- functional neural networks in ocaml☆89Updated 5 years ago
- An error-tolerant live programming environment (my Master's thesis)☆20Updated 3 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated 10 months ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆81Updated 9 months ago
- Scripts for generating flashcards.☆44Updated 2 years ago
- ☆101Updated 10 months ago
- This tool uses OpenCV to automatically synchronize slides with videos that show these slides.☆105Updated 4 years ago
- Reader to enable embedding images in source files as text☆22Updated last year
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- Brzozowski derivative python sketch☆85Updated 9 months ago
- optimize your home bar with ✨logic programming✨☆80Updated 3 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- Plot Cookbook☆51Updated 2 years ago
- Another HackerNews command-line client☆22Updated 4 years ago
- What if Git worked with Programming Languages?☆100Updated 4 years ago
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆76Updated 2 years ago
- generate art from a hash via random AST☆24Updated 6 months ago
- Numerical Optimisation Library☆17Updated 2 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆85Updated this week
- ☆40Updated last year
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆31Updated 3 years ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆73Updated 5 months ago
- A library for building dynamic terminal apps, using bonsai☆129Updated last month
- Setting up C elegans as an RL environment.☆16Updated last year
- A toy Wolfram language interpreter.☆38Updated last year
- spoken word invocations for Talon☆42Updated last year