gusbicalho / haskell-todo
Toy todo-list service
☆15Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for haskell-todo
- The Lambda I/O Foundation Manifest.☆57Updated 7 years ago
- 🌵 A lisp REPL interpreter made in Haskell☆24Updated 5 years ago
- Soluções dos problems do adventofcode.com☆13Updated 3 years ago
- My curated list of papers I need to read (or already did), mostly about PLT☆53Updated 6 years ago
- E-book version of Bartosz Milewski's blog post series☆61Updated 7 years ago
- clj-br website☆11Updated 3 months ago
- A declarative toy language inspired on set comprehensions.☆18Updated 5 years ago
- About me☆17Updated last week
- Haskell solutions for https://adventofcode.com/2021/☆14Updated 2 years ago
- Repositório do grupo de estudos sobre Clojure e Programação Funcional do Training Center☆48Updated 5 years ago
- Functional Path do hacker Rank☆51Updated 2 years ago
- How to make you very own REPL in Haskell☆29Updated 7 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆36Updated this week
- Useful resources for the Eta programming language☆61Updated 3 years ago
- Presentations on Liquid Haskell, type theory, and more☆44Updated 2 weeks ago
- Vagas e empresas que ativamente contratam pessoas desenvolvedoras Clojure no Brasil☆84Updated last year
- Haskell in S-expression☆171Updated last month
- The Haskell implementation of the Milho programming language.☆29Updated last year
- 🍰🍴Template project based on the cake-slayer architecture library☆19Updated last year
- annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski☆18Updated 5 years ago
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 3 years ago
- Automatically derive bindings for Servant APIs in Reason☆12Updated 5 years ago
- Calculus of Constructions☆17Updated 5 years ago
- Web app for typical Haskeller's answers to everything☆21Updated 4 years ago
- ☆31Updated 2 years ago
- Focused domain model declaration toolkit for Haskell☆47Updated 11 months ago
- ☆9Updated 7 years ago
- Explore haskell and functional programming concepts☆20Updated 5 years ago