tckmn / polyaoc-2019Links
solutions to advent of code puzzles in many languages
☆16Updated 9 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:
- My solutions for Advent of Code 2017, each in a different language.☆30Updated 4 years ago
- GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*☆103Updated 3 years ago
- Solutions, scripting, and templates for adventofcode.com☆23Updated last year
- Audio library for BQN☆20Updated last year
- doing the same thing over and over and expecting the same results☆41Updated 4 years ago
- My Advent of Code solutions☆22Updated 8 months ago
- 🎅🌟❄️☃️🎄🎁☆99Updated 10 months ago
- Intcode compiler and samples from Advent of Code 2019☆107Updated 4 years ago
- Software suite for ranking chess positions and accurately estimating the number of legal chess positions☆168Updated last year
- ES6 solutions to Advent of Code puzzles.☆18Updated this week
- Chess engine entirely written in Haskell☆53Updated 3 months ago
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- A derivative approach to finding your way in BQN☆39Updated last month
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆41Updated 8 months ago
- A small, weird and unpractical programming language.☆103Updated this week
- Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…☆41Updated 7 months ago
- Advent of Code 2022 solutions in Awk☆13Updated 2 years ago
- A computer algebra system for research in combinatorial game theory☆48Updated last year
- Javascript implementation of Fractran☆14Updated 8 years ago
- ☆11Updated 10 years ago
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated last month
- actually publishing my solutions now that they're not redundant...☆211Updated 2 years ago
- Animations of lambda term reduction sequences☆147Updated 7 years ago
- Catalog of visual lambda calculi☆153Updated 2 months ago
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago
- Java implementations of sequences in the OEIS☆65Updated this week
- ☆38Updated 2 years ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 3 months ago
- Cordova interface for the Stockfish chess engine☆11Updated 4 years ago