lynn / aoc-2018Links
Advent of Code 2018 solutions in 25 different languages!
☆23Updated 6 years ago
Alternatives and similar repositories for aoc-2018
Users that are interested in aoc-2018 are comparing it to the libraries listed below
Sorting:
- The Red Flag of Functional Programming☆105Updated 3 years ago
- theseus, functional programming language with fully reversible computation☆123Updated 6 years ago
- Advent of Code 2019 solutions in 25 different languages!☆10Updated 5 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- A bittorrent client, for learning purposes☆108Updated 5 years ago
- A programming language that runs in Haskell's type system.☆255Updated 9 years ago
- A simple blogging platform with Haskell and Scotty☆39Updated 3 years ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 3 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- Get those pesky braces out of your face☆49Updated 7 years ago
- ♾️ Sized list☆46Updated last year
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 4 years ago
- A Haskell binding for the OpenAL Utility Toolkit, which makes managing of OpenAL contexts, loading sounds in various formats and creating…☆14Updated 2 years ago
- Exercism exercises in Idris.☆35Updated last month
- Advent of Code 2017 (Warning: Spoilers)☆50Updated 9 months ago
- PoC for Object Oriented Haskell☆21Updated 5 years ago
- ☆47Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆93Updated 6 years ago
- Haskell bindings to the libui C library.☆48Updated 7 years ago
- Remember how long commands take, tell me if I have enough time to make a sandwich☆26Updated last year
- Madlang is a language for generative literature☆51Updated 7 years ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- A git-compatible content tracker in Haskell.☆67Updated 5 years ago
- Idris Todo web application example☆42Updated 2 years ago
- 🧠 Type-safe memory units☆61Updated 4 years ago
- S-expression-based syntax alternative for Haskell.☆21Updated 11 years ago
- NES programming in Haskell? No way!☆38Updated 9 years ago
- ☆42Updated 7 years ago
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago