tckmn / polyaoc-2019
solutions to advent of code puzzles in many languages
☆15Updated 3 months ago
Alternatives and similar repositories for polyaoc-2019:
Users that are interested in polyaoc-2019 are comparing it to the libraries listed below
- Advent of Code 2019 solutions☆43Updated 3 years ago
- 🎅🌟❄️☃️🎄🎁☆99Updated 4 months ago
- Advent of Code 2019 - my answers☆16Updated 4 years ago
- Advent of Code 2019 Solutions (Spoilers!)☆66Updated 4 months ago
- This project converts structured Lean code into an interactive browser game.☆75Updated last year
- 🎅🌟❄️☃️🎄🎁☆45Updated 4 months ago
- A gamification of the theorems in MATH40002 Analysis 1☆81Updated 2 years ago
- Mystery Languages☆38Updated last year
- doing the same thing over and over and expecting the same results☆41Updated 3 years ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated last year
- ☆90Updated 3 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- A collection of programming languages and type systems.☆33Updated 7 months ago
- Advent of Futhark☆13Updated 4 months ago
- A [ functional stack ] based language.☆29Updated last year
- A derivative approach to finding your way in BQN☆38Updated last week
- Like APL, but with emojis☆15Updated 3 years ago
- GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*☆102Updated 3 years ago
- A stepping debugger for Standard ML (SML)☆25Updated last year
- Informal collection of BQN utilities☆57Updated 2 weeks ago
- Rust rewrite of the sunfish simple chess engine☆56Updated 3 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆24Updated 4 months ago
- A sudoku game where you have to prove that your deductions are valid☆114Updated 2 years ago
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆53Updated 2 weeks ago
- Interactive development environment and runner for Advent of Code challenges☆26Updated last year
- An embeddable BQN virtual machine in rust. Stay tuned!☆34Updated 2 years ago
- A simple Parser for Roc☆28Updated 2 months ago
- Lambda calculus interpreter written in TypeScript☆28Updated last year
- Type inference implementation in OCaml using Algorithm W☆10Updated 3 years ago