Alternatives

Products that do what Booleans as a Service (BaaS) does

1TA
Tt – a Python library/cli for Boolean expressions▲23
2017 · github.com
2BA
BOOLR – A digital logic simulator▲136
2017 · boolr.me
3TA
Tt – A Python Library/CLI for Boolean Expressions▲5
2016 · github.com
4RE
Retool: Excel-like, with higher order primitives▲190
2017 · retool.in
5OS
Open-source A/B testing framework▲199
2021 · github.com
6LO
LogicEmu – Online Logic Simulator▲210
2018 · lodev.org
7CA
Caramel – a modern syntax for the lambda calculus▲130
2015 · github.com
8PD
Prolly – DSL to express and query probabilities in code▲47
2015 · github.com
9PA
PySchemes – A library for validating data structures in Python▲94
2017 · github.com
10
Wolfram Language▲86
Knowledge-based programming
2014
11DH
Diffie-Hellman exchange for the layman▲75
2021 · borisreitman.com
12DD
Design, data-structure, algorithm problems and their solutions▲103
2016 · github.com
13PB
Pakhi – Bangla Programming Language▲67
2021 · github.com
14TW
The Whicher: A/B test the Real World▲20
2012 · thewhicher.com
15ST
Sat, the tiny WebAssembly compute module▲51
2021 · github.com
16BA
Bernoulli – An A/B testing service that supports full stack development▲10
2014 · bernoulli.io
17WA
Whack – A simply-designed compiled programming language▲57
2018 · github.com
18MA
Micrologic – A tiny, literate implementation of miniKanren/core.logic▲28
2015 · mullr.github.io
19AC
A Clojure implementation of logic programming language in SICP▲56
2019 · github.com
20PA
Preql – a database query language that compiles to SQL▲38
2021 · github.com
21SD
Silogizma – Deductive reasoning tool▲14
2018 · silogizma.org
22SB
Sabre – Bullshit-free (c) programming language▲37
2021 · github.com
23FS
Finite State Machines for PostgreSQL▲25
2020 · github.com
24AT
A Transformer model that preserves logical equivalence▲9
2025 · huggingface.co

Ranked by how close each launch is in meaning, then by votes. Refine with a description →