Alternatives

Products that do what Coinductive guide to inductive transformer heads [pdf] does

1. 1AT
   A Transformer model that preserves logical equivalence▲9

   2025 · huggingface.co

2. 2AA
   AsciiDots – a 2D esoteric language inspired by circuits▲148

   2017 · github.com

3. 3WL
   Wired Logic – a pixel-based logic simulator▲176

   2016 · github.com

4. 4CO
   CircuitVerse – Online Digital Circuit Simulator▲145

   2018 · circuitverse.org

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

   2015 · github.com

6. 6AV
   A Visual and Interactive Guide to the Basics of Neural Networks▲63

   2016 · jalammar.github.io

7. 7PR
   Pylectronics – Reproduce digital electronics in Python▲29

   2021 · github.com

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

   2019 · github.com

9. 9CA
   CircuitLab, an in-browser schematic editor and circuit simulator▲46

   2012 · circuitlab.com

10. 10PA
    Pystitcher – A Declarative Alternative to Pdftk▲8

    2021 · github.com

11. 11AC
    A CLI tool to generate Cistercian numerals▲51

    2021 · github.com

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

    2019 · exbert.net

13. 13MJ
    multimethod.js - a Clojure-inspired multimethod library for JavaScript▲49

    2011 · krisjordan.com

14. 14PA
    PJON_ASK – Radio multimaster communications bus system for Arduino▲27

    2015 · github.com

15. 15AR
    A Rigorous Proofless Approach to Linear Algebra [pdf]▲14

    2017 · github.com

16. 16AI
    An interactive transformer “debugger” been working on in my free time▲8

    My focus has been shifting towards the ML alignment space recently, and in particular the ability to translate large transformer models into human understandable circuits and algorithms. This problem potentially isn't solvable, but it is one that some groups have had success with after large amounts of effort. In attempting to address this issue, I've been developing Transpector. A tool scaling up and reducing the barrier to entry of techniques that these teams have been showing success with. Techniques aiming to understand the internal mechanics of the model. Currently this tool is focused…

    2023 · github.com

17. 17AT
    AtomStore – The missing piece for an immutable flux architecture▲11

    2015 · github.com

18. 18VP
    VHDL pseudo random generator tutorial (three parts)▲14

    2016 · fpgasite.net

19. 19AH
    An HN-Style Site for Integrated Circuits Folks▲21

    2014 · clktok.efabless.com

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

    2021 · github.com

21. 21WD
    Well-documented neural networks in JavaScript▲11

    2016 · github.com

22. 22E0
    Expreduce 0.2, a free Mathematica-compatible CAS written in Go▲14

    2017 · github.com

23. 23TT
    The “tl;dr” of Recent Transformer Papers▲5

    2021 · github.com

24. 24EC
    Elixir Coherence – Authentication Similar to Ruby’s Devise▲9

    2016 · github.com

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