Alternatives

Products that do what Dependently typed language for proofs that you can implement in one day does

1. 1AP
   A programming language that uses only parentheses▲55

   2012 · github.com

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

   2017 · retool.in

3. 3FA
   Fe – A tiny, embeddable language implemented in ANSI C▲143

   2020 · github.com

4. 4AS
   Arturo – Simple, expressive and portable programming language▲207

   2021 · arturo-lang.io

5. 5RA
   Rhine – A typed Elixir-inspired language on LLVM▲81

   2016 · github.com

6. 6SC
   Small Clojure Interpreter▲143

   2019 · github.com

7. 7SA
   Spade, A simple programming language with a TUI IDE▲70

   2022 · hackage.haskell.org

8. 8YA
   YinYang, a usable live programming language▲134

   2013 · research.microsoft.com

9. 9SR
   Simple refined types implementation that can prevent Heartbleed▲56

   2014 · github.com

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

    2022 · pypi.org

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

    2021 · github.com

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

    2020 · github.com

13. 13FA
    Fork, a toy self-hosting language and compiler that compiles to C▲58

    2018 · github.com

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

    2020 · github.com

15. 15AM
    A multi-syntax programming language with bidirectional grammars▲96

    2016 · github.com

16. 16SH
    Self-hosted stack-based programming language▲86

    2015 · github.com

17. 17MA
    Mlatu, a Concatenative Programming Language▲29

    2021 · github.com

18. 18FA
    Functors, Applicative Functors and Monads in PHP▲46

    2015 · github.com

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

    2014 · github.com

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

    2017 · github.com

21. 21AC
    A compiler for a small language into x86-64 assembly▲74

    2020 · github.com

22. 22CA
    Cixl – a minimal, decently typed scripting language▲64

    2018 · github.com

23. 23AT
    A Tiny Compiler for a Tiny Functional Language▲8

    2024 · github.com

24. 24NM
    Neeilang: Minimalist OOP Language That Compiles to LLVM IR▲44

    2020 · github.com

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