Alternatives and similar repositories for SDP_2022-Vibester:

Users that are interested in SDP_2022-Vibester are comparing it to the libraries listed below

• H3LP3RS / HELP
  An android application that notifies and guides qualified users to provide medical assistance in the area.
  ☆10Updated 2 years ago
• SoftEng-HEIGVD / Teaching-HEIGVD-AMT-2020
  Main repo for AMT, 2020 edition
  ☆10Updated 4 years ago
• epfl-SDP / android
  A repository for the CS-306 Software Development Project class at EPFL.
  ☆13Updated 2 years ago
• SoftEng-HEIGVD / Teaching-HEIGVD-RES-2020
  Main repository for RES 2020 @ HEIG-VD
  ☆12Updated 4 years ago
• LauzHack / LauzHack.github.io
  Website for LauzHack, EPFL's largest hackathon.
  ☆10Updated 2 weeks ago
• sweng-epfl / public
  Software Engineering course materials from EPFL
  ☆101Updated 7 months ago
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆21Updated last week
• louismerlin / repfl
  Find a free room @ EPFL
  ☆29Updated 4 years ago
• aherlihy / carac
  A Datalog execution engine for Scala
  ☆10Updated this week
• pocs-epfl / public
  POCS materials for the public
  ☆10Updated 2 months ago
• alexandrepiveteau / distributed-kotlin
  WOOT and CRDTs for Kotlin
  ☆12Updated 6 years ago
• resulknad / networks2tester
  Unofficial tester for second networks project. It constructs a graph, runs dijkstra on it and checks your implementation (whether all you…
  ☆8Updated 3 years ago
• tmohme / gradle-elm-plugin
  A gradle plugin for convenient use of elm
  ☆10Updated 5 years ago
• xebia-functional / karat
  Alloy within Kotlin
  ☆30Updated last year
• scala-native / improvement-proposals
  Scala Native Improvement Proposals
  ☆11Updated last year
• TiarkRompf / minidot
  Dependent Object Types (DOT), bottom up
  ☆85Updated 3 years ago
• scala / scala3-staging.g8
  ☆10Updated 2 weeks ago
• Cotel / Android-Comonadic-UI
  An experiment for bringing Comonadic UIs to Android
  ☆17Updated 6 years ago
• rescala-lang / REScala
  REScala - distributed and reactive programming embedded in OO and FP programs.
  ☆89Updated last week
• JetBrains / noria-kt
  Abstract Reconciliation for Kotlin
  ☆17Updated 7 years ago
• NoRedInk / list-selection
  A list with a selected item. Like a zipper, but optional.
  ☆10Updated 6 years ago
• aedans / Katalyst
  Kotlin recursion schemes with Arrow
  ☆22Updated 6 years ago
• 47degrees / fp-with-arrow-videos
  ☆12Updated 6 years ago
• arrow-kt / arrow-optics
  Λrrow Optics is part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆20Updated 4 years ago
• arrow-kt / arrow-ank
  Λrrow Ank is part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆13Updated 4 years ago
• 47degrees / hood
  The plugin to manage benchmarks on your CI
  ☆17Updated 10 months ago
• epfl-lara / lisa
  Proof assistant based on first-order logic and set theory
  ☆36Updated 5 months ago
• OlivierBlanvillain / regsafe
  ☆19Updated 2 years ago
• Actinarium / Kinetic
  An Android Experiment app that captures device motion and translates it into animations
  ☆9Updated 8 years ago
• brightdb / sequence
  An implementation of LSEQ, a CRDT for sequential data (eg. text)
  ☆24Updated 3 years ago