lambda-study-group / advent-of-codeLinks
Soluções dos problems do adventofcode.com
☆13Updated 5 years ago
Alternatives and similar repositories for advent-of-code
Users that are interested in advent-of-code are comparing it to the libraries listed below
Sorting:
- 🌵 A lisp REPL interpreter made in Haskell☆24Updated 6 years ago
- A programming language, aka a THING☆10Updated 5 years ago
- Wrap promises, never use .catch again☆25Updated 2 years ago
- 🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.☆15Updated 3 years ago
- A declarative toy language inspired on set comprehensions.☆18Updated 6 years ago
- The Haskell implementation of the Milho programming language.☆29Updated 2 years ago
- Repo with algorithms or small projects in some languages I am studying☆22Updated 4 months ago
- ☆52Updated 4 months ago
- 👨🏫 Educational purpose virtual machine to assembly Neander and Neander+☆16Updated 6 years ago
- Toy programming language☆20Updated last year
- A small video game console for Arduino using the Brainduino interpreter☆28Updated 7 years ago
- Toy todo-list service☆15Updated 6 years ago
- Vagas e empresas que ativamente contratam pessoas desenvolvedoras Clojure no Brasil☆84Updated 3 years ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Updated 4 years ago
- The Lambda I/O Foundation Manifest.☆57Updated 9 years ago
- Lisp interpreter written in Rust☆15Updated 4 years ago
- My curated list of papers I need to read (or already did), mostly about PLT☆56Updated 7 years ago
- ☆22Updated 2 years ago
- Dicionario de termos funcionais traduzidos☆52Updated 7 years ago
- ☆22Updated last month
- Functional Path do hacker Rank☆52Updated 3 years ago
- ☆25Updated 4 years ago
- Telegram Bot that imitates @lerax (@ryukinix) behavior, 'cause he is a legend.☆11Updated 5 years ago
- Exercism - FP languages Exercises☆51Updated 2 years ago
- Language Savant for unknown, lost or new programming languages. Use it if your repo's language is not included on GitHub Linguist☆49Updated 7 years ago
- FP Challenges☆80Updated 2 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated this week
- Bot for the telegram group written in Elixir using Nadia.☆16Updated 6 years ago
- ☆175Updated 3 years ago
- A project which aim to help engineers to make proves easily☆14Updated 3 years ago