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!
  ☆12Updated 7 years ago
• lunduniversity / schoolprog
  Programming exercises for primary and secondary education, in Swedish.
  ☆15Updated 2 years ago
• exoji2e / notebook
  ☆16Updated 6 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆120Updated last year
• augustepoiroux / LeanInteract
  LeanInteract: A Python Interface for Lean 4
  ☆21Updated this week
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• chezbgone / dotfiles
  ☆8Updated 5 months ago
• openai / lean-gym
  ☆184Updated 2 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆44Updated this week
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• walnutwaldo / Programming_Contests
  All of my stuff pertaining to programming contests and preparing for them
  ☆23Updated 2 years ago
• vEnhance / otis-web
  OTIS course management system
  ☆40Updated 3 weeks ago
• golopot / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆61Updated last year
• ellieyhcheng / dice-vs-code
  Dice Language Support for VS Code
  ☆10Updated 4 years ago
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆55Updated 2 weeks ago
• JuliaSymbolics / Metatheory.jl
  Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…
  ☆370Updated last week
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆36Updated 2 years ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated last month
• thofma / Hecke.jl
  Computational algebraic number theory
  ☆258Updated this week
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆25Updated last month
• srcreigh / aluffi
  Solutions to Paolo Aluffi's "Algebra: Chapter 0".
  ☆57Updated 7 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated 3 weeks ago
• Martomate / Hexacraft
  A game with hexagonal blocks on a cylindrical world inspired by Minecraft
  ☆12Updated last week
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆150Updated this week
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆81Updated 2 years ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆134Updated 2 weeks ago
• alwayswimmin / cs_guide
  Collection of Useful CS Algorithms
  ☆97Updated 8 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…
  ☆307Updated last year
• trishullab / PutnamBench
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆108Updated last week