gusbicalho / haskell-todoLinks
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
Sorting:
- 🌵 A lisp REPL interpreter made in Haskell☆24Updated 5 years ago
- The Lambda I/O Foundation Manifest.☆57Updated 8 years ago
- Soluções dos problems do adventofcode.com☆13Updated 4 years ago
- annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski☆19Updated 5 years ago
- My curated list of papers I need to read (or already did), mostly about PLT☆55Updated 6 years ago
- A declarative toy language inspired on set comprehensions.☆18Updated 6 years ago
- That's "ma" fictional bank system written in clojure!☆7Updated 4 years ago
- Calculus of Constructions☆17Updated 5 years ago
- Yet another Haskell servant talk☆13Updated 5 years ago
- Useful resources for the Eta programming language☆62Updated 3 years ago
- ♾️ Sized list☆46Updated last year
- Parser for es6 and es7.☆10Updated 7 months ago
- A 3D game engine written in Haskell and OpenGL Shading Language. The goal is to make a 3D tribute to ZZT, including a game creation syst…☆44Updated last week
- Connecting Haskell projects, mentors, and learners!☆17Updated 7 years ago
- Focused domain model declaration toolkit for Haskell☆47Updated last year
- How to make you very own REPL in Haskell☆30Updated 8 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 4 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 8 months ago
- A clojure implementation of a blockchain based on "Learn Blockchains by Building One"☆43Updated last year
- Haskell in S-expression☆176Updated 7 months ago
- A command-line replacement for the Google Authenticator App☆25Updated last year
- ☆21Updated 8 years ago
- Agda libraries relevant to Moonad☆14Updated 6 years ago
- Totally functional programming literature☆60Updated 6 years ago
- Elaborate and expressive S-Expression library for Haskell☆61Updated 11 months ago
- About me☆16Updated 7 months ago
- Code Examples and Notes for my talk on Functional References (Lenses and such) at the Santa Monica Haskell Meetup☆9Updated 3 years ago
- Automatically derive bindings for Servant APIs in Reason☆12Updated 6 years ago
- A Haskell representation of Clojure's EDN☆11Updated 7 years ago