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
- A bittorrent client, for learning purposes☆108Updated 6 years ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 3 years ago
- Get those pesky braces out of your face☆49Updated 8 years ago
- Advent of Code 2017 (Warning: Spoilers)☆50Updated last year
- A simple multithreaded chat server in haskell☆35Updated 6 years ago
- A programming language that runs in Haskell's type system.☆256Updated 9 years ago
- Remember how long commands take, tell me if I have enough time to make a sandwich☆26Updated last year
- Generate NetHack configurations using Dhall☆37Updated 4 years ago
- A git-compatible content tracker in Haskell.☆67Updated 5 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Compile Idris to Vimscript, like you always wanted.☆131Updated 7 years ago
- Vim plugin for ATS☆16Updated 4 years ago
- Play Minesweeper by formally proving your moves in Idris☆168Updated last year
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 4 years ago
- Write yourself a typed functional language☆65Updated 7 years ago
- curses Pac-man game in Haskell -- mostly finished, very playable☆33Updated 6 years ago
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- ♾️ Sized list☆47Updated last year
- NES programming in Haskell? No way!☆39Updated 10 years ago
- A fast paced arcade game☆52Updated 5 years ago
- Abstract, inspectable JSON representation of Haskell objects☆26Updated 3 years ago
- Idris Todo web application example☆41Updated 2 years ago
- Advent of Code 2019 solutions☆43Updated 4 years ago
- Conflict is a small esoteric language giving semantics to git merge conflicts☆14Updated 5 years ago
- Haskell bindings to the libui C library.☆48Updated 7 years ago
- a tech demo for a bullet hell game. for the full game visit https://gilmi.me/nyx☆35Updated 6 years ago
- djb's redo implementation in Haskell (for Haskell from Scratch video series)☆148Updated 7 years ago
- A workspace for research teams☆106Updated 6 years ago
- A convenience wrapper around the Gloss library to make writing games in Haskell even easier☆19Updated 5 years ago