Alternatives and similar repositories for shs-notifier:

Users that are interested in shs-notifier are comparing it to the libraries listed below

• louismerlin / repfl
  Find a free room @ EPFL
  ☆29Updated 4 years ago
• sweng-epfl / public
  Software Engineering course materials from EPFL
  ☆101Updated 7 months ago
• LSIR / AICC-I
  CS-101 Advanced information, computation, communication I
  ☆47Updated 3 years ago
• JoachimFavre / UniversityNotes
  Typed notes I took during university lectures, containing computer science, maths and physics classes from EPFL. Some of them are in Fren…
  ☆73Updated 2 weeks ago
• mbovel / presentation-template
  ☆10Updated 9 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆245Updated 2 months ago
• famoser / Mensa
  eth & uzh mensas in zurich
  ☆29Updated last month
• Arakniode / almighty-handbook-of-sleep-deprived-student
  ☆16Updated 5 years ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆74Updated last year
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆375Updated this week
• epfl-lara / lisa
  Proof assistant based on first-order logic and set theory
  ☆36Updated 5 months ago
• TUM-Dev / Campus-Android
  Development of the TUM Campus App for Android devices - for and from students at Technical University of Munich.
  ☆208Updated last year
• j-mie6 / parsley
  A fast and modern parser combinator library for Scala
  ☆193Updated this week
• abertschi / postcard_creator_wrapper
  A python wrapper around the Rest API of the Swiss Postcard creator
  ☆52Updated last year
• wo / tpg
  Tree Proof Generator
  ☆164Updated last month
• tech4germany / bam-inclusify
  INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.
  ☆12Updated 2 years ago
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆10Updated 3 months ago
• leonwind / tumemes
  Your source for the most excellent memes.
  ☆11Updated 4 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated last year
• lean-ja / lean99
  These are Lean translations of Ninety-Nine Haskell Problems (WIP)
  ☆16Updated last month
• Code-at-LTH / code-at-lth.github.io
  The official website of Code@LTH
  ☆17Updated 3 weeks ago
• blegat / mathraining
  Site interactif avec théorie, exercices et problèmes
  ☆62Updated this week
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆370Updated 2 weeks ago
• learnlatex / learnlatex.github.io
  Learn LaTeX online
  ☆158Updated this week
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆87Updated 3 weeks ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆189Updated last year
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆173Updated this week
• FachschaftMathPhysInfo / Ersti-Info
  Ersti-Info-Broschüre der Fachschaften Informatik, Mathematik und Physik
  ☆16Updated 6 months ago
• sebinside / WissenschaftlichesSchreiben-Schnelleinstieg
  Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …
  ☆138Updated last year
• leanprover-community / NNG4
  Natural Number Game
  ☆154Updated 2 weeks ago