BarrensZeppelin / adventofcode2021Links
☆7Updated 3 years ago
Alternatives and similar repositories for adventofcode2021
Users that are interested in adventofcode2021 are comparing it to the libraries listed below
Sorting:
- My Advent of Code solutions. I also upload videos of my solves: https://www.youtube.com/channel/UCuWLIm0l4sDpEe28t41WITA☆404Updated 7 months ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆299Updated last year
- ASCII art of digits that also happen to solve Advent of Code challenges☆50Updated 4 years ago
- Source code from my Lazy Evaluation video☆16Updated 4 years ago
- Finding optimal play in the game of wordle☆59Updated last year
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆308Updated last year
- www☆16Updated last year
- Repository for the QED interactive text and possible extensions☆104Updated 6 months ago
- Kattis problem package format specification☆12Updated 3 weeks ago
- Some Lean tutorials☆184Updated last year
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- A LaTeX Typesetting Game☆256Updated 4 months ago
- Advent of Code 2019 - my answers☆16Updated 4 years ago
- Tree Proof Generator☆169Updated 5 months ago
- Advent of Code in Rust, ReScript, ReasonML, Go, TypeScript, and Python☆53Updated 7 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- Refined types for Typescript☆24Updated 7 years ago
- Render tikzcd diagrams with JSX.☆60Updated 5 years ago
- Counterexamples in Type Systems☆401Updated 2 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆119Updated 7 months ago
- A visual studio code extension to insert Unicode symbols given LaTeX symbol names☆30Updated 2 years ago
- Project Euler solutions in Haskell.☆17Updated 5 years ago
- Visual Studio Code extension for Coq☆399Updated last week
- ☆85Updated 3 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 4 years ago
- Challenges from Category Theory for Programmers☆125Updated 9 months ago
- Printable (A4) overview of tactics in Lean 4 for beginners☆29Updated 10 months ago
- A wiki for collaborative work on totally legitimate "category theory"☆118Updated last year
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆161Updated last year
- My solutions for Advent of Code (all years!)☆48Updated 2 years ago