lynn / aoc-2018
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
- Advent of Code 2019 solutions in 25 different languages!☆10Updated 4 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- A programming language that runs in Haskell's type system.☆253Updated 9 years ago
- theseus, functional programming language with fully reversible computation☆122Updated 5 years ago
- a language about nothing☆19Updated 5 years ago
- Take an info.rkt file, produce a info.nix file.☆41Updated 4 years ago
- Vim plugin for ATS☆16Updated 3 years ago
- Generate Erlang VM byte code from Haskell☆170Updated 5 months ago
- NES programming in Haskell? No way!☆38Updated 9 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Algebraic structures for untyped Racket☆77Updated 9 months ago
- A git-compatible content tracker in Haskell.☆67Updated 5 years ago
- Abstract, inspectable JSON representation of Haskell objects☆26Updated 2 years ago
- Absal ex☆57Updated last year
- Game NetCode Solved☆24Updated 4 years ago
- PoC for Object Oriented Haskell☆21Updated 5 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 6 months ago
- Haskell bindings to the libui C library.☆48Updated 7 years ago
- 🧠 Type-safe memory units☆61Updated 4 years ago
- A Language and its compiler on Ethereum Virtual Machine☆14Updated 6 years ago
- More open source 4/4 beats for the peoples☆24Updated 2 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated last month
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 3 years ago
- The LC3 virtual machine☆23Updated 4 months ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆19Updated 6 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- Remember how long commands take, tell me if I have enough time to make a sandwich☆26Updated last year
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago