Alternatives and similar repositories for notesMaster1:

Users that are interested in notesMaster1 are comparing it to the libraries listed below

• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆11Updated last year
• StephaneBranly / ur-time-calendar
  📆 Load your schedule from the SME's email, see it with a nice interface and Keep It For You ! 🏫
  ☆12Updated last month
• ufal / npfl138
  Materials for Deep Learning – ÚFAL course NPFL138
  ☆31Updated this week
• MOCmaniac / LEPL1402
  Solution for the coding exercices
  ☆31Updated 2 years ago
• ErikThorsell / chalmersnotes
  Notes from the Computer Science program at Chalmers Uni. of Technology
  ☆14Updated 6 years ago
• matwerner / fgv-ed
  Material de apoio ao curso de Estrutura de Dados da EMAp-FGV
  ☆26Updated 3 weeks ago
• diku-its / e2024
  ☆11Updated 6 months ago
• exo7math / deepmath-exo7
  Deepmath : Mathématiques des réseaux de neurones
  ☆65Updated 9 months ago
• avborup / kitty
  Kitty is a CLI for interacting with Kattis that allows you to test and submit problems straight from your terminal.
  ☆26Updated 7 months ago
• Allauzen / llm-iasd-2024
  Course for MASH and IASD masters @ PSL
  ☆16Updated 4 months ago
• SciML / DifferentialEquations.jl
  Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary …
  ☆2,939Updated last month
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆326Updated 3 weeks ago
• polylux-typ / polylux
  A package for creating slides in Typst
  ☆1,312Updated last month
• MIMUW-Inf-2002 / JNP_testy
  Testy od zadań z JNP1 2022/2023
  ☆6Updated 2 years ago
• gkikola / sol-dummit-foote
  Selected Solutions to Dummit and Foote's Abstract Algebra Third Edition
  ☆36Updated 4 years ago
• freepiment / Piment-Css
  Piment is a css micro-framework made by Webmonster Community.
  ☆13Updated 2 years ago
• cpow / neovim-for-newbs
  a simple lua neovim configuration for newbs
  ☆629Updated last year
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆377Updated last week
• thofma / Hecke.jl
  Computational algebraic number theory
  ☆258Updated this week
• iiuni / poradnik
  poradnik studiowania
  ☆9Updated last year
• SeniorMars / dotfiles
  My Rice Setup
  ☆995Updated 2 months ago
• benlubas / molten-nvim
  A neovim plugin for interactively running code with the jupyter kernel. Fork of magma-nvim with improvements in image rendering, performa…
  ☆816Updated this week
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆390Updated 2 weeks ago
• JuliaManifolds / Manifolds.jl
  Manifolds.jl provides a library of manifolds aiming for an easy-to-use and fast implementation.
  ☆399Updated 2 weeks ago
• rocq-prover / rocq
  The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…
  ☆5,031Updated last week
• stevenaeola / progblack_2223
  ☆12Updated 2 years ago
• ocamllibs / clangml
  OCaml bindings for Clang
  ☆15Updated 7 months ago
• rbadrinath / FCP
  ☆9Updated 7 months ago
• LuxDL / Lux.jl
  Elegant and Performant Scientific Machine Learning in Julia
  ☆565Updated this week
• JuliaGraphs / Graphs.jl
  An optimized graphs package for the Julia programming language
  ☆482Updated 3 weeks ago