exoji2e / hashcode-template

Related projects: ⓘ

• Code-at-LTH / code-at-lth.github.io
  The official website of Code@LTH
  ☆17Updated last week
• exoji2e / notebook
  ☆15Updated 9 months ago
• Dsek-LTH / Website
  This is the (soon) official website of the computer science guilds webbpage, commit to make a difference!
  ☆12Updated 7 years ago
• alwayswimmin / cs_guide
  Collection of Useful CS Algorithms
  ☆87Updated 7 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆42Updated 2 years ago
• JuliaCommunity / JuliaStudentClubs
  All the info you need to create and run a Julia Student Club.
  ☆10Updated 3 years ago
• AdarshKumar712 / FluxGAN
  Collection of GAN models with Flux
  ☆22Updated last year
• chezbgone / dotfiles
  ☆8Updated last month
• thorehusfeldt / algdes-labs
  Programming exercises for algorithm design
  ☆45Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆180Updated last week
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆228Updated last year
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆93Updated 9 months ago
• dryairship / sport-programmer
  ☆9Updated 3 years ago
• Dsantra92 / Julia-on-Colab
  Notebook for running Julia on Google Colab
  ☆162Updated 2 years ago
• chrisvwx / LLLplus.jl
  Lattice reduction and other lattice tools in Julia
  ☆48Updated 3 weeks ago
• roed314 / seminars
  Listing of online math seminars
  ☆41Updated last week
• leanprover-community / format_lean
  A Lean file formatter
  ☆60Updated last year
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆78Updated last year
• edemaine / coauthor
  Coauthor supercollaboration/discussion forum
  ☆249Updated last month
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆191Updated last week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆73Updated 10 months ago
• mossr / Tetris.jl
  One-line Tetris in Julia
  ☆54Updated 11 months ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆81Updated last month
• pclubiitk / Campus-Discuss-Backend
  ☆5Updated 3 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆105Updated 7 months ago
• tkluck / GaloisFields.jl
  Finite fields for Julia
  ☆47Updated last year
• giordano / StarWarsArrays.jl
  Arrays indexed as the order of Star Wars movies
  ☆125Updated 7 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆170Updated 7 months ago
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆81Updated last year
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆61Updated 7 months ago