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

In plain words

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 computation. The tool focuses on efficient evaluation through optimal reduction techniques, making it suitable for those studying or implementing advanced functional programming concepts. Source code is available on GitHub.

written from the facts on this page · September 2026

• OA
  Obelisk – a WASM-based deterministic workflow engine2025 · obeli.sk · ▲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!

• 
  A Fast, Malloc-Free C++14 Json Parser and Encoder2014 · github.com · ▲98

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

• PW
  Programming with Pure Lambda Calculus2023 · bruijn.marvinborner.de · ▲61

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

• RM
  Result monad for Elixir inspired by Rust Result type2021 · hexdocs.pm · ▲39
• 
  A minimal working Rust / SDL2 / WASM browser game2024 · github.com · ▲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.

• 
  Damocles – An Erlang library for distribution testing2015 · github.com · ▲43

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

• 
  /dev/null▲468

  a social network for devs

  Dev tools · 2d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 27d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 25d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 22d ago · openbot.run

• 
  Talanoa▲340

  Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

  Dev tools · 20d ago · talanoa.email

• 
  CoreSpeed▲332

  One MCP for everything your agents need: apps, memory, tools

  Dev tools · 27d ago · corespeed.io

• 
  Bel▲1,288

  Life & fun · 2019 · paulgraham.com

• 
  Vector Illustration Creator▲811

  Create free personalized illustrations from 3000+ elements

  Growth · 2019 · icons8.com

• 
  Open Doodles▲687

  A collection of free sketchy illustrations

  Growth · 2019 · opendoodles.com

• 
  AirPods Pro▲576

  New AirPods with active noise cancellation

  Life & fun · 2019 · apple.com

• 
  The New Ember Mugs▲568

  The next generation of temperature controlled mugs

  Life & fun · 2019 · ember.com

• 
  Lazy IoT▲533

  Control your environment with one easy keyboard shortcut

  Work · 2019 · lazy-app.com