Alternatives and similar repositories for hashcode-template

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

• thorehusfeldt / algdes-labs
  Programming exercises for algorithm design
  ☆46Updated 2 years ago
• exoji2e / notebook
  ☆16Updated 11 months ago
• probcomp / ADEV.jl
  Experimental port of ADEV to Julia
  ☆11Updated last year
• JuliaCommunity / JuliaStudentClubs
  All the info you need to create and run a Julia Student Club.
  ☆10Updated 4 years ago
• vEnhance / otis-web
  OTIS course management system
  ☆45Updated this week
• AlgebraicJulia / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆676Updated last week
• 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…
  ☆310Updated last year
• AnglyPascal / MO-Problem-Journal
  A journal of theorems, lemmas and problems for Mathematical Olympiads.
  ☆52Updated 4 years ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆419Updated 2 months ago
• alwayswimmin / cs_guide
  Collection of Useful CS Algorithms
  ☆107Updated 8 years ago
• AI-at-MIT / Workshops
  AI@MIT Workshops (Updated for Fall 2021)
  ☆47Updated 3 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆363Updated last week
• UAPSPC / Code-Archive
  ☆57Updated last year
• probcomp / GenParticleFilters.jl
  Building blocks for simple and advanced particle filtering in Gen.
  ☆26Updated last year
• avik-pal / Wandb.jl
  Unofficial Julia bindings for logging experiments to wandb.ai
  ☆86Updated last year
• GeomScale / gsoc24
  GeomScale in Google Summer of Code 2024
  ☆12Updated last year
• zscoder / CompetitiveProgramming
  Competitive Programming Stuff
  ☆21Updated 2 years ago
• trappmartin / AdvancedProbabilisticCircuits.jl
  Probabilistic Circuits in Julia
  ☆10Updated last year
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆270Updated 10 months ago
• mitmath / 18338
  ☆102Updated last week
• google-deepmind / formal-conjectures
  A collection of formalized statements of conjectures in Lean.
  ☆642Updated this week
• AdarshKumar712 / FluxGAN
  Collection of GAN models with Flux
  ☆22Updated 2 years ago
• cp-algorithms / cp-algorithms-aux
  Auxiliary stuff for article sources
  ☆81Updated last month
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated 2 years ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆429Updated 4 months ago
• stevengj / subsuper-proposal
  Draft proposal for additional sub/superscript characters in Unicode
  ☆228Updated 4 years ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆307Updated 10 months ago
• marsenis / grader
  An automated shell script that compiles and runs a program on a set of test cases provided by the user.
  ☆36Updated 5 years ago
• anjandn / manim_reveal
  Combines the manim library with reveal.js to create animated slides.
  ☆23Updated 5 years ago
• JuliaGenAI / Master-Deep-Generative-Models-in-Julia
  ☆12Updated last month