Alternatives and similar repositories for hashcode-template

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

• Code-at-LTH / code-at-lth.github.io
  The official website of Code@LTH
  ☆17Updated last month
• 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
• exoji2e / notebook
  ☆18Updated last year
• probcomp / ADEV.jl
  Experimental port of ADEV to Julia
  ☆11Updated 2 years ago
• thorehusfeldt / algdes-labs
  Programming exercises for algorithm design
  ☆47Updated 2 years ago
• JuliaSymbolics / Metatheory.jl
  Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…
  ☆393Updated last month
• AdarshKumar712 / FluxGAN
  Collection of GAN models with Flux
  ☆23Updated 2 years ago
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆477Updated this week
• stevengj / subsuper-proposal
  Draft proposal for additional sub/superscript characters in Unicode
  ☆229Updated 5 years ago
• JuliaCommunity / JuliaStudentClubs
  All the info you need to create and run a Julia Student Club.
  ☆10Updated 5 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆62Updated this week
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆47Updated 4 years ago
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆227Updated last week
• LRudL / evalugator
  (Model-written) LLM evals library
  ☆18Updated last year
• AlgebraicJulia / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆690Updated last week
• ellieyhcheng / dice-vs-code
  Dice Language Support for VS Code
  ☆10Updated 5 years ago
• vEnhance / otis-web
  OTIS course management system
  ☆44Updated 2 weeks ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆72Updated 2 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆377Updated 3 months ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆466Updated this week
• JuliaReinforcementLearning / OpenSpiel.jl
  A Julia wrapper for the OpenSpiel project
  ☆12Updated last year
• gaurav-arya / StochasticAD.jl
  Research package for automatic differentiation of programs containing discrete randomness.
  ☆217Updated 10 months ago
• thofma / Hecke.jl
  Computational algebraic number theory
  ☆287Updated last week
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆330Updated last year
• GeomScale / gsoc24
  GeomScale in Google Summer of Code 2024
  ☆12Updated 2 years ago
• Dsantra92 / Julia-on-Colab
  Notebook for running Julia on Google Colab
  ☆166Updated 3 years ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆458Updated 7 months ago
• JLTastet / LorentzVectors.jl
  ☆10Updated 2 years ago
• JuliaReach / LazySets.jl
  Scalable symbolic-numeric set computations in Julia
  ☆254Updated this week
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆467Updated 5 months ago