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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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 6 months ago
- Minimal type inference Algorithm W and Algorithm M in F#☆35Oct 23, 2023Updated 2 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆12Mar 19, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- This is a personal project which purpose is to learn computer architecture by implementing the Hack Computer.☆12Aug 30, 2021Updated 4 years ago
- My NixOS configuration☆12Updated this week
- A template of a native Janet module written in Rust☆15Jan 22, 2025Updated last year
- Inspr is an agnostic application mesh for simpler, faster, and securer development of distributed applications (dApps).☆46Mar 7, 2022Updated 4 years ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆21Feb 22, 2026Updated last month
- A programming language based on bindings.☆12Jul 6, 2025Updated 9 months ago
- Headers for "eXtreme Go Horse" projects☆44Jun 12, 2018Updated 7 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- A simple js_of_ocaml workflow with Reason and esy☆16Dec 11, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆33Mar 7, 2023Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- ☆44Dec 25, 2021Updated 4 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 example to show JS users can use Rescript based library without using ReScript☆15Feb 10, 2021Updated 5 years ago
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated last year
- ⚪️ `wasm-pack build` executed in remote deployment☆14Jan 3, 2022Updated 4 years ago
- ☆15Aug 13, 2021Updated 4 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Documentation of the OCaml implementation☆54Mar 21, 2023Updated 3 years ago
- ☆13Sep 2, 2024Updated last year
- ☆14Jul 25, 2021Updated 4 years ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Jul 11, 2019Updated 6 years ago
- A node.js api designed to wrap up the best code beautifiers out there. Easy to install, maintain and to use.☆13Oct 28, 2019Updated 6 years ago
- A Haskell implementation of the Formality language☆18Mar 9, 2020Updated 6 years ago
- Port of Visual Studio Code theme Horizon to Emacs.☆22Jul 20, 2020Updated 5 years ago
- PostCSS plugin to create a TypeScript file by each CSS file☆11Feb 16, 2021Updated 5 years ago
- Haskell bindings to binaryen.☆14Apr 27, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A neovim plugin to add notes or comments to any buffer☆13Sep 10, 2023Updated 2 years ago
- ☆14Sep 10, 2023Updated 2 years ago
- An Erlang-specific fork of A Logical Clock for Static and Dynamic Systems☆23Aug 18, 2020Updated 5 years ago
- ☆13Jul 16, 2021Updated 4 years ago
- Sorbet extension for Zed☆14Jun 6, 2025Updated 10 months ago
- Opinionated build tool for TypeScript libraries. Bundler-free, powered by tsc.☆60Apr 9, 2026Updated last week
- a haskell template for advent of code☆10Dec 1, 2023Updated 2 years ago