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 bittorrent client, for learning purposes☆109Updated 5 years ago
- The Red Flag of Functional Programming☆105Updated 3 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- Get those pesky braces out of your face☆49Updated 7 years ago
- Generate NetHack configurations using Dhall☆36Updated 4 years ago
- A git-compatible content tracker in Haskell.☆67Updated 5 years ago
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 4 years ago
- Advent of Code 2017 (Warning: Spoilers)☆50Updated 8 months ago
- Remember how long commands take, tell me if I have enough time to make a sandwich☆26Updated last year
- An EDSL implemented in Haskell for programming the Nintendo Game Boy.☆48Updated last year
- Play Minesweeper by formally proving your moves in Idris☆167Updated 10 months ago
- Advent of Code 2019 solutions in 25 different languages!☆10Updated 4 years ago
- A programming language that runs in Haskell's type system.☆254Updated 9 years ago
- Haskell package for handling various feed (RSS) formats.☆31Updated last year
- a language about nothing☆19Updated 6 years ago
- theseus, functional programming language with fully reversible computation☆124Updated 6 years ago
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 3 years ago
- Tutorial / REPL for the lambda calculus☆66Updated 10 months ago
- Format Haskell programs. Inspired by the gofmt utility.☆125Updated 2 years ago
- A workspace for research teams☆104Updated 5 years ago
- PoC for Object Oriented Haskell☆21Updated 5 years ago
- Exercism exercises in Idris.☆35Updated last month
- S-expression-based syntax alternative for Haskell.☆21Updated 11 years ago
- ♾️ Sized list☆46Updated last year
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- djb's redo implementation in Haskell (for Haskell from Scratch video series)☆146Updated 7 years ago
- Unicode alternatives for common functions and operators☆36Updated 3 years ago
- Compile Idris to Vimscript, like you always wanted.☆131Updated 7 years ago
- Twitter API package for Haskell, including enumerator interfaces and Streaming API supports.☆158Updated 3 years ago