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
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 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☆20Feb 22, 2026Updated last month
- A programming language based on bindings.☆12Jul 6, 2025Updated 8 months ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- Headers for "eXtreme Go Horse" projects☆44Jun 12, 2018Updated 7 years ago
- 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 with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A neovim plugin to add notes or comments to any buffer☆14Sep 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 9 months ago
- Opinionated build tool for TypeScript libraries. Bundler-free, powered by tsc.☆58Updated this week
- a haskell template for advent of code☆10Dec 1, 2023Updated 2 years ago