codereport / Advent-of-Code-2021Links
Solutions to Advent of Code 2021 in APL
☆11Updated 2 years ago
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
Sorting:
- Catalog of visual lambda calculi☆150Updated last month
- Advent of Code 2018 solutions in Dyalog APL☆22Updated 4 years ago
- Visual environment for manipulation the lambda calculus expressions☆26Updated last year
- Animations of lambda term reduction sequences☆143Updated 7 years ago
- ☆32Updated last month
- Programming with pure lambda calculus☆117Updated this week
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆136Updated 2 years ago
- BQN programming language vscode plugin (symbol input, syntax highlighting)☆22Updated 11 months ago
- A curated list of awesome Category Theory resources.☆122Updated 4 months ago
- Java implementations of sequences in the OEIS☆65Updated this week
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- The Principia Rewrite☆224Updated 7 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated last week
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated 2 weeks ago
- Haskell implementation of open games☆173Updated 7 months ago
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago
- Catalog of Visual Math Tools☆98Updated 3 years ago
- Jupyter kernel for Coq☆95Updated last year
- Metamath Zero specification language☆351Updated 3 weeks ago
- metamath proof enumerators and other things☆94Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆177Updated 4 years ago
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆191Updated 7 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆108Updated this week
- Books that makes heavy use of visuals for scientific communication☆163Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆290Updated 8 months ago
- High-level interface for low-level programming☆118Updated last month
- ☆245Updated this week
- Categorica: a pure and applied category theory framework for the Wolfram Language☆33Updated last year
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆64Updated 10 months ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆145Updated last year