tckmn / polyaoc-2019Links
solutions to advent of code puzzles in many languages
☆16Updated 7 months ago
Alternatives and similar repositories for polyaoc-2019
Users that are interested in polyaoc-2019 are comparing it to the libraries listed below
Sorting:
- Intcode compiler and samples from Advent of Code 2019☆108Updated 4 years ago
- GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*☆102Updated 3 years ago
- 🎅🌟❄️☃️🎄🎁☆99Updated 7 months ago
- solutions to advent of code 2020 puzzles in many languages☆43Updated 7 months ago
- Animations of lambda term reduction sequences☆139Updated 7 years ago
- My solutions for Advent of Code 2017, each in a different language.☆30Updated 4 years ago
- Natural Number Game☆191Updated this week
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Catalog of visual lambda calculi☆143Updated 3 months ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆161Updated last year
- An introduction to theorem proving in Lean for the impatient.☆218Updated last month
- Lean Library currently studying for a degree at Imperial College☆226Updated 5 months ago
- actually publishing my solutions now that they're not redundant...☆210Updated 2 years ago
- (Mostly) Elm solutions for Advent of Code☆32Updated 6 months ago
- Server to host lean games.☆290Updated this week
- An experimental VSCode extension for Roc language☆25Updated 2 months ago
- ☆164Updated 5 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- doing the same thing over and over and expecting the same results☆41Updated 4 years ago
- A formal consistency proof of Quine's set theory New Foundations☆72Updated 3 weeks ago
- Source Code from "Making Music with Haskell" video☆138Updated 4 years ago
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- Software suite for ranking chess positions and accurately estimating the number of legal chess positions☆165Updated last year
- A sudoku game where you have to prove that your deductions are valid☆114Updated 2 years ago
- I wanted to make a nicer sticker for Munihac, then things got out of hand.☆150Updated 6 months ago
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆31Updated this week
- 🎸 Find chords for any string instrument quicky & easily 🎸☆151Updated 3 months ago
- Visual Studio Code extension for the Lean 4 proof assistant☆220Updated 2 weeks ago
- Java implementations of sequences in the OEIS☆63Updated this week
- Generates a 2D animation of Rule 30 (or other rules) being fed into Conway's Game of Life.☆162Updated last year