Solutions to the annual Advent calendar of programming puzzles
☆12Apr 13, 2026Updated 6 months ago
Alternatives and similar repositories for advent-of-code
Users that are interested in advent-of-code are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A framework to build solutions to the Advent of Code competition on. It includes some basic utilities, and a test suite to verify your so…☆12Nov 28, 2024Updated last year
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Dec 6, 2016Updated 9 years ago
- open source vscode coding assistant in Scala.js☆16Dec 13, 2025Updated 10 months ago
- ☆12Oct 26, 2026Updated last week
- This repository is for students to go through the Learning Journey for CHISEL and Funcitonal Programming with SCALA also perform tasks re…☆16Sep 7, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Pascal and C code from Samuel Kamin's "Programming Languages: an Interpreter-Based Approach"☆12Nov 22, 2018Updated 7 years ago
- Artemis: TypeScript-Powered Scripting Language☆13Oct 22, 2025Updated last year
- A vim-inspired text editor using ncurses and C++☆10Aug 24, 2018Updated 8 years ago
- A WIP recreation of the Sans boss fight from Undertale for the TI-84+CE.☆11Oct 21, 2026Updated last week
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆28Feb 16, 2022Updated 4 years ago
- Smem memory reporting tool for Python 3☆11Oct 11, 2026Updated 3 weeks ago
- Spawn thousands of sub-agents in parallel☆13Aug 10, 2026Updated 2 months ago
- a simple presentation tool☆15Jun 3, 2024Updated 2 years ago
- A simple Brainfuck JIT written as a learning exercise.☆16Aug 13, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆16Oct 16, 2023Updated 3 years ago
- Proofs and exercises from "Elements of Programming" by Stepanov (author of C++ STL) and McJones☆30Jul 29, 2017Updated 9 years ago
- The Princess Theorem Prover☆37Oct 25, 2026Updated last week
- ☆15Dec 15, 2024Updated last year
- Bunch of Random files including the HRM code☆12Oct 12, 2023Updated 3 years ago
- Mersenne Twister RNG for pure Lua 5.1☆15Apr 16, 2020Updated 6 years ago
- Simplified viml testing☆17Oct 29, 2023Updated 3 years ago
- A simple platformer game inspired by jump king☆17Oct 4, 2024Updated 2 years ago
- Book Quick Starter Kit - Write Your Own Book in Plain Text (with Markdown)☆19Jul 4, 2016Updated 10 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.
- Sandstorm grain with a tiny web interface to /bin/sh☆14Mar 26, 2014Updated 12 years ago
- Documenting HMRC design patterns☆30Jan 31, 2024Updated 2 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- SecureLink is a link shortener that gives you full control over your links. You can set a password, a read count limit and a one-time ope…☆15Mar 22, 2023Updated 3 years ago
- Three generic heap implementations in C☆12Jul 3, 2023Updated 3 years ago
- A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic☆44Jan 5, 2026Updated 9 months ago
- Shortest Racket Code Collection☆18Jun 18, 2017Updated 9 years ago
- A GUI Shell with many features for TI-84+CE.☆16Jan 11, 2025Updated last year
- Print-testing for nim.☆14Sep 30, 2021Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Converts a Charles Schwab transaction CSV file to a ready-to-import CSV file for Portfolio Performance.☆14Oct 30, 2025Updated last year
- This is an extension for the Roon music player that provides a web based remote.☆16Nov 4, 2022Updated 3 years ago
- ☆17Sep 24, 2026Updated last month
- Icahn Graduate School of Medicine: Systems Biology & Biotechnology Specialization☆12Jun 17, 2017Updated 9 years ago
- ☆13May 15, 2026Updated 5 months ago
- A Duck Hunt clone for the TI-84 Plus CE☆12Dec 18, 2024Updated last year
- An unnecessarily tiny and minimal implementation of GPT-2 in NumPy.☆11Feb 12, 2023Updated 3 years ago