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:
- Advent of Code 2019 solutions in 25 different languages!☆10Updated 5 years ago
- The Red Flag of Functional Programming☆105Updated 4 years ago
- Remember how long commands take, tell me if I have enough time to make a sandwich☆26Updated last year
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- A git-compatible content tracker in Haskell.☆67Updated 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
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 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
- A programming language that runs in Haskell's type system.☆256Updated 9 years ago
- Write yourself a typed functional language☆65Updated 7 years ago
- Exercism exercises in Idris.☆35Updated last month
- An EDSL implemented in Haskell for programming the Nintendo Game Boy.☆49Updated 2 years ago
- Crazy figures and animations with Haskell☆34Updated 7 years ago
- ♾️ Sized list☆47Updated last year
- NES programming in Haskell? No way!☆39Updated 9 years ago
- Advent of Code 2017 (Warning: Spoilers)☆50Updated last year
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 10 years ago
- A tiny scheme interpreter in Haskell☆24Updated 6 years ago
- Advent of Code 2018☆23Updated 6 years ago
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago
- Tutorial / REPL for the lambda calculus☆67Updated last year
- Static blog generator in Idris.☆40Updated 10 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated last year
- Examples for the book “Alex and Happy”☆34Updated 10 years ago
- theseus, functional programming language with fully reversible computation☆124Updated 6 years ago
- A simple, purely-functional programming language☆25Updated 3 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Updated last year
- Format Haskell programs. Inspired by the gofmt utility.☆125Updated 3 years ago