ostwilkens / aoc2022View external linksLinks
Advent of Code 2022 solved using GPT
☆33Dec 3, 2022Updated 3 years ago
Alternatives and similar repositories for aoc2022
Users that are interested in aoc2022 are comparing it to the libraries listed below
Sorting:
- ☆11Feb 18, 2024Updated last year
- Lightweight package for airport data and convenience tools to do common airport-data related tasks☆11Nov 11, 2025Updated 3 months ago
- ☆11Oct 31, 2021Updated 4 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆13Jul 8, 2024Updated last year
- ☆17Dec 4, 2025Updated 2 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆11Sep 15, 2025Updated 4 months ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Partition matrix into single-valued rectangular areas☆11Oct 21, 2023Updated 2 years ago
- Unofficial copy of GSview 5.0☆11Jun 7, 2019Updated 6 years ago
- A string-based esoteric programming language.☆10Jul 28, 2021Updated 4 years ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated last year
- ☆10May 23, 2018Updated 7 years ago
- Fantom's Preview is a QoL mod for balatro allowing for a preview of score before submitting the hand.☆19Feb 2, 2026Updated last week
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- The TeX for Adams' blue book, by the group TeXromancers☆13Sep 15, 2025Updated 4 months ago
- Adding conjecturing to Sage☆14Mar 17, 2023Updated 2 years ago
- Compute and manipulate Hodge diamonds for many classes of smooth projective varieties☆11Jan 22, 2026Updated 3 weeks ago
- ☆10Aug 26, 2016Updated 9 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- ☆14Oct 16, 2025Updated 3 months ago
- DREN Tensorflow rotate mnist☆11Mar 24, 2019Updated 6 years ago
- The Ash golfing language☆10Apr 1, 2021Updated 4 years ago
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 2 years ago
- A reference card for GNU APL☆11Feb 19, 2025Updated 11 months ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Jan 17, 2026Updated 3 weeks ago
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated 7 months ago
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Nov 11, 2022Updated 3 years ago
- All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)☆11Mar 7, 2024Updated last year
- Tumor Phylogeny Reconstruction via Integrative use of Single Cell and Bulk Sequencing Data☆11Jul 13, 2020Updated 5 years ago
- Print barcodes in R☆10Oct 27, 2020Updated 5 years ago
- purple garden is a lean scripting language designed for performance, with aggressive optimisations, JIT compilation, fine-grained memory …☆34Updated this week
- Configure the symbols displayed for test outcomes☆12Apr 7, 2022Updated 3 years ago
- R package: wrapper for the C++ library `xylib`☆10Aug 27, 2024Updated last year