Alternatives

Products that do what A Transformer model that preserves logical equivalence does

1. 1AE
   An encoding of the UK's self-isolation rules in Prolog▲108

   2021 · github.com

2. 2CG
   Coinductive guide to inductive transformer heads [pdf]▲8

   2023 · github.com

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

   2015 · github.com

4. 4OH
   Optimizing Higher Order Functions with Hypothetical Inverses▲55

   2016 · medium.com

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

   2017 · boolr.me

6. 6RE
   Retool: Excel-like, with higher order primitives▲190

   2017 · retool.in

7. 7PA
   Pystitcher – A Declarative Alternative to Pdftk▲117

   2021 · github.com

8. 8DH
   Diffie-Hellman exchange for the layman▲75

   2021 · borisreitman.com

9. 9HM
   Hindley-Milner Type Inference Algorithm in OCaml▲136

   2016 · github.com

10. 10OD
    O'Doyle Rules – a new rules engine for Clojure▲100

    2020 · github.com

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

    2017 · github.com

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

    2019 · github.com

13. 13CE
    Concise Encoding – a friendly data format for human and machine▲78

    2020 · concise-encoding.org

14. 14EA
    ExBERT – A Visual Tool to Explore Representations in Transformer Models▲9

    2019 · exbert.net

15. 15HA
    Heresy, a BASIC-inspired functional Lisp▲34

    2014 · github.com

16. 16KS
    Kotlin∇: Shape-Safe Symbolic Differentiation with Algebraic Data Types▲15

    2021 · github.com

17. 17AI
    An Interpreter for Extended Relational Algebra (Scheme Based)▲52

    2016 · github.com

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

    2017 · github.com

19. 19VL
    Vector-logic, a lightweight rules engine from first principles▲8

    Nov 2025 · github.com

20. 20SA
    Sangati, a logical consistency checker for data▲17

    2016 · github.com

21. 21EP
    Embeddable Prolog in Go▲14

    2021 · github.com

22. 22RA
    Recursi – a recursive memory/logic puzzle▲5

    2014 · lkozma.net

23. 23SA
    Sheng, a Small but Fast Deterministic Finite Automaton▲5

    2018 · branchfree.org

24. 24AC
    Abstract Calculus, a massively parallel model of computation▲5

    2018 · github.com

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