ianthehenry / mixologicianLinks
optimize your home bar with ✨logic programming✨
☆78Updated 3 years ago
Alternatives and similar repositories for mixologician
Users that are interested in mixologician 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
- Modeling DNS with Alloy☆37Updated 3 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- the bash templating language☆53Updated last year
- ☆37Updated last year
- Tagref helps you manage cross-references in your code.☆211Updated 3 weeks ago
- A package repository for hermes☆45Updated 5 years ago
- Ansible definitions with Dhall☆68Updated last year
- Your happy place for learning APL☆15Updated 2 years ago
- Modular generated command line interfaces using the same technology as the NixOS module system.☆44Updated 2 years ago
- A GitHub Action that creates meaningful pull requests with updates to your niv-managed dependencies, so you don't have to do menial chore…☆29Updated last week
- a password manager for hermits☆30Updated 7 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- Docker done right, from the bottom☆99Updated 4 years ago
- A Prolog library to connect to PostgreSQL databases☆104Updated last year
- Bridge for synchronizing email and tags between JMAP and notmuch☆74Updated last year
- A persistent, relational store inspired by Datomic and DataScript.☆55Updated 2 years ago
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- Run dyalog APL and RIDE on nixos☆20Updated last year
- Command line editor, C api, readline replacement☆25Updated 9 months ago
- A relational interpretation of Lojban☆34Updated 2 months ago
- Proposed documentation for alloytools.org☆71Updated 3 weeks ago
- A Vim plugin for Carp☆17Updated 4 years ago
- jann - configuration deployment tool for *nix☆37Updated 5 years ago
- A Nix build graph profiler☆33Updated last month
- A structural editor for JSON values☆77Updated 2 years ago
- A program for querying and modifying information in a datalog-like format backed by SQLite.☆40Updated 3 years ago
- A configuration manager for your projects☆13Updated 3 years ago
- a co-programming / pair-programming twitch stream setup using H264/OPUS RTP (like WebRTC does)☆87Updated 5 years ago