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
• lunduniversity / schoolprog
  Programming exercises for primary and secondary education, in Swedish.
  ☆15Updated 3 years ago
• exoji2e / notebook
  ☆18Updated last year
• vEnhance / otis-web
  OTIS course management system
  ☆45Updated this week
• frodakcin / orz-bot
  orz
  ☆15Updated 3 years ago
• lukakalinovcic / geodeb
  Debug and visualize computational geometry problems
  ☆117Updated 3 years ago
• fishy15 / competitive_programming
  competitive programming folder
  ☆31Updated last week
• alwayswimmin / cs_guide
  Collection of Useful CS Algorithms
  ☆112Updated 8 years ago
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆49Updated last month
• AI-at-MIT / Workshops
  AI@MIT Workshops (Updated for Fall 2021)
  ☆47Updated 4 years ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆312Updated 3 weeks ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆47Updated 3 years ago
• dolphingarlic / CompetitiveProgramming
  A collection of my solutions to various informatics olympiad problems
  ☆51Updated 2 years ago
• dasarpmar / lowerbounds-survey
  A survey of known lower bounds in arithmetic circuits.
  ☆33Updated 3 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated 2 years ago
• 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
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆38Updated 2 months ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆272Updated last year
• ifsmirnov / jngen
  Library for generating tests for olympiad problems
  ☆270Updated 3 years ago
• Kattis / problemtools
  Tools to manage problem packages using the Kattis problem package format.
  ☆123Updated 2 weeks ago
• LuchoBazz / quicktest
  Quick Test CLI: A Cross-Platform for Automated Testing in Competitive Programming
  ☆21Updated 3 weeks ago
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆215Updated last week
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated 2 years ago
• lucidBrot / algolab-tutorial
  How to use boost, CGAL, and ideas for solving the Algolab lecture exercises
  ☆19Updated last year
• Ninjaclasher / Competitive-Programming
  Competitive Programming Solutions
  ☆10Updated 4 years ago
• ecnerwala / icpc-book
  Book Code for ICPC; Unmaintained, see https://github.com/kth-competitive-programming/kactl/ or https://github.com/ecnerwala/cp-book
  ☆236Updated 2 years ago
• edemaine / coauthor
  Coauthor supercollaboration/discussion forum
  ☆266Updated 2 months ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆303Updated last year
• openai / lean-gym
  ☆195Updated 2 years ago
• leanprover / elan
  The Lean version manager
  ☆456Updated 2 months ago