rothos / askhole-diyLinks
Print your own deck of Askhole
☆12Updated 5 years ago
Alternatives and similar repositories for askhole-diy
Users that are interested in askhole-diy are comparing it to the libraries listed below
Sorting:
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated 2 years ago
- ✍️ My blog. Custom static site generator.☆31Updated this week
- Awesome datalog libraries, tools and resources☆64Updated 5 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- A persistent, relational store inspired by Datomic and DataScript.☆55Updated 2 years ago
- Proposed documentation for alloytools.org☆71Updated last month
- GRASP for Android☆16Updated 2 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 3 years ago
- Website for the malleable systems and software community☆62Updated 6 months ago
- A dynamic data-driven document development environment (DDDDDE)☆85Updated 2 years ago
- A data visualization library for Racket.☆38Updated 10 months ago
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Updated last year
- Quality-of-life for fiddly little JS apps that modify user-generated text☆19Updated 8 months ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 7 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- Riffs on spreadsheets for manipulating JSON and building GUIs☆20Updated 5 years ago
- A functional fluent API generator☆34Updated 2 years ago
- An experiment in using DuckDB for a datalog / egg☆26Updated 2 years ago
- A math language for dimensional analysis☆23Updated 2 years ago
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆26Updated last year
- Leibniz - a Digital Scientific Notation☆36Updated 6 months ago
- A typed, polyglot, functional language☆204Updated this week
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆33Updated last year
- Bringing Prolog to the masses.☆36Updated 3 years ago
- Source Code for Video language.☆139Updated 5 years ago
- Build UI declaratively with Datalog.☆137Updated 2 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- parse MiniLaTeX source text and render it into HTML☆56Updated 7 years ago