shapr / bloohm
visual bloom filter to display process status as neotrellis m4 output
☆27Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for bloohm
- ☆37Updated last week
- ☆37Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆69Updated last year
- optimize your home bar with ✨logic programming✨☆75Updated 2 years ago
- Personal collection of useful bookmarklets☆12Updated 2 months ago
- Run dyalog APL and RIDE on nixos☆21Updated 6 months ago
- Plot Cookbook☆50Updated last year
- Render diagrams to Braille☆29Updated last month
- A relational interpretation of Lojban☆32Updated this week
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆49Updated 2 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- A lisp dialect based on pattern matching and term rewriting☆84Updated last month
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- The many issues plaguing Nix☆62Updated last year
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- various toys in j☆12Updated 2 years ago
- ☆12Updated 6 months ago
- Dawn Phase 1 proto-language☆37Updated 3 years ago
- Modeling DNS with Alloy☆37Updated 2 years ago
- Literate testing for command-line programs☆39Updated 10 months ago
- A description of the relationship between databases, collaboration and Kripke☆27Updated 3 years ago
- A new declarative programming language☆22Updated 4 years ago
- CNN in APL☆21Updated 2 years ago
- Very simple syntax highlighting☆20Updated 6 months ago
- A cloud for the parenthetical leaning doers☆17Updated last year
- WIP; specification of a format for communicating streams of HTTP requests and responses☆14Updated 7 months ago
- The eXtended RPN programming language☆21Updated this week
- Racket to WebAssembly Compiler☆27Updated 2 years ago
- Q line editor and full-screen interface editor☆11Updated 3 years ago