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

• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆156Updated 2 months ago
• jayfoad / aoc2018apl
  Advent of Code 2018 solutions in Dyalog APL
  ☆22Updated 4 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆151Updated 7 years ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆29Updated last year
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆180Updated 4 years ago
• digama0 / mm0
  Metamath Zero specification language
  ☆354Updated 2 months ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆116Updated this week
• djvelleman / HTPILeanPackage
  ☆33Updated 3 months ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆100Updated last year
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆112Updated last year
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆57Updated 7 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆170Updated this week
• LogicalAtomist / principia
  The Principia Rewrite
  ☆227Updated 8 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 4 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• razetime / code-golf
  All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)
  ☆11Updated last year
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆61Updated last year
• T-Brick / c0deine
  Reference compiler for c0
  ☆37Updated 4 months ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆172Updated last month
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 3 years ago
• mlochbaum / Singeli
  High-level interface for low-level programming
  ☆119Updated 2 months ago
• abrudz / dyalog_vision
  A realistic future development for the core language of Dyalog APL
  ☆11Updated 4 months ago
• 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 month
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆48Updated last year
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• teorth / symmetric_project
  ☆93Updated last year
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 7 months ago