🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends
☆16Sep 12, 2023Updated 3 years ago
Alternatives and similar repositories for melp
Users that are interested in melp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🪵| Incomplete Express like library☆10Sep 12, 2023Updated 3 years ago
- 🥤 | Toy parser combinator☆23Dec 8, 2023Updated 2 years ago
- 🦀 A fearless approach to Rocketseat's OminiStack week.☆13Jan 18, 2020Updated 6 years ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 5 years ago
- ☆12Mar 2, 2026Updated 7 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.
- 🧪 | Rinha de Backend Lean4☆68Sep 12, 2023Updated 3 years ago
- 🎵 Music with F#: The Language and the Note☆13Oct 12, 2018Updated 8 years ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- Type-safe css modules for ReScript☆16Jul 3, 2023Updated 3 years ago
- 🦊 | A language that compiles to LLVM and has algebraic effects☆111Nov 26, 2023Updated 2 years ago
- The PureScript implementation for the *Types and Programming Language* by B. Pierce☆20Jun 3, 2024Updated 2 years ago
- beginner course about typescript☆27Jun 3, 2020Updated 6 years ago
- WebGL Multiplayer Game with WebRTC☆13Jan 25, 2023Updated 3 years ago
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Twitch Stream Notification Bot written in Rust☆10Oct 22, 2026Updated last week
- A battery notification system for Linux Mint☆21May 27, 2017Updated 9 years ago
- Chip 8 emulator written in Rust 🕹️☆11Feb 6, 2024Updated 2 years ago
- Angular Tutorial :- Multiple ways to do inline editing in table using angular☆12Jun 8, 2022Updated 4 years ago
- Configura containers do Spark (Master, Workers e History Server) + Jupyter☆21Jun 17, 2024Updated 2 years ago
- ☆13Sep 2, 2024Updated 2 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 9 months ago
- Haskell bindings to Chez Scheme☆11Sep 4, 2023Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Update the version of your package easily☆14Jul 25, 2022Updated 4 years ago
- Typed pure FP where data is syntax sugar for functions☆11Nov 6, 2025Updated 11 months ago
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated last year
- Instavote - Example Voting Application. Forked from Docker Samples Org.☆12Aug 8, 2024Updated 2 years ago
- An example to show JS users can use Rescript based library without using ReScript☆15Feb 10, 2021Updated 5 years ago
- ☆13Mar 17, 2021Updated 5 years ago
- ☆14Oct 15, 2026Updated 2 weeks ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 8 years ago
- Projeto que ilustra o uso do Keycloak com Spring Security utilizando o Oauth 2.0 + OpenID.☆13Nov 30, 2023Updated 2 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.
- ☆14Jul 25, 2021Updated 5 years ago
- Overview of PureScript libraries/tools for Cardano☆11Jul 25, 2024Updated 2 years ago
- Building a scheme live on Twitch in Golang☆23Jul 5, 2023Updated 3 years ago
- A simple demonstration of the Agda Reflection API☆12Apr 3, 2012Updated 14 years ago
- ☆19May 17, 2021Updated 5 years ago
- A simple js_of_ocaml workflow with Reason and esy☆16Dec 11, 2022Updated 3 years ago
- Agda to C compiler☆11Sep 23, 2025Updated last year