Alternatives and similar repositories for hashcode-template

Users that are interested in hashcode-template are comparing it to the libraries listed below

• Dsek-LTH / Website-prev
  This is the (soon) official website of the computer science guilds webbpage, commit to make a difference!
  ☆11Updated 8 years ago
• thorehusfeldt / algdes-labs
  Programming exercises for algorithm design
  ☆47Updated 2 years ago
• vEnhance / otis-web
  OTIS course management system
  ☆44Updated 2 weeks ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆278Updated last year
• AlgebraicJulia / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆692Updated this week
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆178Updated last week
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆18Updated last month
• redwoodresearch / mlab
  Machine Learning for Alignment Bootcamp
  ☆81Updated 3 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆47Updated 4 years ago
• superpermutators / superperm
  ☆126Updated 2 years ago
• walnutwaldo / Programming_Contests
  All of my stuff pertaining to programming contests and preparing for them
  ☆24Updated 3 years ago
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆102Updated 2 months ago
• google-deepmind / formal-conjectures
  A collection of formalized statements of conjectures in Lean.
  ☆812Updated this week
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆460Updated 7 months ago
• FakePsyho / cpcontests
  Library of my solutions for various programming contests
  ☆98Updated 6 months ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆95Updated 2 months ago
• frodakcin / orz-bot
  orz
  ☆15Updated 3 years ago
• callummcdougall / ARENA_2.0
  Resources for skilling up in AI alignment research engineering. Covers basics of deep learning, mechanistic interpretability, and RL.
  ☆238Updated 5 months ago
• fishy15 / competitive_programming
  competitive programming folder
  ☆31Updated 3 weeks ago
• ccanonne / probabilitydistributiontoolbox
  Folklore facts on probability distribution learning, testing, and whatever-ing
  ☆269Updated 5 months ago
• JuliaReinforcementLearning / ReinforcementLearning.jl
  A reinforcement learning package for Julia
  ☆649Updated 10 months ago
• GreeceInFigures / greeceinfigures-data
  Ανοιχτά δεδομένα από το http://greeceinfigures.com/
  ☆25Updated this week
• nameiwillforget / hegel-in-mathematics
  My exposition of the formalization of Hegel's theory in modal homotopy type theory
  ☆14Updated 2 years ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆395Updated last week
• AnglyPascal / MO-Problem-Journal
  A journal of theorems, lemmas and problems for Mathematical Olympiads.
  ☆55Updated 4 years ago
• AI-at-MIT / Reading-Groups
  MIT MIC Reading Groups
  ☆16Updated 4 years ago
• alignedai / HappyFaces
  The Happy Faces Benchmark
  ☆15Updated 2 years ago
• LRudL / evalugator
  (Model-written) LLM evals library
  ☆18Updated last year
• marsenis / grader
  An automated shell script that compiles and runs a program on a set of test cases provided by the user.
  ☆35Updated 5 years ago
• ImperialCollegeLondon / formalising-mathematics
  Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…
  ☆314Updated last year