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 year
- A bare-metal actor operating system for Raspberry Pi.☆69Updated last year
- ☆37Updated last week
- Render diagrams to Braille☆29Updated last month
- optimize your home bar with ✨logic programming✨☆75Updated 2 years ago
- A Nix web bundler because why not☆52Updated 7 months ago
- A lisp dialect based on pattern matching and term rewriting☆82Updated 3 weeks ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Plot Cookbook☆50Updated last year
- Hash-based Diffing for AST's☆75Updated 4 years ago
- Run dyalog APL and RIDE on nixos☆21Updated 5 months ago
- Dawn Phase 1 proto-language☆37Updated 3 years ago
- #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
- Generate semi-dynamic UIs with Concur☆58Updated 3 years ago
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- Pretty-print text documents on a terminal using pandoc☆36Updated 4 years ago
- The many issues plaguing Nix☆62Updated last year
- various toys in j☆12Updated 2 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 3 years ago
- Modeling DNS with Alloy☆37Updated 2 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- ☆15Updated 6 years ago
- Contractual Semver☆25Updated 2 years ago
- Personal collection of useful bookmarklets☆12Updated last month
- Mini-game built on a functional style☆12Updated 2 years ago
- Prepared statement support for the system command☆29Updated 4 years ago
- Collaborative Lisp coding on Discord☆34Updated 9 months ago
- A new declarative programming language☆22Updated 4 years ago