Alternatives and similar repositories for Advent-of-Code-2021:

Users that are interested in Advent-of-Code-2021 are comparing it to the libraries listed below

• vmchale / apple
  Apple array system
  ☆66Updated last week
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated last year
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆105Updated last week
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆131Updated 2 weeks ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• jayfoad / aoc2018apl
  Advent of Code 2018 solutions in Dyalog APL
  ☆22Updated 4 years ago
• mlochbaum / bqncrate
  A derivative approach to finding your way in BQN
  ☆38Updated last month
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• Dyalog / dyalog-jupyter-kernel
  A Jupyter kernel for Dyalog APL
  ☆70Updated 3 months ago
• codereport / scrabble
  A scrabble game that helps you train.
  ☆14Updated last year
• mlochbaum / Singeli
  High-level interface for low-level programming
  ☆112Updated 2 weeks ago
• razetime / bqn-vscode
  BQN programming language vscode plugin (symbol input, syntax highlighting)
  ☆22Updated 6 months ago
• schleifenkauz / Hextant
  An AST-Editor
  ☆33Updated last week
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 2 months ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 3 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆129Updated 6 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆128Updated 2 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• wilbowma / pl-thesaurus
  ☆90Updated 3 years ago
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 2 years ago
• xpqz / kbook
  [WIP] A book on the k language.
  ☆45Updated 2 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆100Updated last year
• prathyvsh / Visual-Math-Tools
  Catalog of Visual Math Tools
  ☆95Updated 3 years ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆54Updated this week
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated last year
• rak1507 / Advent-Of-Code-APL
  APL solutions to Advent of Code
  ☆10Updated 3 years ago
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆35Updated 4 years ago
• cucapra / gator
  Geometry types
  ☆30Updated 4 years ago
• kmill / lean4-raytracer
  A simple raytracer written in Lean 4
  ☆134Updated 11 months ago