Alternatives and similar repositories for polyaoc-2019:

Users that are interested in polyaoc-2019 are comparing it to the libraries listed below

• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆77Updated 3 years ago
• tckmn / polyaoc-2020
  solutions to advent of code 2020 puzzles in many languages
  ☆43Updated last month
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• ttencate / aoc2017
  My solutions for Advent of Code 2017, each in a different language.
  ☆30Updated 3 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆31Updated last year
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 2 years ago
• topaz / aoc2019-intcode
  Intcode compiler and samples from Advent of Code 2019
  ☆108Updated 4 years ago
• mlochbaum / bqncrate
  A derivative approach to finding your way in BQN
  ☆37Updated this week
• mstksg / advent-of-code-2020
  🎅🌟❄️☃️🎄🎁
  ☆99Updated 2 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆74Updated last year
• Janiczek / advent-of-code
  (Mostly) Elm solutions for Advent of Code
  ☆31Updated 3 weeks ago
• jayfoad / aoc2020apl
  Advent of Code 2020 solutions in Dyalog APL
  ☆22Updated 4 years ago
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆36Updated 2 years ago
• jitwit / aoc
  advent of code
  ☆20Updated last week
• mstksg / advent-of-code-2019
  Advent of Code 2019 Solutions (Spoilers!)
  ☆66Updated 2 months ago
• betaveros / advent-of-code-golf-2019
  let's see how long it takes before I burn out this time
  ☆34Updated 4 years ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆127Updated 9 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆94Updated last year
• betaveros / paradoc
  GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*
  ☆101Updated 2 years ago
• joebo / j-emscripten
  ☆12Updated 10 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated last week
• betaveros / advent-of-code-golf-2020
  doing the same thing over and over and expecting the same results
  ☆41Updated 3 years ago
• jbrot / jstris-ai
  An AI for Tetris on Jstris
  ☆11Updated 5 years ago
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 3 weeks ago
• kmill / lean4-raytracer
  A simple raytracer written in Lean 4
  ☆132Updated 8 months ago
• darrenks / nibbles
  A codegolf language for mortals
  ☆31Updated last month
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆90Updated 5 months ago
• codyroux / broad-coq-tutorial
  Some unstructured notes concerning the Broad tutorial to take place in March 2020
  ☆31Updated 3 years ago
• wilbowma / pl-thesaurus
  ☆88Updated 3 years ago