Alternatives and similar repositories for notesMaster1

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

• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆460Updated last week
• Myriad-Dreamin / tinymist
  Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].
  ☆2,693Updated this week
• dtbinh / OpenCourse
  ☆178Updated 6 years ago
• jeertmans / manim-slides
  Tool for live presentations using manim
  ☆741Updated 2 weeks ago
• ufal / npfl138
  Materials for Deep Learning – ÚFAL course NPFL138
  ☆33Updated this week
• nehc0 / Linear-Algebra-Done-Right-4th-Solutions
  My solutions to "Linear Algebra Done Right" by Sheldon Axler, 4th Edition. ------ on update.
  ☆75Updated last year
• cs-ubbcluj-ro / FP-2021-2022
  Lecture and seminar work at FP.
  ☆24Updated 4 years ago
• emap-20242-ed / fad
  lean code
  ☆10Updated last year
• SeniorMars / dotfiles
  My Rice Setup
  ☆1,048Updated 6 months ago
• jubnoske08 / linear_algebra
  Solutions to Linear Algebra Done Right, by Sheldon Axler.
  ☆386Updated 7 months ago
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆15Updated last year
• touying-typ / touying
  Touying is a powerful package for creating presentation slides in Typst.
  ☆1,833Updated this week
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆452Updated 5 months ago
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆469Updated last week
• polylux-typ / polylux
  A package for creating slides in Typst
  ☆1,483Updated 2 months ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆454Updated 7 months ago
• qjcg / awesome-typst
  Awesome Typst Links
  ☆3,179Updated last month
• Jollywatt / typst-fletcher
  Typst package for drawing diagrams with arrows, built on top of CeTZ.
  ☆880Updated 3 weeks ago
• usamamuneeb / uic-beamer-template
  LaTeX Beamer template crafted for University of Illinois Chicago
  ☆10Updated last year
• cetz-package / cetz
  CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
  ☆1,564Updated last week
• kovzol / Java-Geometry-Expert
  Java Geometry Expert
  ☆46Updated 6 months ago
• sleepymalc / VSCode-LaTeX-Inkscape
  ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS
  ☆511Updated last year
• abid8042 / Probabilistic-Programming-and-Bayesian-Methods-for-Hackers-in-Julia
  Probabilistic Programming and Bayesian Methods for Hackers - Julia language
  ☆20Updated 4 years ago
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆2,742Updated this week
• prasanthrangan / hyprdots
  // Aesthetic, dynamic and minimal dots for Arch hyprland
  ☆8,566Updated 9 months ago
• kcajc / math-notes-template
  A LaTeX math notes template with pre-defined tcolorboxes for theorems
  ☆27Updated 9 months ago
• Streaming-Data-Analytics / Courseware
  The courseware of the course of Politecnico Di Milano offered by prof. Emanuele Della Valle together with Alessio Bernardo, Federico Gian…
  ☆34Updated last month
• Leedehai / typst-physics
  physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.
  ☆540Updated last week
• nvim-lua / kickstart.nvim
  A launch point for your personal nvim configuration
  ☆28,944Updated 7 months ago
• matwerner / fgv-ed
  Material de apoio ao curso de Estrutura de Dados da EMAp-FGV
  ☆29Updated 6 months ago