☆49Dec 29, 2022Updated 3 years ago
Alternatives and similar repositories for advent-of-code-2022
Users that are interested in advent-of-code-2022 are comparing it to the libraries listed below
Sorting:
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- Time management system for autodidacts.☆15Feb 4, 2023Updated 3 years ago
- ☆20Mar 25, 2021Updated 4 years ago
- Solving AoC-2022 in a new language everyday!☆24Dec 11, 2022Updated 3 years ago
- A library for reading, writing, and representing structures from binary storage☆19Aug 13, 2025Updated 6 months ago
- a better hash inverter for many people to use☆20Dec 3, 2019Updated 6 years ago
- A type theory with native support for Polynomial Functors.☆42Oct 8, 2023Updated 2 years ago
- Course on Metaprogramming☆76Feb 5, 2026Updated last month
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆36Oct 4, 2025Updated 5 months ago
- Parenscript Macros to aid generating react code☆26Dec 12, 2015Updated 10 years ago
- A *LISP emulator☆35Apr 1, 2020Updated 5 years ago
- ☆34Feb 28, 2026Updated last week
- ☆11Mar 8, 2022Updated 4 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Jul 3, 2020Updated 5 years ago
- projects using 3Blue1Brown's manim engine☆34Jun 12, 2020Updated 5 years ago
- Neural Network approaches for the Traveling Salesman Problem☆10Apr 20, 2021Updated 4 years ago
- ☆11Oct 25, 2024Updated last year
- Muestrario de estructuras de datos☆14Mar 12, 2020Updated 5 years ago
- /g/ programming language☆13Nov 9, 2011Updated 14 years ago
- LISP 1.5(-ish) implementation in WebAssembly☆49Apr 9, 2023Updated 2 years ago
- ICFP tutorial☆39Jul 31, 2021Updated 4 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Notes and samples for Python performance talk☆10Feb 17, 2022Updated 4 years ago
- audiofile.cc☆16Jun 27, 2011Updated 14 years ago
- OptiVerse is a comprehensive open-source Python library dedicated to exploring the vast universe of optimization techniques to solve real…☆12Feb 15, 2025Updated last year
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- GPU-accelerated first-order low-rank SDP solver☆13Mar 17, 2025Updated 11 months ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆10Dec 6, 2022Updated 3 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- ☆11Feb 26, 2026Updated last week
- ☆13Mar 17, 2021Updated 4 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- liblcm1602 for raspberry pi☆13Sep 25, 2014Updated 11 years ago
- A multitrack player that runs on Linux and outputs to class compliant devices.☆14Updated this week
- ☆45Jun 11, 2023Updated 2 years ago