Alternatives

Products that do what Verified Deep Learning with Lean 4 does

1. 1CT
   Comprehensive Tutorials in Deep Learning Using TensorFlow▲327

   2018 · github.com

2. 2SA
   Simple and comprehensive tutorials in Deep Learning using TensorFlow▲157

   2018 · github.com

3. 3CO
   Collection of deep learning implementations with side-by-side notes▲251

   2021 · nn.labml.ai

4. 4DL
   Deep Learning in TensorFlow – The Roadmap for Study and Learning▲146

   2019 · github.com

5. 5SD
   Simple Deep Learning Tutorials using Microsoft Cognitive Toolkit▲126

   2017 · github.com

6. 6ET
   End-to-end deep learning experimentation platform for Tensorflow▲151

   2017 · github.com

7. 7SO
   Set of trained deep learning models for computer vision▲127

   2016 · github.com

8. 8NU
   Neuropod – Uber ATG's open source deep learning inference engine▲80

   2020 · github.com

9. 9DL
   Deep Learning for Program Synthesis▲93

   2017 · microsoft.com

10. 10BA
    Bender – a Deep Learning framework for iOS▲81

    2017 · github.com

11. 11TA
    Thinc, a new deep learning library by the makers of spaCy and FastAPI▲250

    2020 · thinc.ai

12. 12DL
    Deep Learning Using TensorFlow – Tutorials and Source Code▲31

    2017 · github.com

13. 13TR
    Try running deep learning inference on Raspberry Pi▲53

    2018 · actcast.io

14. 14AC
    A Course on Deep Learning Using Google's TensorFlow▲39

    2019 · github.com

15. 15DA
    DeepForge – A Modern Development Environment for Deep Learning▲108

    2017 · deepforge.org

16. 16ID
    Interactive deep convnet visualization for Keras and Tensorflow▲124

    2016 · jakebian.github.io

17. 17MA
    Mantra: a high-level development framework for deep learning projects▲15

    2018 · github.com

18. 18AC
    A Comprehensive Free Course in Deep Learning Using TensorFlow▲19

    2018 · github.com

19. 19
    Neural Networks and Deep Learning▲95

    Core concepts behind neural networks and deep learning

    2015

20. 20DG
    Dockerized GPU Deep Learning Solution (Code and Blog and TensorFlow Demo)▲80

    2016 · github.com

21. 21AR
    A realtime dashboard for Keras neural nets▲87

    2016 · tryhera.com

22. 22U3
    Using 3D Convolutional Neural Networks for Speaker Verification▲59

    2017 · github.com

23. 23VF
    Viveka: filter LLM output against a Lean-verified Advaita Vedanta model▲7

    Jun 2026 · github.com

24. 24DL
    Deep learning visual search and data analytics▲74

    2017 · github.com

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