Vector-logic, a lightweight rules engine from first principles

What it does

A fast, transparent, and extensible Python library for running inference on a generic system of logical rules. This library is for developers who need a simple and powerful way to manage business logic without the overhead of more complex systems like BDDs or SAT solvers. It provides an intuitive, algebraic approach to propositional logic, making it easy to define rules, add evidence, and infer outcomes. Expressive Rule Syntax: Define complex rules with a natural, human-readable syntax (e.g. (sky_is_grey && humidity_is_high) => it_will_rain ). Scalable & Powerful Inference: Instead of building an exponential truth table, vector-logic uses a compact StateVector (a sparse representation of…from github.com

• 
  O'Doyle Rules – a new rules engine for Clojure2020 · github.com · ▲100

  A rules engine for Clojure(Script). Contribute to oakes/odoyle-rules development by creating an account on GitHub.

• 
  VectorShift2023 · vectorshift.ai · ▲140

  No-code LLM application builder

• AS
  A search engine that lets you 'add' words as vectors2013 · insightdatascience.com · ▲148
• VA
  Vector - A High-Level Programming Language for GPU Computing2013 · zhehaomao.com · ▲142
• 
  Svelvet2022 · svelvet.io · ▲79

  A Svelte component library for building flow diagrams

• 
  State Algebra, new algebraic framework for logic, an alternative to BDD2025 · arxiv.org · ▲5

  Hey HN, My co-author and I just published a paper on arXiv that formalises a framework we've been using successfully in probabilistic logic for many years. We decided it was time to properly lay out its foundations for classical propositional logic. We cast propositional logic into a formal algebra where logical formulas are represented by sparse matrices. State Algebra isn't an algorithm in itself, but rather a language for manipulating Boolean functions. It provides a new set of tools that lets you express and reformulate existing optimization heuristics (like those from modern SAT…

• 
  /dev/null▲490

  a social network for devs

  Dev tools · 4d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 28d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 26d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 24d ago · openbot.run

• 
  Talanoa▲346

  Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

  Dev tools · 21d ago · talanoa.email

• 
  CoreSpeed▲332

  One MCP for everything your agents need: apps, memory, tools

  Dev tools · 29d ago · corespeed.io

• 
  Guideflow▲1,338

  Create interactive product demos and step-by-step guides in seconds with Guideflow, the leading AI-powered demo automation tool.

  AI · Nov 2025 · guideflow.com

• 
  I built a synth for my daughter▲1,278

  Hardware and software projects by Ali Roberts

  Life & fun · Nov 2025 · bitsnpieces.dev

• 
  Welltory▲1,028

  Measure your wellness. Use data to feel great every day.

  Work · Nov 2025 · welltory.com

• 
  Gemini 3▲1,016

  Bring any idea to life with multimodal capabilities

  AI · Nov 2025 · blog.google

• 
  TrustMRR▲833

  LLM Gateway is a b2b artificial intelligence based in United States, founded in 2025. $259,539/month in verified Stripe revenue. $78,764 MRR. Ahrefs Domain Rating 52/100. growing 55% month-over-month. Track LLM Gateway's verified metrics on TrustMRR.

  Growth · Nov 2025 · trustmrr.com

• 
  Boing▲782

  Life & fun · Nov 2025 · boing.greg.technology