Alternatives and similar repositories for school_notes

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

• spito / testing
  Small framework for unit testing C programs written in C.
  ☆14Updated 4 years ago
• teaching-lab / stack-cs-activities
  A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk …
  ☆25Updated last year
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆300Updated last month
• holubond / szmgr
  ☆28Updated 2 months ago
• janchaloupka / web-scraper-nabidek-pronajmu
  Nástroj pro hlídání nových nabídek nemovitostí na populárních realitních serverech. Nabídky jsou vypisovány do Discord roomky.
  ☆73Updated 3 weeks ago
• Sheinxy / Advent2022
  Advent Of Code 2022
  ☆26Updated 2 years ago
• teaching-lab / reflective-diary
  Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)
  ☆26Updated last year
• Treeniks / isabelle-lsp.nvim
  ☆14Updated 10 months ago
• martineausimon / nvim-lilypond-suite
  Neovim plugin for writing LilyPond scores, with asynchronous make, midi/mp3 player, fast syntax highlighting, "hyphenation" function, and…
  ☆179Updated last month
• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated 3 weeks ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆17Updated 5 months ago
• samcoy3 / advent-of-code-template
  A Haskell project template for Advent of Code solutions.
  ☆33Updated last year
• hroncok / fit-thesis-tips
  Opinionated tips for writing and typesetting a diploma thesis on FIT ČVUT (Czech)
  ☆98Updated 5 years ago
• luc-tielen / telescope_hoogle
  Hoogle search integration for Telescope
  ☆51Updated last year
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆392Updated last week
• jinh0 / cloudberry.fyi
  The all-in-one course catalog for McGill University
  ☆16Updated 11 months ago
• kumalg / testownik-electron
  Testownik app made with electron.js and vue.js
  ☆61Updated last year
• agda / cornelis
  agda-mode for neovim
  ☆164Updated last month
• petrroll / mff-stuff
  #SharingIsCaring #CaringIsSharing
  ☆86Updated 7 months ago
• KeitaNakamura / tex-conceal.vim
  ☆128Updated 3 years ago
• jez / vim-better-sml
  Enjoy writing SML within Vim
  ☆108Updated 11 months ago
• mrcjkb / haskell-tools.nvim
  🦥 Supercharge your Haskell experience in neovim!
  ☆551Updated this week
• entertrained / entertrained-issues
  ☆26Updated 11 months ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆40Updated 10 months ago
• ChrisPenner / void-space
  Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
  ☆142Updated 5 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆255Updated 5 months ago
• antoninkriz / CTU-TimeTableGenerator-new
  Generates the best possible time table for a user
  ☆13Updated 2 years ago
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆40Updated last year
• FI-PV247 / materials
  Study materials for PV247 course
  ☆12Updated 2 years ago