algebraic-dev / melp
🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends
☆16Updated last year
Related projects ⓘ
Alternatives and complementary repositories for melp
- 🥤 | Toy parser combinator☆23Updated 11 months ago
- 🧪 | Rinha de Backend Lean4☆64Updated last year
- 🐒 The Blow Your Mind Conference☆13Updated last month
- A sacrilegious (and for fun) FFI between VB6 and Rust☆0Updated 3 months ago
- Find torrents using Google or DuckDuckGo without leaving emacs☆10Updated 2 years ago
- Quer aprender a usar o monstro dos editores de texto, mas não sabe por onde começar? Veio ao lugar certo.☆18Updated 9 months ago
- ❤️ | Fancy diagnostics for Miette☆14Updated last month
- Banoffee is a social networking platform tailored for avid readers and knowledge seekers.☆12Updated 5 months ago
- An simple implementation of an auto-follower/unfollower and reposter bot in bsky.app☆12Updated 2 months ago
- 🦊 | A language that compiles to LLVM and has algebraic effects☆104Updated 11 months ago
- Uma versão em Bash para a Rinha de Backend 2ª edição☆32Updated 8 months ago
- This repository aims to organize codes related to data structures in Rust. 🦀☆20Updated last year
- A programming language, aka a THING☆10Updated 4 years ago
- ☆19Updated 3 years ago
- A Json parser in TypeScript☆16Updated last year
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Updated 3 years ago
- ☆11Updated 8 months ago
- ☆19Updated last year
- Um guia/tutorial/cheatsheet que irá ajudar você começar a estudar e melhorar seus conhecimentos sobre containers.☆16Updated last year
- Site oficial da comunidade ❤️☆23Updated 4 months ago
- Some day, a purely functional Lisp. Right now? Just a silly prototype.☆15Updated 3 years ago
- O manual sobre criação de linguagens☆37Updated 3 years ago
- Notification system, that schedules alarms on redis and send to all consumers.☆13Updated 2 years ago
- Porque Bash nunca desaponta☆53Updated 9 months ago
- ☆14Updated last year
- TLDR: simple setups for several things in a fresh install of NixOS or a Debian based linux (tested with Ubuntu)☆10Updated this week
- ☆14Updated 2 years ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆46Updated 2 years ago
- Estrutura de dados e Algoritmos em Golang☆37Updated 4 years ago
- ☆22Updated last year