gusbicalho / haskell-todo
Toy todo-list service
☆15Updated 5 years ago
Alternatives and similar repositories for haskell-todo:
Users that are interested in haskell-todo are comparing it to the libraries listed below
- Soluções dos problems do adventofcode.com☆13Updated 4 years ago
- 🌵 A lisp REPL interpreter made in Haskell☆24Updated 5 years ago
- The Lambda I/O Foundation Manifest.☆57Updated 8 years ago
- A declarative toy language inspired on set comprehensions.☆18Updated 6 years ago
- My curated list of papers I need to read (or already did), mostly about PLT☆54Updated 6 years ago
- An interactive programming platform. (see https://github.com/origamitower/purr for the most recent version of this)☆50Updated 6 years ago
- annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski☆19Updated 5 years ago
- The Haskell implementation of the Milho programming language.☆29Updated last year
- Functional Path do hacker Rank☆52Updated 2 years ago
- VimL lisp evaluator☆10Updated 3 years ago
- Agda libraries relevant to Moonad☆14Updated 6 years ago
- Calculus of Constructions☆17Updated 5 years ago
- A Haskell representation of Clojure's EDN☆11Updated 7 years ago
- Type Level Regular Expressions☆12Updated last year
- How to make you very own REPL in Haskell☆30Updated 8 years ago
- 🐫Yeoman generator to scaffold OCaml modules.☆22Updated 6 years ago
- Emoj is a modern, concatenative language for the browser. (april's fool project)☆19Updated 6 years ago
- That's "ma" fictional bank system written in clojure!☆7Updated 4 years ago
- clj-br website☆11Updated last month
- Vagas e empresas que ativamente contratam pessoas desenvolvedoras Clojure no Brasil☆83Updated 2 years ago
- Automatically derive bindings for Servant APIs in Reason☆12Updated 5 years ago
- Repositório do grupo de estudos sobre Clojure e Programação Funcional do Training Center☆48Updated 6 years ago
- Connecting Haskell projects, mentors, and learners!☆17Updated 7 years ago
- About me☆16Updated 5 months ago
- Exercises of Structure and Interpretation of Computer Programs in different languages☆25Updated 4 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 6 months ago
- Totally functional programming literature☆60Updated 6 years ago
- A consistent and minimal F# driver for ArangoDB☆4Updated last year
- E-book version of Bartosz Milewski's blog post series☆63Updated 7 years ago
- UnionType in Idris☆11Updated 6 years ago