tckmn / polyaoc-2019Links
solutions to advent of code puzzles in many languages
☆16Updated 10 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
- solutions to advent of code 2020 puzzles in many languages☆43Updated 10 months ago
- Generates a 2D animation of Rule 30 (or other rules) being fed into Conway's Game of Life.☆166Updated last year
- Catalog of visual lambda calculi☆157Updated 3 months ago
- My solutions for Advent of Code 2017, each in a different language.☆30Updated 4 years ago
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- Intcode compiler and samples from Advent of Code 2019☆107Updated 4 years ago
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- My Advent of Code solutions☆22Updated 10 months ago
- actually publishing my solutions now that they're not redundant...☆211Updated 2 years ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆46Updated 4 years ago
- Library of math functions for the Uiua programming language☆30Updated this week
- A small, weird and unpractical programming language.☆103Updated last week
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆146Updated 2 years ago
- advent of code☆20Updated 9 months ago
- Some Lean tutorials☆183Updated 2 years ago
- A terse declarative logic programming language☆117Updated 5 years ago
- 🎅🌟❄️☃️🎄🎁☆99Updated 11 months ago
- metamath proof enumerators and other things☆91Updated last week
- parse MiniLaTeX source text and render it into HTML☆56Updated 7 years ago
- BQN programming language vscode plugin (symbol input, syntax highlighting)☆22Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆172Updated last week
- a tiny tile-based editor☆311Updated last month
- Informal collection of BQN utilities☆60Updated 3 weeks ago
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago
- A two-dimensional, hexagonal programming language.☆571Updated 4 years ago
- Online REPL for BQN☆34Updated 2 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- A categorical programming language with effects☆287Updated 2 years ago
- Software suite for ranking chess positions and accurately estimating the number of legal chess positions☆169Updated last year