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

• jayfoad / aoc2018apl
  Advent of Code 2018 solutions in Dyalog APL
  ☆22Updated 4 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆139Updated 7 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆143Updated 3 months ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• razetime / code-golf
  All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)
  ☆11Updated last year
• razetime / bqn-vscode
  BQN programming language vscode plugin (symbol input, syntax highlighting)
  ☆22Updated 9 months ago
• codereport / Programming-Language-Meetups
  ☆20Updated 4 years ago
• codereport / array-language-comparisons
  A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.
  ☆185Updated 5 months ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆44Updated last year
• vmchale / apple
  Apple array system
  ☆67Updated last month
• Peter-H-Meadows / GtMetamath
  Metamath logic game
  ☆10Updated 3 months ago
• mlochbaum / Singeli
  High-level interface for low-level programming
  ☆116Updated this week
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 2 years ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆161Updated last year
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆129Updated last year
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆92Updated this week
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆111Updated 3 weeks ago
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆142Updated last year
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆160Updated last week
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆222Updated last year
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• jayfoad / aoc2022apl
  Advent of Code 2022 solutions in Dyalog APL
  ☆23Updated 2 years ago
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆73Updated 2 weeks ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆224Updated 5 months ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• abrudz / dyalog_vision
  A realistic future development for the core language of Dyalog APL
  ☆11Updated last month
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated 10 months ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆176Updated 4 years ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆59Updated 9 months ago