tckmn / polyaoc-2019Links
solutions to advent of code puzzles in many languages
☆16Updated 8 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:
- GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*☆103Updated 3 years ago
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆17Updated last year
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Software suite for ranking chess positions and accurately estimating the number of legal chess positions☆166Updated last year
- A sudoku game where you have to prove that your deductions are valid☆115Updated 2 years ago
- 🎅🌟❄️☃️🎄🎁☆99Updated 8 months ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated last month
- My Advent of Code solutions☆22Updated 7 months ago
- doing the same thing over and over and expecting the same results☆41Updated 4 years ago
- multilingual dictionary of mathematical terminology☆19Updated last month
- ☆38Updated 2 years ago
- Mystery Languages☆38Updated last year
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- Advent of Code 2019 Solutions (Spoilers!)☆66Updated 8 months ago
- Advent of Code 2019 - my answers☆16Updated 4 years ago
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- Ruby script to convert Concepts SVG files into multiple PDF pages☆11Updated 3 years ago
- Interactive development environment and runner for Advent of Code challenges☆26Updated last year
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆145Updated last year
- Natural Number Game☆199Updated this week
- Some Lean tutorials☆184Updated last year
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- ☆39Updated 2 years ago
- Source Code from "Making Music with Haskell" video☆138Updated 4 years ago
- Run dyalog APL and RIDE on nixos☆20Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆178Updated 4 years ago
- GALGA: Multiplayer card game written in Haskell and Elm.☆138Updated 2 months ago
- Catalog of visual lambda calculi☆148Updated 3 weeks ago
- Advent of Code 2022 solutions in Awk☆13Updated 2 years ago
- Intcode compiler and samples from Advent of Code 2019☆108Updated 4 years ago