Repo on info for mods and upgrades to the Breville Dual Boiler espresso machine, focusing on the re-purposing of the hot water needle valve to enable flow profiling.
☆28Jan 26, 2021Updated 5 years ago
Alternatives and similar repositories for BDB-Slayer
Users that are interested in BDB-Slayer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Coq Implementation of Algebraic Property Graphs☆11Oct 13, 2021Updated 5 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆16Aug 22, 2019Updated 7 years ago
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- Lisp and Reflective Tower in Javascript☆17Jan 4, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- tiny spreadsheet language with ambiguous values☆12Mar 29, 2024Updated 2 years ago
- tiny experimental language for limited environments (> 64KB flash, 4KB ram)☆17Mar 8, 2023Updated 3 years ago
- Bazel rules for Deno http://deno.land☆16May 24, 2026Updated 5 months ago
- Stream the output of a Jenkins job☆15Oct 15, 2018Updated 8 years ago
- ☆10Feb 12, 2026Updated 8 months ago
- TypeDB Examples Projects and Tutorials☆18Jul 23, 2026Updated 3 months ago
- Unicode in XML and other Markup Languages☆26Jun 10, 2024Updated 2 years ago
- A JavaScript framework for creating a JavaScript framework that creates TODO applications.☆11Nov 10, 2011Updated 14 years ago
- ☆18Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- The Art of Graphics Programming☆14Oct 17, 2014Updated 12 years ago
- Web library for building Bridge Components in Hotwire Native apps☆30Aug 22, 2026Updated 2 months ago
- Test of DEC VT terminal line-wrapping semantics☆16Aug 4, 2025Updated last year
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆36Dec 9, 2025Updated 10 months ago
- Created with CodeSandbox☆13Updated this week
- An embedded Rust IDE with an emphasis on a fun and insightful coding experience☆11Sep 23, 2024Updated 2 years ago
- Operad Programming Language in Haskell, by David Darais☆33Apr 1, 2014Updated 12 years ago
- ☆11Jul 2, 2024Updated 2 years ago
- A CLOS implementation of an in memory hypergraph database and semantic networks.☆11Feb 16, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Simple, extensible bytecode interpreter☆26Oct 19, 2015Updated 11 years ago
- A Clojure implementation of the board game "Ticket to Ride".☆18Jun 21, 2014Updated 12 years ago
- Agentic system for real-world SQL databases☆15Sep 21, 2026Updated last month
- Rust client for Timeplus Proton, a fast and lightweight streaming SQL engine☆12Nov 24, 2025Updated 11 months ago
- Zeta implemantion of "Rethinking Attention: Exploring Shallow Feed-Forward Neural Networks as an Alternative to Attention Layers in Trans…☆12Oct 26, 2026Updated last week
- Low-level sensory I/O Atoms☆17Feb 25, 2026Updated 8 months ago
- Pure Rust engine for BitNet LLMs — Conversion, Inference, Training and Research. With streaming and GPU/CPU support☆12Jul 11, 2025Updated last year
- ☆16Jun 16, 2025Updated last year
- A terminal front-end for Xi Editor keeping minimalism as principle☆16Nov 12, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Extensions to cubical for categorical logic/type theory☆41Oct 13, 2026Updated 3 weeks ago
- N-dimensional interpolation library in C++☆12Mar 1, 2018Updated 8 years ago
- Gorilla: An API store for LLMs☆10Jun 28, 2024Updated 2 years ago
- Yjs/Yrs sync protocol implementation☆21Nov 17, 2023Updated 2 years ago
- Strudy is an analysis tool for Web spec crawl reports created by Reffy☆14Updated this week
- Python to Rust compiler☆14Aug 28, 2022Updated 4 years ago
- Welcome to AGI, the cutting-edge project dedicated to building the core components of Artificial General Intelligence.☆18Oct 19, 2026Updated 2 weeks ago