Advent of Code 2021, but I can only use TypeScript's type system to solve the puzzles
☆12Dec 7, 2021Updated 4 years ago
Alternatives and similar repositories for cursed-aoc
Users that are interested in cursed-aoc are comparing it to the libraries listed below
Sorting:
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- Soluções dos problems do adventofcode.com☆13Jan 8, 2021Updated 5 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated 5 months ago
- Minimal type inference Algorithm W and Algorithm M in F#☆35Oct 23, 2023Updated 2 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A neovim plugin to add notes or comments to any buffer☆13Sep 10, 2023Updated 2 years ago
- Experimental Nix implementation of Android `soong` modules☆10Oct 11, 2023Updated 2 years ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Feb 22, 2026Updated 2 weeks ago
- [Experiment] A lock-free, wait-free, block-free logger for the ARM Cortex-M architecture☆10Feb 18, 2020Updated 6 years ago
- A Verilog Filelist parser in Rust☆11Mar 25, 2022Updated 3 years ago
- Azure Functions adapter for Probot tools☆15Jun 2, 2022Updated 3 years ago
- ⚪️ `wasm-pack build` executed in remote deployment☆14Jan 3, 2022Updated 4 years ago
- Detect required version bump based on conventional commit messages☆12Mar 4, 2024Updated 2 years ago
- a haskell template for advent of code☆10Dec 1, 2023Updated 2 years ago
- my nix-darwin config☆13Feb 24, 2026Updated last week
- create informational boxes in the terminal☆14Nov 16, 2022Updated 3 years ago
- Personal cheat sheet (moved off betaveros.github.io)☆11Jan 5, 2025Updated last year
- Asynchronous C++ interoperability for Rust☆10Sep 21, 2021Updated 4 years ago
- A cross-platform text only clipboard facade for terminal applications written in Rust☆11Oct 31, 2023Updated 2 years ago
- PostCSS plugin to create a TypeScript file by each CSS file☆11Feb 16, 2021Updated 5 years ago
- A nix filter with straight-forward include semantic☆12Aug 31, 2023Updated 2 years ago
- Scripts for undervolting 6+th gen Intel i* CPUs and their internal GPU.☆10Feb 19, 2018Updated 8 years ago
- RxJS-toolbox - set of custom operators and handy factory functions for RxJS☆11Feb 14, 2024Updated 2 years ago
- Implementation of the UsbBus trait of usb-device, which simulates a Bus as a USBIP Server. Useful for developing UsbClass traits and simu…☆18Nov 15, 2023Updated 2 years ago
- An demonic library to write PE binaries☆11Feb 12, 2024Updated 2 years ago
- Sources for Elm Repl in browser☆10Dec 6, 2022Updated 3 years ago
- Reduced Embeddable More Or Less Tcl☆11Feb 6, 2025Updated last year
- My personal NixOS configs☆13Feb 26, 2026Updated last week
- Emotion 10 + Parcel + TS☆11Feb 23, 2019Updated 7 years ago
- Shows only the first page of rustc output☆11May 21, 2025Updated 9 months ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- ☆44Dec 25, 2021Updated 4 years ago
- Lightweight path selector for searching Rust code☆16May 22, 2023Updated 2 years ago
- Sorbet extension for Zed☆13Jun 6, 2025Updated 9 months ago
- A migraine tracker, built with Mavo. Work in progress, come back later.☆10Jul 29, 2021Updated 4 years ago
- Discover Unity Elements - your periodic table of essential tips and resources for Unity game developers. From coding fundamentals to adva…☆11Oct 18, 2024Updated last year
- A demo binary crate for the ESP32-S2 ULP RISCV chip that blinks a LED via a "mini"-GPIO HAL and communicates with the main processor.☆12Jan 19, 2022Updated 4 years ago
- A template of a native Janet module written in Rust☆15Jan 22, 2025Updated last year