Alternatives and similar repositories for LauzHack.github.io

Users that are interested in LauzHack.github.io are comparing it to the libraries listed below

• louismerlin / repfl
  Find a free room @ EPFL
  ☆30Updated 8 months ago
• H3LP3RS / HELP
  An android application that notifies and guides qualified users to provide medical assistance in the area.
  ☆10Updated 3 years ago
• OlivierBlanvillain / regsafe
  ☆22Updated 3 years ago
• epfl-lara / welder
  Interactive Theorem Proving based on Inox
  ☆10Updated 6 years ago
• sbt / setup-sbt
  setup-sbt installs the official sbt runner
  ☆32Updated last week
• scala / scala3-staging.g8
  ☆10Updated last week
• rescala-lang / REScala
  REScala - distributed and reactive programming embedded in OO and FP programs.
  ☆96Updated 7 months ago
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆29Updated this week
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆50Updated 4 years ago
• pme123 / camundala
  (Replaced) Doing Camunda with Scala.
  ☆13Updated 8 months ago
• scalacenter / tasty-mima
  TASTy Migration Manager
  ☆12Updated 3 months ago
• KuceraMartin / tyqu
  Type-safe Queries
  ☆54Updated 2 years ago
• scalacenter / tasty-query
  ☆56Updated 2 weeks ago
• Kordyjan / pytanie
  Quick and easy library for working with GraphQL queries.
  ☆21Updated last year
• felher / s3te
  A scala 3 tree explorer for the reflect module
  ☆53Updated last year
• coursier / cache-action
  GitHub action to save / restore the coursier cache of your build
  ☆64Updated 2 weeks ago
• scala / improvement-proposals
  Scala Improvement Proposals
  ☆58Updated 2 weeks ago
• xebia-functional / Unwrapped
  Unwrapped is an effects library for Scala 3 that introduces structured concurrency and an abilities system to describe pure functions and…
  ☆38Updated 2 years ago
• lampepfl / monadic-reflection
  ☆108Updated 2 years ago
• MaximeKjaer / tf-dotty
  Shape-safe TensorFlow in Dotty
  ☆47Updated 3 years ago
• lampepfl / xml-interpolator
  XML String Interpolator for Dotty
  ☆34Updated last year
• lampepfl / bench
  benchmark compilation of Dotty
  ☆17Updated 2 years ago
• ckipp01 / mill-ci-release
  A Mill plugin to help making publishing to Sonatype from GitHub Actions easier.
  ☆16Updated 9 months ago
• s0raLin / sinter
  A Cargo-like build tool for Scala projects
  ☆45Updated 2 weeks ago
• bishabosha / enhanced-string-interpolator
  An enhanced glob interpolator for Scala with format strings
  ☆14Updated last year
• tomtung / latex2unicode
  Convert LaTeX markup to Unicode (in Scala and Java)
  ☆42Updated 3 years ago
• VirtusLab / pretty-stacktraces
  ☆57Updated 3 years ago
• pauliamgiant / sounds-of-scala
  A sound library for scalaJs using Web Audio Api
  ☆13Updated 2 months ago
• cornerman / colibri
  A simple functional reactive library for ScalaJS
  ☆22Updated 2 months ago
• ComputeNode / cyfra
  Multi-platform GPGPU computations with Scala, seamlessly 🚀
  ☆147Updated last week