🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends
☆16Sep 12, 2023Updated 2 years ago
Alternatives and similar repositories for melp
Users that are interested in melp are comparing it to the libraries listed below
Sorting:
- 🥤 | Toy parser combinator☆23Dec 8, 2023Updated 2 years ago
- ☆23Mar 9, 2022Updated 4 years ago
- 🧪 | Rinha de Backend Lean4☆67Sep 12, 2023Updated 2 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- Type-safe css modules for ReScript☆16Jul 3, 2023Updated 2 years ago
- A GitHub action to automatically update nix flake dependencies☆20Mar 14, 2026Updated last week
- beginner course about typescript☆27Jun 3, 2020Updated 5 years ago
- JSDev.Space recreated with Astro☆25Updated this week
- Benchmarks for tuning Maven performance☆12Apr 4, 2020Updated 5 years ago
- ☆10Dec 1, 2022Updated 3 years ago
- The MGC provider allows you to use Terraform to manage your resources on Magalu Cloud.☆30Mar 13, 2026Updated last week
- A battery notification system for Linux Mint☆21May 27, 2017Updated 8 years ago
- My Incus playground☆20Mar 5, 2026Updated 2 weeks ago
- Um simples pacote para buscar ceps em bases públicas na internet utilizando concorrência. Você também pode extender e buscar sua própria …☆22Aug 15, 2025Updated 7 months ago
- This is a simple C# project using .NET for a parking system. The program allows managing a virtual parking lot by adding, removing, and l…☆10Dec 24, 2023Updated 2 years ago
- Update the version of your package easily☆14Jul 25, 2022Updated 3 years ago
- RITDevX - Rapid Interface Tool for Devices Experiments☆12Aug 9, 2022Updated 3 years ago
- ☆11Dec 31, 2015Updated 10 years ago
- ☆39Mar 6, 2023Updated 3 years ago
- ReaCloud is a digital indexer for Open Educational Resources, which allows it users to search, evaluate or publish metadata of this resou…☆12Apr 9, 2023Updated 2 years ago
- 👨🏻🎓👩🏻🏫 A aplicação consiste em conectar quem quer aprender com quem ensina.☆14Mar 5, 2023Updated 3 years ago
- carmarketplace app demonstrates a spring boot microservices app with everything you need to run it in PRODUCTION.☆10Sep 26, 2025Updated 5 months ago
- Instavote - Example Voting Application. Forked from Docker Samples Org.☆12Aug 8, 2024Updated last year
- Solução completa de Data Science: Recomendador de vídeos do Youtube construído desde a definição do problema, coleta, limpeza e análise …☆15Jul 6, 2023Updated 2 years ago
- GitHub Actions Dashboard☆17Mar 9, 2026Updated last week
- ☆20Oct 13, 2020Updated 5 years ago
- Configura containers do Spark (Master, Workers e History Server) + Jupyter☆21Jun 17, 2024Updated last year
- ☆12Dec 30, 2023Updated 2 years ago
- Patreon v2 api c# client☆12Jul 9, 2024Updated last year
- Teach an AI how to drive☆14Feb 13, 2020Updated 6 years ago
- BlueSky Video Downloader é uma aplicação web que converte vídeos da BlueSky (novo Twitter) no formato M3U8 para MP4. Simples de usar, per…☆12Sep 16, 2024Updated last year
- Desktop Goose but on Linux☆11Apr 7, 2022Updated 3 years ago
- This library is for display the XAML code of theme library for WPF (e.g. MaterialDesignInXamlToolkit)☆12Sep 6, 2017Updated 8 years ago
- Custom Auth using Next JS with tailwind css , Json Web token , Joi Validation and Toast Alert☆11Feb 28, 2023Updated 3 years ago
- Projeto que ilustra o uso do Keycloak com Spring Security utilizando o Oauth 2.0 + OpenID.☆13Nov 30, 2023Updated 2 years ago
- Open Sound Control for Neovim☆27Aug 2, 2021Updated 4 years ago
- ☆19May 17, 2021Updated 4 years ago
- [CSC 4263 Project] A maven project with a pretty great UI, developed using Java Spring and Swing frameworks, JDBC template, and other tec…☆12Sep 29, 2022Updated 3 years ago
- A re-frame "effects handler" for performing async tasks via cljs-workers☆13Jan 28, 2023Updated 3 years ago