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
  ☆158Updated 4 months ago
• djvelleman / HTPILeanPackage
  ☆32Updated 4 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆152Updated 7 years ago
• jayfoad / aoc2018apl
  Advent of Code 2018 solutions in Dyalog APL
  ☆22Updated 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
  ☆129Updated 2 months ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• codereport / array-language-comparisons
  A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.
  ☆202Updated 9 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆174Updated this week
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆29Updated last year
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆36Updated last month
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆112Updated last year
• kmill / lean4-raytracer
  A simple raytracer written in Lean 4
  ☆142Updated last year
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆50Updated 3 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆128Updated this week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated 2 years ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆100Updated 2 years ago
• codereport / CTfP-2021
  Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
  ☆137Updated 3 years ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆127Updated this week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆126Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 5 months ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆122Updated last year
• acornprover / acorn
  The core implementation of the Acorn language.
  ☆34Updated this week
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆24Updated 2 months ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆128Updated 4 months ago
• ToposInstitute / poly
  ☆119Updated last year
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated last year