Alternatives and similar repositories for advent-of-code

Users that are interested in advent-of-code are comparing it to the libraries listed below

• matklad / paxosnotes
  ☆23Updated 2 years ago
• libp2p / go-libp2p-routing
  [DEPRECATED] a collection of routing interfaces for go-libp2p; use https://github.com/libp2p/go-libp2p-core/ instead.
  ☆24Updated 6 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 7 years ago
• begriffs / wc
  Beating haskell with C
  ☆11Updated 5 years ago
• ChorusOne / dynalock
  A lease based distributed locking library
  ☆11Updated 7 years ago
• bsm / bps
  Pub/sub & message processing abstraction
  ☆11Updated 2 years ago
• trishume / ratewithscience
  Rate things on arbitrary scales using big data and science!
  ☆50Updated 5 years ago
• oxidecomputer / lethe
  A basic log-structured flash datastore
  ☆20Updated 2 years ago
• jarcane / MicroMini
  A simple 8-bit virtual stack machine
  ☆16Updated 10 years ago
• GabeVillalobos / rust_rb_tree
  A Red-Black tree implemented in rust....for science!
  ☆10Updated 4 years ago
• nikivazou / thesis
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆13Updated 8 years ago
• uchicago-cs / plrg
  PL Reading Group Website
  ☆14Updated 6 months ago
• iquiw / cabal-delete
  Command line tool to delete cabal library packages
  ☆24Updated 10 years ago
• dgryski / modelchecking
  model checking samples
  ☆17Updated 3 years ago
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆37Updated 9 months ago
• exercism / scheme
  Exercism exercises in Scheme.
  ☆36Updated 4 months ago
• jonhoo / cleaver
  Data-flow distribution analyzer
  ☆8Updated 6 years ago
• x13a / zig-argon2
  Argon2 key derivation function in zig.
  ☆15Updated 3 years ago
• Camilo-Mora / Bitcoin
  Code used for the yearly calculations of CO2e from Bitcoin mining
  ☆19Updated 6 years ago
• codahale / veil-go
  Stupid crypto tricks
  ☆18Updated 4 years ago
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆16Updated 3 years ago
• status-im / geth_exporter
  geth metrics exporter for Prometheus
  ☆13Updated 5 years ago
• libp2p / go-libp2p-xor
  Xor Trie implementation
  ☆9Updated 2 months ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆20Updated 5 years ago
• lesguillemets / sicp-haskell
  SICP in haskell, both exercises and sample codes.
  ☆11Updated 9 years ago
• pwaller / go2ll
  Extremely experimental toy go compiler
  ☆19Updated 4 years ago
• SkienaBook / Algorithm-Design-Manual-Programs-V2
  Programs for the second edition of the Algorithm Design Manual
  ☆19Updated 4 years ago
• richardanaya / pig
  A simple PostgreSQL data migration tool
  ☆19Updated 6 years ago
• libp2p / go-libp2p-host
  [DEPRECATED] The host interface for go-libp2p; use https://github.com/libp2p/go-libp2p-core/ instead.
  ☆19Updated 6 years ago
• aupiff / keccak
  Keccak hash functions
  ☆11Updated 5 years ago