Alternatives

Products that do what Tt – A Python Library/CLI for Boolean Expressions does

1. 1TA
   Tt – a Python library/cli for Boolean expressions▲23

   2017 · github.com

2. 2PA
   PySchemes – A library for validating data structures in Python▲94

   2017 · github.com

3. 3BA
   Booleans as a Service (BaaS)▲143

   2016 · booleans.io

4. 4AA
   Algojammer – an experimental Python code editor inspired by Bret Victor▲309

   2018 · github.com

5. 5BA
   BOOLR – A digital logic simulator▲136

   2017 · boolr.me

6. 6PL
   Python library for functional programming▲129

   2017 · github.com

7. 7AS
   A simple Prolog Interpreter written in a few lines of Python 3▲149

   2019 · github.com

8. 8KA
   Koda, a typesafe functional toolkit for Python▲110

   2022 · pypi.org

9. 9AP
   A Python with Hindley-Milner-like type annotations, compiling to C▲134

   2015 · github.com

10. 10AS
    A Swift implementation of selected parts of Python standard library▲55

    2014 · github.com

11. 11CA
    Caramel – a modern syntax for the lambda calculus▲130

    2015 · github.com

12. 12MA
    Miso – A Haskell implementation of Elm▲114

    2017 · github.com

13. 13EA
    Eole, a Lévy-optimal lambda calculus evaluator written in Rust▲106

    2019 · github.com

14. 14MA
    Mys – an attempt to create a statically typed Python-like language▲50

    2020 · github.com

15. 15PD
    Prolly – DSL to express and query probabilities in code▲47

    2015 · github.com

16. 16AI
    Automatically interpret and validate nested natural logic arguments▲53

    2017 · github.com

17. 17FA
    FunctorFlow – An attempt to re-imagine Python libraries▲40

    2019 · functorflow.org

18. 18CA
    Chelodina – A Logo-to-Python Transpiler▲36

    2018 · pablasso.com

19. 19IA
    IceCream – A little library to sweeten debugging in Python▲12

    2018 · github.com

20. 20CA
    Cat, a C++14 functional library▲34

    2015 · cat.github.io

21. 21LA
    Lark, a modern parsing library with Earley and LALR(1) implementations▲15

    2017 · github.com

22. 22P8
    PEP 827 – TS-like type manipulation in Python▲7

    Mar 2026 · peps.python.org

23. 23LB
    Libtwiddle – bit and sketches data structures▲6

    2016 · github.com

24. 24SD
    Silogizma – Deductive reasoning tool▲14

    2018 · silogizma.org

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