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:
- A git-compatible content tracker in Haskell.☆67Updated 5 years ago
- The Red Flag of Functional Programming☆105Updated 3 years ago
- A bittorrent client, for learning purposes☆109Updated 5 years ago
- A simple multithreaded chat server in haskell☆35Updated 6 years ago
- theseus, functional programming language with fully reversible computation☆123Updated 6 years ago
- A simple programming language targeting LLVM☆65Updated 6 years ago
- Play Minesweeper by formally proving your moves in Idris☆167Updated 9 months ago
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- A programming language that runs in Haskell's type system.☆253Updated 9 years ago
- A tiny scheme interpreter in Haskell☆24Updated 6 years ago
- NES programming in Haskell? No way!☆38Updated 9 years ago
- A simple, purely-functional programming language☆25Updated 3 years ago
- Remember how long commands take, tell me if I have enough time to make a sandwich☆26Updated last year
- Advent of Code 2017 (Warning: Spoilers)☆50Updated 8 months ago
- Absal ex☆57Updated last year
- Small library for braillizing images☆18Updated 5 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 3 months ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- xmonad in Coq☆46Updated 13 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- Get those pesky braces out of your face☆49Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Generate NetHack configurations using Dhall☆36Updated 3 years ago
- A Haskell binding for the OpenAL Utility Toolkit, which makes managing of OpenAL contexts, loading sounds in various formats and creating…☆13Updated last year
- a language about nothing☆19Updated 5 years ago
- Examples of how to use regular expressions in Haskell.☆14Updated 9 years ago
- An EDSL implemented in Haskell for programming the Nintendo Game Boy.☆48Updated last year