RealWorld in Lean 4
☆13Oct 14, 2026Updated 3 weeks ago
Alternatives and similar repositories for lean-realworld-example-app
Users that are interested in lean-realworld-example-app are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A curated list of Lean 4 libraries, tools, frameworks and learning resources for programmers☆16Oct 21, 2026Updated 2 weeks ago
- [NeurIPS 2025] Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks☆14Nov 29, 2025Updated 11 months ago
- A type-safe, deeply-embedded SQL query DSL for Lean 4☆28Oct 13, 2026Updated 3 weeks ago
- A full-stack web and TUI framework inspired by Yesod and Elm.☆13Oct 29, 2026Updated last week
- The original NetHack rogue-like game built as a JavaScript WebAssembly module☆10Mar 16, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- An experimental HTTP framework for Idris☆14Mar 4, 2020Updated 6 years ago
- "Light's Out" game in Elm☆10Oct 17, 2016Updated 10 years ago
- Crazy experimental HTTP-over-RSPDY router☆12Oct 12, 2013Updated 13 years ago
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆36Oct 15, 2026Updated 3 weeks ago
- A simple Todo-Backend application written using Go kit☆15Apr 25, 2025Updated last year
- C compiler in Zig☆22Jul 20, 2025Updated last year
- Resonate Durable Execution in a single SQL file☆13Aug 28, 2026Updated 2 months ago
- Turn Haskell expressions into pointfree style in your browser with WASM☆13Dec 15, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Linear mutable References and Utilities☆13Sep 18, 2026Updated last month
- Efficient, opinionated remote LSP client for notebooks☆15May 23, 2025Updated last year
- Keep Istio's Sidecar Proxies Up-To-Date Automatically☆15Updated this week
- locize connector to the backend for your browser☆10Oct 18, 2026Updated 2 weeks ago
- Simple clojure library to slugify arbitrary strings☆10Sep 21, 2016Updated 10 years ago
- Find and read documentation of Elm packages.☆17Sep 14, 2017Updated 9 years ago
- Erlang Enhancement ProposalS☆12Mar 20, 2014Updated 12 years ago
- Formalized AI guardrails for financial agents that replace probabilistic filters with Lean 4 mathematical proofs, ensuring only provably …☆15Apr 23, 2026Updated 6 months ago
- ☆16May 24, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Migrating a JavaScript app to TypeScript 1.8☆20Feb 5, 2016Updated 10 years ago
- An embeddable, statically typed scripting language for safe, AI-friendly applications, in Rust☆17Updated this week
- The primary repository for the Quorum Programming Language☆32Updated this week
- JS with Types 💪☆13Jan 8, 2025Updated last year
- Throttling / IP banning library for Ring-compatible Clojure apps based on Kickstarter's Rack::attack☆11Oct 9, 2013Updated 13 years ago
- An Example of using Wit-Bindgen☆10May 25, 2022Updated 4 years ago
- A formally-verified web frontend framework in Lean 4☆27Sep 23, 2026Updated last month
- 📸 Code base for the Single-Page Laravel course☆16Dec 3, 2020Updated 5 years ago
- A dual CLJS + CLJ REPL technical study with Cursive and CIDER☆13Feb 1, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Serve Shore TUIs over SSH☆19Jul 31, 2025Updated last year
- Public Transit Mobile App☆12Jun 25, 2009Updated 17 years ago
- WIP: taking a stab at an interpreter for elm which embeds provenance information in output values☆18Sep 16, 2016Updated 10 years ago
- An Emacs major mode for Wisp - the Lisp -> JavaScript compiler.☆13Jul 20, 2017Updated 9 years ago
- Some Clojure library projects...☆14Jul 30, 2009Updated 17 years ago
- 💥 A high-performance event notification library. UDP, TCP, HTTP/1.1, HTTP/2 and WebSockets. Alternative to libuv and libevent☆22Oct 29, 2026Updated last week
- A node.js-based parallel REST client for speedy API calls☆11Oct 12, 2011Updated 15 years ago