Alternatives and similar repositories for aoc-2022

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

• DrearyLisper / aoc-2021

  View on GitHub
  Solving Advent of Code 2021 in Haskell
  ☆16Apr 28, 2022Updated 3 years ago
• ccodel / verified-encodings

  View on GitHub
  Verifying encodings into propositional logic in Lean
  ☆14Aug 14, 2023Updated 2 years ago
• 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
• ReDetection / bathroom-light

  View on GitHub
  Automatic light control in the bathroom
  ☆11Jan 31, 2018Updated 8 years ago
• DavisPL / PCCC

  View on GitHub
  Proof-carrying code completions in Dafny
  ☆11Apr 4, 2025Updated 10 months ago
• tzhang298 / UCLA-CS264A-Fall2020

  View on GitHub
  ☆14Jan 11, 2021Updated 5 years ago
• mirleft / ocaml-x509

  View on GitHub
  X509 (RFC5280) handling in OCaml
  ☆52Apr 15, 2025Updated 10 months ago
• einetuer / tutel

  View on GitHub
  a minimalistic todo app
  ☆10May 10, 2023Updated 2 years ago
• NJ-Murphy / Learning-Technical-Trading

  View on GitHub
  We use an adversarial expert based online learning algorithm to learn the optimal parameters required to maximise wealth trading zero-cos…
  ☆10Apr 8, 2020Updated 5 years ago
• kwonoj / swc-plugin-formatjs

  View on GitHub
  ☆10Sep 27, 2022Updated 3 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!
  ☆11Oct 3, 2020Updated 5 years ago
• abstract-machine-learning / saver

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

  View on GitHub
  A compiler for the Dana programming language
  ☆11Apr 25, 2021Updated 4 years ago
• defront / defront.ru

  View on GitHub
  Defront.ru
  ☆10Feb 26, 2022Updated 3 years ago
• ampproject / amp-react

  View on GitHub
  ☆17Dec 15, 2023Updated 2 years ago
• alterationx10 / branch

  View on GitHub
  A zero-dependency Scala framework
  ☆10Nov 4, 2025Updated 3 months ago
• melvic-ybanez / erena

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

  View on GitHub
  ☆11Sep 1, 2020Updated 5 years ago
• kayceesrk / cs3100_m25

  View on GitHub
  IITM Paradigms of Programming -- Monsoon 2025
  ☆18Nov 17, 2025Updated 3 months ago
• kng / geoscan-tools

  View on GitHub
  Process frames from satellite Geoscan-Edelveis
  ☆13Mar 1, 2024Updated last year
• 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
• fromgodd / yachiru

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

  View on GitHub
  playing with gpt4
  ☆14Mar 17, 2023Updated 2 years ago
• acorrenson / modulus

  View on GitHub
  A constraint solver built from scratch in OCaml
  ☆12Dec 10, 2021Updated 4 years ago
• ikr / normalize-for-search

  View on GitHub
  Un-accents and un-umlauts characters in a string. Also preliminary converts the string to lower case. We use it for autocomplete: both fo…
  ☆14Jan 17, 2019Updated 7 years ago
• kseo / poly

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

  View on GitHub
  ☆17Nov 23, 2021Updated 4 years ago
• Topener / awesome-adventofcode

  View on GitHub
  An Awesome List of AdventOfCode Participants
  ☆13Dec 14, 2022Updated 3 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
• leanprover-community / lean-web-editor

  View on GitHub
  Lean 3 web editor
  ☆13Oct 25, 2023Updated 2 years ago
• naveensundarg / prover

  View on GitHub
  ☆11Apr 14, 2023Updated 2 years ago
• classpert / bapl-class-language

  View on GitHub
  Code for the Selene language developed during Classpert's Building a Programming Language course
  ☆10Jan 21, 2024Updated 2 years ago
• skrylnikov / reatom-solid

  View on GitHub
  Solid bindings package for Reatom store
  ☆14Oct 20, 2023Updated 2 years ago
• philmayes / hypercube-viewer

  View on GitHub
  Hypercube Viewer is a program that draws a hypercube of 3 to 10 dimensions.
  ☆13Mar 30, 2025Updated 10 months ago
• sma / lox

  View on GitHub
  A dart implementation of Bob Nystrom's Lox language
  ☆12Oct 10, 2024Updated last year
• mg-ruby / qboard

  View on GitHub
  Example of usage rom-rb and dry-rb with Rails
  ☆15Mar 24, 2018Updated 7 years ago
• DDiekmann / Applied-Verification-Lab-Neural-Networks

  View on GitHub
  Some tutorials for different approaches to verify neural networks.
  ☆12Sep 23, 2022Updated 3 years ago
• Fer14 / raice

  View on GitHub
  Car racing RL agents in actual F1 tracks
  ☆17Oct 22, 2024Updated last year