lynn / aoc-2018Links
Advent of Code 2018 solutions in 25 different languages!
☆23Updated 7 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:
- Advent of Code 2019 solutions in 25 different languages!☆10Updated 5 years ago
- Get those pesky braces out of your face☆49Updated 8 years ago
- A programming language that runs in Haskell's type system.☆256Updated 9 years ago
- The Phage Programming Language☆13Updated 4 years ago
- Vim plugin for ATS☆16Updated 4 years ago
- Advent of Code 2017 (Warning: Spoilers)☆50Updated last year
- theseus, functional programming language with fully reversible computation☆125Updated 6 years ago
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- The Red Flag of Functional Programming☆104Updated 4 years ago
- A [ functional stack ] based language.☆30Updated 2 years ago
- Remember how long commands take, tell me if I have enough time to make a sandwich☆26Updated last year
- Play Minesweeper by formally proving your moves in Idris☆169Updated last year
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago
- A tiny scheme interpreter in Haskell☆24Updated 6 years ago
- Small library for braillizing images☆17Updated 6 years ago
- A git-compatible content tracker in Haskell.☆67Updated 6 years ago
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 4 years ago
- Write yourself a typed functional language☆65Updated 7 years ago
- A simple multithreaded chat server in haskell☆35Updated 6 years ago
- Generate NetHack configurations using Dhall☆37Updated 4 years ago
- A Haskell binding for the OpenAL Utility Toolkit, which makes managing of OpenAL contexts, loading sounds in various formats and creating…☆15Updated 2 years ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 4 years ago
- NES programming in Haskell? No way!☆39Updated 10 years ago
- a language about nothing☆19Updated 6 years ago
- Crazy figures and animations with Haskell☆34Updated 7 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Exercism exercises in Idris.☆35Updated last week
- Compile Idris to Vimscript, like you always wanted.☆132Updated 7 years ago
- An EDSL implemented in Haskell for programming the Nintendo Game Boy.☆50Updated 2 years ago
- Static blog generator in Idris.☆40Updated 10 years ago