robotlolita / cursed-aocView external linksLinks
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 4 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
- Experimental Nix implementation of Android `soong` modules☆10Oct 11, 2023Updated 2 years ago
- A neovim plugin to add notes or comments to any buffer☆13Sep 10, 2023Updated 2 years ago
- a haskell template for advent of code☆10Dec 1, 2023Updated 2 years ago
- Track the origin of your json values for better error reporting!☆16Oct 10, 2020Updated 5 years ago
- A cross-platform text only clipboard facade for terminal applications written in Rust☆11Oct 31, 2023Updated 2 years ago
- 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
- Scripts for undervolting 6+th gen Intel i* CPUs and their internal GPU.☆10Feb 19, 2018Updated 7 years ago
- Azure Functions adapter for Probot tools☆15Jun 2, 2022Updated 3 years ago
- An demonic library to write PE binaries☆11Feb 12, 2024Updated 2 years ago
- A migraine tracker, built with Mavo. Work in progress, come back later.☆10Jul 29, 2021Updated 4 years ago
- Chain GitHub Pull Requests☆11Aug 18, 2020Updated 5 years ago
- Some quines in the Go programming language☆15Mar 8, 2023Updated 2 years ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- Detect required version bump based on conventional commit messages☆12Mar 4, 2024Updated last year
- Solitaire game written in Rust☆11Oct 14, 2020Updated 5 years ago
- Reduced Embeddable More Or Less Tcl☆11Feb 6, 2025Updated last year
- Inventory editor for Roguelands☆11Sep 5, 2017Updated 8 years ago
- A template of a native Janet module written in Rust☆15Jan 22, 2025Updated last year
- [Experiment] A lock-free, wait-free, block-free logger for the ARM Cortex-M architecture☆10Feb 18, 2020Updated 5 years ago
- PostCSS plugin to create a TypeScript file by each CSS file☆11Feb 16, 2021Updated 5 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 4 months ago
- Lightweight path selector for searching Rust code☆16May 22, 2023Updated 2 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Dec 15, 2025Updated 2 months ago
- ☆10Nov 25, 2021Updated 4 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
- Sorbet extension for Zed☆13Jun 6, 2025Updated 8 months ago
- my nix-darwin config☆13Feb 4, 2026Updated last week
- My personal NixOS configs☆13Updated this week
- Sources for Elm Repl in browser☆10Dec 6, 2022Updated 3 years ago
- RxJS-toolbox - set of custom operators and handy factory functions for RxJS☆11Feb 14, 2024Updated 2 years ago
- Personal cheat sheet (moved off betaveros.github.io)☆11Jan 5, 2025Updated last year
- create informational boxes in the terminal☆14Nov 16, 2022Updated 3 years ago
- channels.nix.gsc.io☆15May 24, 2023Updated 2 years ago