Dev tools · alternatives · 2026

24 alternatives to Eole, a Lévy-optimal lambda calculus evaluator written in Rust

Éole, a Lévy-optimal lambda calculus evaluator without oracle - HerrmannM/eole

Eole is a lambda calculus evaluator built in Rust that implements Lévy-optimal reduction strategies. It is designed for developers and researchers working with functional programming theory and lambda calculus… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Eole, a Lévy-optimal lambda calculus evaluator written in Rust launched in 2019; newer entries below may have overtaken it.

1. 1OA
   Obelisk – a WASM-based deterministic workflow engine▲103

   A lightweight engine for durable execution / deterministic workflows I built with Rust, wasmtime and the WASM Component Model. Its main use is running reliable, long-running workflows that can automatically resume after failures. Looking for feedback on the approach and potential use cases!

   2025 · obeli.sk · its alternatives →

2. 2
   A Fast, Malloc-Free C++14 Json Parser and Encoder▲98

   Meta programming utilities for C++14. Merged in matt-42/lithium - matt-42/iod

   2014 · github.com · its alternatives →

3. 3PW
   Programming with Pure Lambda Calculus▲61

   Functional programming language based on pure de Bruijn indexed lambda calculus.

   2023 · bruijn.marvinborner.de · its alternatives →

4. 4RM
   Result monad for Elixir inspired by Rust Result type▲39

   2021 · hexdocs.pm · its alternatives →

5. 5
   A minimal working Rust / SDL2 / WASM browser game▲82

   "Game" is a stretch, but I put together this repo containing a pure Rust app which uses SDL2 and compiles to WASM (and can be run in a browser). Older resources were a bit out of date and a bit too verbose for my purposes, so here's a minimal working example.

   2024 · github.com · its alternatives →

6. 6
   Damocles – An Erlang library for distribution testing▲43

   An Erlang library for generating adversarial network conditions for QAing distributed applications/systems on a single Linux box. - lostcolony/damocles

   2015 · github.com · its alternatives →

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

   A rules engine for Clojure(Script). Contribute to oakes/odoyle-rules development by creating an account on GitHub.

   2020 · github.com · its alternatives →

8. 8
   Duktape-eval – a eval library built on Duktape and WebAssembly▲41

   A safe eval library based on WebAssembly and Duktape/QuickJS. - maple3142/wasm-jseval

   2020 · github.com · its alternatives →

9. 9
   FizzBuzz purely in Rust's trait system▲120

   We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this??? - cofibrant/trait-eval

   2020 · github.com · its alternatives →

10. 10
    A radically more scalable alternative to Bayesian Optimization▲96

    Experimental Global Optimization Algorithm. Contribute to chrisstroemel/Simple development by creating an account on GitHub.

    2018 · github.com · its alternatives →

11. 11AL
    A lambda expression visualizer for the web▲43

    2013 · brycec.github.com · its alternatives →

12. 12
    val – An arbitrary precision calculator language▲34

    Wrote this to learn more about the `chumsky` parser combinator library, rustyline, and the `ariadne` error reporting crate. Such a nice DX combo for writing new languages. Still a work in progress, but I thought I'd share :)

    2025 · github.com · its alternatives →

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

    🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types - breandan/kotlingrad

    2021 · github.com · its alternatives →

14. 14
    C++11 inline object definitions▲70

    Meta programming utilities for C++14. Merged in matt-42/lithium - matt-42/iod

    2014 · github.com · its alternatives →

15. 15
    A weekend replication of STOKE, a stochastic superoptimiser▲58

    Haskell re-implementation of STOKE, the stochastic superoptimizer - blaze/notebooks/tutorial.ipynb at master · bollu/blaze

    2019 · github.com · its alternatives →

16. 16
    A design-by-contract Python package in ~100 lines▲58

    Greetings! A 2.5 weekends project to teach myself newer Python features (>= 3.10). Conditions are written as Lambda expressions that annotate parameters and return types, and coexist with type annotations. Symbols to share values between conditions are also supported to a limited extend.

    2022 · github.com · its alternatives →

17. 17
    Elecxzy – A lightweight, Lisp-free Emacs-like editor in Electron▲22

    Hi HN. I am a programmer from Japan who loves Emacs. I am building elecxzy. It is a free (zero-cost), lightweight, Emacs-like text editor for Windows. I designed it to be comfortable and ready to use immediately, without a custom init.el. Here is a quick overview: - Provides mouse-free operation and classic Emacs keybindings for essential tasks (file I/O, search, split windows, syntax highlighting). - Drops the Lisp execution engine entirely. This keeps startup and operation lightweight. - Solves CJK (Chinese, Japanese, Korean) IME control issues natively on Windows. I never managed to…

    Feb 2026 · github.com · its alternatives →

18. 18
    E-graphs and equality saturation in Haskell▲22

    Fast equality saturation in Haskell

    2022 · hackage.haskell.org · its alternatives →

19. 19
    Visual Drag and Drop Designer for AWS Lambda▲15

    Refinery turns stranded power into sovereign AI compute, then connects every site as one virtual data center.

    2019 · refinery.io · its alternatives →

20. 20
    Tangent – Security log pipeline powered by WASM▲28

    Hi HN! We’re Ethan and Danny, the authors of Tangent (https://github.com/telophasehq/tangent), a Rust-based log pipeline where all normalization, enrichment, and detection logic runs as WASM plugins. We kept seeing the same problems in the OCSF (https://ocsf.io) community: 1) Schemas change constantly. Large companies have whole teams dedicated to keeping vendor→OCSF mappings up to date. 2) There’s no shared library of mappings, so everyone recreates the same work. 3) Writing mappers is tedious, repetitive work. 4) Most pipelines use proprietary DSLs that are…

    Nov 2025 · github.com · its alternatives →

21. 21AF
    A Free Introduction to Elixir, OTP, Ecto, and Phoenix▲16

    2017 · medium.com · its alternatives →

22. 22
    Runiq, a little Lisp-inspired language that runs on JavaScript▲24

    :aquarius: A Lisp-esque, JS-interpreted scripting language - tsortwehttam/runiq

    2015 · github.com · its alternatives →

23. 23
    Lambash, a WIP λ-Calculus Unix Shell Written in Rust▲7

    A λ-calculus shell (because I love writing shells). - nixpulvis/lambash

    2019 · github.com · its alternatives →

24. 24
    A Haskell library for web and distributed composable applications▲18

    A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web browsers are first class nodes in the cloud - GitHub - transient-haskell/transient-universe: A Cloud monad based on transient for the creation of Web and reactive distr

    2016 · github.com · its alternatives →

Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →