DrearyLisper/aoc-2022 external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

DrearyLisper/aoc-2022

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/DrearyLisper/aoc-2022)

Close

DrearyLisper / aoc-2022View on GitHubMore

• External links
• Readme badge

Solving Advent of Code 2022 in OCaml

☆21Nov 21, 2023Updated 2 years ago

Alternatives and similar repositories for aoc-2022

Users that are interested in aoc-2022 are comparing it to the libraries listed below

• bereal / AdventOfCode2020

  View on GitHub
  Solving Advent of Code 2020, each day in a different language
  ☆25Dec 9, 2023Updated 2 years ago
• electronstudio / jaylib-example-project

  View on GitHub
  ☆11Nov 22, 2024Updated last year
• shivamjain1 / Car-Racer-Vanilla-JS

  View on GitHub
  Car Racer Game in Vanilla JavaScript
  ☆14Mar 31, 2023Updated 2 years ago
• Shaddadi / veritex

  View on GitHub
  ☆12Jun 18, 2024Updated last year
• GrantBartlett / react-typescript-parcel-starter

  View on GitHub
  A very simple starter project for using React, TypeScript and Parcel.
  ☆11Mar 31, 2021Updated 4 years ago
• lunatikub / sugolver

  View on GitHub
  Sudoku solver in Golang
  ☆10Sep 6, 2020Updated 5 years ago
• ccodel / verified-encodings

  View on GitHub
  Verifying encodings into propositional logic in Lean
  ☆14Aug 14, 2023Updated 2 years ago
• immortal3 / KV-picoGPT

  View on GitHub
  An unnecessarily tiny and minimal implementation of GPT-2 in NumPy.
  ☆11Feb 12, 2023Updated 3 years ago
• acorrenson / modulus

  View on GitHub
  A constraint solver built from scratch in OCaml
  ☆12Dec 10, 2021Updated 4 years ago
• KaryFramling / ciu

  View on GitHub
  R implementation of Contextual Importance and Utility for Explainable AI
  ☆10Nov 5, 2025Updated 4 months ago
• killy971 / project-euler-haskell

  View on GitHub
  My Haskell solutions to Project Euler problems
  ☆11May 24, 2017Updated 8 years ago
• casonadams / nvim-rust-ide

  View on GitHub
  My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!
  ☆12Oct 3, 2020Updated 5 years ago
• toolleeo / tmux-cheatsheet

  View on GitHub
  tmux cheatsheet in terminal friendly text format.
  ☆10Jan 7, 2022Updated 4 years ago
• tetherless-world / explanation-ontology

  View on GitHub
  Explanation Ontology Resource website
  ☆12Jun 8, 2024Updated last year
• einetuer / tutel

  View on GitHub
  a minimalistic todo app
  ☆10May 10, 2023Updated 2 years ago
• kseo / poly

  View on GitHub
  A simple ML dialect
  ☆11Jan 2, 2017Updated 9 years ago
• liarokapisv / danac

  View on GitHub
  A compiler for the Dana programming language
  ☆11Apr 25, 2021Updated 4 years ago
• abstract-machine-learning / saver

  View on GitHub
  SVM Abstrac Verifier tool
  ☆12Oct 13, 2022Updated 3 years ago
• dmtrKovalenko / trololors

  View on GitHub
  Not the fastest terminal colors library. Don't even ask about size.
  ☆16Oct 1, 2021Updated 4 years ago
• fromgodd / yachiru

  View on GitHub
  Just another static site generator -> あなたが恋しいです。
  ☆11Dec 5, 2023Updated 2 years ago
• janestreet / ppx_css

  View on GitHub
  A ppx that takes in css strings and produces a module for accessing the unique names defined within.
  ☆16Jan 15, 2026Updated last month
• melvic-ybanez / erena

  View on GitHub
  Ray Tracer written in Rust
  ☆13Nov 22, 2021Updated 4 years ago
• sisl / VerticalCAS

  View on GitHub
  ☆11Sep 1, 2020Updated 5 years ago
• defront / defront.ru

  View on GitHub
  Defront.ru
  ☆10Feb 26, 2022Updated 4 years ago
• anton-trunov / coq-lecture-notes

  View on GitHub
  Coq Lecture Notes (WIP)
  ☆56Oct 17, 2020Updated 5 years ago
• ufocoder / image-to-ascii-transformer

  View on GitHub
  Image to ASCII transformer
  ☆16Jun 3, 2024Updated last year
• jacek-kurlit / axe

  View on GitHub
  Argument execute is xargs alternative that supports arguments ordering
  ☆14Oct 5, 2024Updated last year
• b-carter / SufficientInputSubsets

  View on GitHub
  Code for Sufficient Input Subsets Paper
  ☆14Mar 8, 2019Updated 7 years ago
• shuishida / Multi-Armed-Bandit

  View on GitHub
  ☆13Nov 12, 2019Updated 6 years ago
• skrylnikov / reatom-solid

  View on GitHub
  Solid bindings package for Reatom store
  ☆14Oct 20, 2023Updated 2 years ago
• eduardoboucas / eleventy-blog-staticman

  View on GitHub
  A starter repository for a blog web site using the Eleventy static site generator and Staticman.
  ☆11Dec 23, 2020Updated 5 years ago
• intersystems / Samples-BI

  View on GitHub
  Provides sample data for use with InterSystems IRIS Business Intelligence, as well as fully developed sample BI models and dashboards.
  ☆13Dec 11, 2025Updated 2 months ago
• rescript-lang / std

  View on GitHub
  Light weight runtime for ReScript
  ☆15Jun 16, 2023Updated 2 years ago
• adrianmcli / js-state-encapsulation

  View on GitHub
  Examples of state encapsulation in Javascript
  ☆18Jan 13, 2019Updated 7 years ago
• nicolaprezza / CTLSAT

  View on GitHub
  CTL (Computation Tree Logic) SAT solver
  ☆15Feb 10, 2020Updated 6 years ago
• ucsd-cse131-f19 / ucsd-cse131-f19.github.io

  View on GitHub
  Course web site for CSE131 F19
  ☆11Dec 5, 2019Updated 6 years ago
• eth-sri / proof-sharing

  View on GitHub
  CAV'22 paper to speed up Neural Network Verification.
  ☆13Dec 19, 2022Updated 3 years ago
• witan-org / witan

  View on GitHub
  An ocaml implementation of conflict-driven reasoning
  ☆14Jul 13, 2018Updated 7 years ago
• girishsaraf / elastic_py

  View on GitHub
  PoC for setting up an ElasticSearch Cluster, to serve APIs built in Flask
  ☆11Apr 10, 2021Updated 4 years ago