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
  ☆30Updated 3 months ago
• mbovel / presentation-template
  ☆10Updated last year
• j-mie6 / parsley
  A fast and modern parser combinator library for Scala
  ☆197Updated 3 weeks ago
• christopher-besch / manim_web_presenter
  Present professional mathematical animations conveniently on the web.
  ☆10Updated 3 years ago
• prepas-mp2i / prepas-mp2i.fr
  Présentation des classes préparatoires MP2I et MPI
  ☆47Updated last week
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆521Updated last year
• LSIR / AICC-I
  CS-101 Advanced information, computation, communication I
  ☆46Updated 3 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆255Updated 5 months ago
• LauzHack / LauzHack.github.io
  Website for LauzHack, EPFL's largest hackathon.
  ☆10Updated 2 weeks ago
• drgrice1 / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆27Updated 7 months ago
• charlielidbury / ochre
  A systems theorem prover
  ☆11Updated last year
• remimorvan / knowledge-clustering
  Clustering notions for the knowledge LaTeX package
  ☆17Updated 3 months ago
• enjeck / num2math
  Complicated math expression generator
  ☆103Updated last year
• digitalservicebund / steuerlotse
  This is the code repository of the Steuerlotse by DigitalService.
  ☆20Updated last month
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆384Updated 2 months ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆268Updated 4 years ago
• rakoczy / null
  Null repo - kind of placeholder
  ☆12Updated 7 years ago
• YandexClassifieds / alien-memory
  A Scala library for type-safe direct memory access via Foreign Functions & Memory API
  ☆21Updated last month
• typelevel / cats-parse
  A parsing library for the cats ecosystem
  ☆243Updated last week
• bdmendes / smockito
  Tiny Scala facade for Mockito.
  ☆26Updated last week
• llm4s / llm4s
  Agentic and LLM Programming in Scala
  ☆125Updated this week
• wo / tpg
  Tree Proof Generator
  ☆170Updated 6 months ago
• dominique-unruh / scala-isabelle
  A Scala library for controlling/interacting with Isabelle
  ☆40Updated 2 months ago
• scalacenter / GoogleSummerOfCode
  Ideas list for GSoC 2025 mentored by Scala Center
  ☆68Updated last week
• sbt / setup-sbt
  setup-sbt installs the official sbt runner
  ☆32Updated last week
• apimorphism / telegramium
  Telegramium or F[ Tg ] - pure functional Telegram Bot API implementation for Scala.
  ☆86Updated last week
• typelevel / sbt-typelevel
  Let sbt work for you.
  ☆178Updated last week
• scalacenter / scala-advent-of-code
  Scala Center's solution of Advent of Code
  ☆63Updated 5 months ago
• tarao / lambda-scala3
  Type-level lambda calculus in Scala 3
  ☆13Updated 2 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆60Updated 6 months ago