Alternatives and similar repositories for shs-notifier:

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

• sweng-epfl / public
  Software Engineering course materials from EPFL
  ☆99Updated 4 months ago
• louismerlin / repfl
  Find a free room @ EPFL
  ☆29Updated 4 years ago
• JoachimFavre / UniversityNotes
  Typed notes I took during university lectures, containing computer science and physics classes from EPFL. Some of them are in French, but…
  ☆62Updated this week
• LSIR / AICC-I
  CS-101 Advanced information, computation, communication I
  ☆46Updated 3 years ago
• mbovel / presentation-template
  ☆9Updated 7 months ago
• Arakniode / almighty-handbook-of-sleep-deprived-student
  ☆16Updated 5 years ago
• blegat / mathraining
  Site interactif avec théorie, exercices et problèmes
  ☆56Updated this week
• antoninfaure / occupancy-epfl
  Backend of Occupancy FLEP, an interface of edu.epfl.ch useful for finding free rooms or schedule by studyplan, at EPFL.
  ☆13Updated 4 months ago
• Firmaprim / MTbot
  Code source du bot du Discord de Mathraining
  ☆13Updated last week
• j-mie6 / parsley
  A fast and modern parser combinator library for Scala
  ☆181Updated this week
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆57Updated last month
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆365Updated this week
• SimonHauguel / Paso
  Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system
  ☆29Updated 2 years ago
• zilch-lang / specification
  A complete specification on Zilch and N⋆
  ☆10Updated last year
• epfl-lara / lisa
  Proof assistant based on first-order logic and set theory
  ☆34Updated 3 months ago
• ArtichOwO / r86
  r86 is a 8086 real mode programming language which supports segmentation
  ☆16Updated 2 years ago
• LauzHack / LauzHack.github.io
  Website for LauzHack, EPFL's largest hackathon.
  ☆10Updated last month
• Tim-ats-d / Gascii
  A graphic and interactive table of printable ASCII characters.
  ☆9Updated 3 years ago
• j-mie6 / gigaparsec
  Refreshed parsec-style library for compatibility with Scala parsley
  ☆16Updated 3 weeks ago
• Mesabloo / nihil
  Nihil, a statically typed interpreted functional programming language
  ☆68Updated 3 years ago
• wyx0-xyz / flush
  Programming language written in Rust.
  ☆12Updated 2 years ago
• CodinGame / game-ultimate-tictactoe
  ☆9Updated 4 years ago
• TiarkRompf / minidot
  Dependent Object Types (DOT), bottom up
  ☆83Updated 3 years ago
• tournesol-app / tournesol
  Free and open source code of the https://tournesol.app platform. Meet the community on Discord https://discord.gg/WvcSG55Bf3
  ☆339Updated this week
• Guiraud / incluzor-e
  récriture inclusive des textes en ligne
  ☆15Updated 2 years ago
• gottfired / advent-of-code-2021-copilot-edition
  ☆20Updated 3 years ago
• lasercata / MP2I
  Some MP2I and MPI courses
  ☆15Updated last year
• Iltotore / iron
  Strong type constraints for Scala
  ☆477Updated last month