nowfound

Alternatives

Products that do what Eole, a Lévy-optimal lambda calculus evaluator written in Rust does

  1. 1CA
  2. 2RL

    2019 · m.stopa.io

  3. 3CA
  4. 4PA
  5. 5MA
  6. 6LA
  7. 7LA
  8. 8LE
  9. 9AM
  10. 10VQ
  11. 11HA
  12. 12RM
  13. 13AS
  14. 14ML

    2011 · gist.github.com

  15. 15LA
  16. 16ML
  17. 17PA
  18. 18AT

    2021 · mykolav.github.io

  19. 19SA
  20. 20OH
  21. 21DE
  22. 22LC

    2020 · github.com

  23. 23AB
  24. 24AS

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