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:
- 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 last year
- Minimal type inference Algorithm W and Algorithm M in F#☆35Oct 23, 2023Updated 3 years ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 6 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆12Mar 19, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A programming language based on bindings.☆12Jul 6, 2025Updated last year
- This is a personal project which purpose is to learn computer architecture by implementing the Hack Computer.☆12Aug 30, 2021Updated 5 years ago
- My NixOS configuration☆12Updated this week
- algebraic typechecking and elaboration of type systems☆13Jan 25, 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
- DSOLVE☆10Apr 11, 2014Updated 12 years ago
- The Haskell implementation of the Milho programming language.☆29Jul 17, 2023Updated 3 years ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 5 years ago
- Headers for "eXtreme Go Horse" projects☆44Jun 12, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A template of a native Janet module written in Rust☆15Jan 22, 2025Updated last year
- ☆33Mar 7, 2023Updated 3 years ago
- Chip 8 emulator written in Rust 🕹️☆11Feb 6, 2024Updated 2 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆14Dec 4, 2024Updated last year
- A node.js api designed to wrap up the best code beautifiers out there. Easy to install, maintain and to use.☆13Oct 28, 2019Updated 7 years ago
- ☆13Sep 2, 2024Updated 2 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 9 months ago
- ☆44Dec 25, 2021Updated 4 years ago
- Haskell bindings to Chez Scheme☆11Sep 4, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 3 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 7 years ago
- Typed pure FP where data is syntax sugar for functions☆11Nov 6, 2025Updated 11 months ago
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated last year
- An example to show JS users can use Rescript based library without using ReScript☆15Feb 10, 2021Updated 5 years ago
- Documentation of the OCaml implementation☆54Mar 21, 2023Updated 3 years ago
- ☆12Mar 2, 2026Updated 7 months ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 8 years ago
- ☆14Jul 25, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A C-like scripting language that compiles to valid PICO-8 Lua code.☆12Dec 2, 2019Updated 6 years ago
- OpenCore EFI for Dell Latitude 3410 with 10th generation Intel processor☆11Jul 22, 2024Updated 2 years ago
- A Vim plug-in that helps you publish hyperlinked, syntax highlighted source code☆14Aug 19, 2013Updated 13 years ago
- Overview of PureScript libraries/tools for Cardano☆11Jul 25, 2024Updated 2 years ago
- A Haskell implementation of the Formality language☆19Mar 9, 2020Updated 6 years ago
- A simple demonstration of the Agda Reflection API☆12Apr 3, 2012Updated 14 years ago
- A simple js_of_ocaml workflow with Reason and esy☆16Dec 11, 2022Updated 3 years ago