algebraic-dev / melpLinks
🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends
☆16Updated last year
Alternatives and similar repositories for melp
Users that are interested in melp are comparing it to the libraries listed below
Sorting:
- 🥤 | Toy parser combinator☆23Updated last year
- 🐒 The Blow Your Mind Conference☆13Updated 3 weeks ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆47Updated 3 years ago
- A simple (and unfinished!!) database management system.☆21Updated 2 years ago
- A Json parser in TypeScript☆17Updated 2 years ago
- ☆20Updated last year
- Banoffee is a social networking platform tailored for avid readers and knowledge seekers.☆12Updated last year
- 🦊 | A language that compiles to LLVM and has algebraic effects☆108Updated last year
- Some day, a purely functional Lisp. Right now? Just a silly prototype.☆15Updated 4 years ago
- ☆22Updated 2 years ago
- ☆14Updated 3 years ago
- My personal blog☆60Updated this week
- 🧪 | Rinha de Backend Lean4☆66Updated last year
- 🍞 | IDE focused programming language study☆35Updated last year
- TLDR: simple setups for several things in a fresh install of NixOS or a Debian based linux (tested with Ubuntu)☆11Updated 3 weeks ago
- Caminho para estudo da Estatística de maneira independente☆29Updated last year
- ☆19Updated last year
- Notification system, that schedules alarms on redis and send to all consumers.☆13Updated 3 years ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Updated 4 years ago
- A tool to make life easier for those who use anki as part of learning new languages☆16Updated 2 years ago
- λ — Tradução em pt-br de "Structure and Interpretation of Computer Programs — JavaScript Adaptation"☆39Updated 2 years ago
- 📖 Exercicios de Algoritmos da UBL☆33Updated 4 months ago
- Uma versão em Bash para a Rinha de Backend 2ª edição☆35Updated last year
- This repository aims to organize codes related to data structures in Rust. 🦀☆20Updated 2 years ago
- A programming language, aka a THING☆10Updated 4 years ago
- Repo with algorithms or small projects in some languages I am studying☆22Updated this week
- ☆25Updated 2 years ago
- ☆14Updated 4 months ago
- Um guia/tutorial/cheatsheet que irá ajudar você começar a estudar e melhorar seus conhecimentos sobre containers.☆15Updated 2 months ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Updated 8 months ago