MaximeZmt / SDP_2022-Vibester

Related projects: ⓘ

• H3LP3RS / HELP
  An android application that notifies and guides qualified users to provide medical assistance in the area.
  ☆10Updated 2 years ago
• LPD-EPFL / CS451-2021-project
  ☆12Updated this week
• LauzHack / LauzHack.github.io
  Website for LauzHack, EPFL's largest hackathon.
  ☆10Updated this week
• 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
• alexandrepiveteau / distributed-kotlin
  WOOT and CRDTs for Kotlin
  ☆12Updated 5 years ago
• SoftEng-HEIGVD / Teaching-HEIGVD-AMT-2020
  Main repo for AMT, 2020 edition
  ☆10Updated 3 years ago
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆16Updated last week
• 47degrees / fp-with-arrow-videos
  ☆12Updated 5 years ago
• FHNW-IP5-IP6 / ComposeForms
  ☆18Updated this week
• 47degrees / hood
  The plugin to manage benchmarks on your CI
  ☆17Updated 4 months ago
• JetBrains / noria-kt
  Abstract Reconciliation for Kotlin
  ☆17Updated 6 years ago
• markdown-party / mono
  Collaborative and distributed Markdown text editor, started as a bachelor thesis project at HEIG-VD.
  ☆56Updated 6 months ago
• arrow-kt / arrow-gradle-config
  Kotlin Gradle plugins for conveniently setting up Kotlin projects (JVM/MPP), publishing, Dokka, etc
  ☆16Updated last week
• JosueMolinaMorales / mutant-kraken
  A mutation testing tool for kotlin
  ☆22Updated 2 months ago
• arrow-kt / arrow-endpoint
  Arrow Endpoint offers a composable Endpoint datatype, that allows us easily define an Endpoint from which we can derive clients, servers …
  ☆24Updated last week
• arrow-kt / arrow-meta-prototype
  ☆23Updated 5 years ago
• Doist / kotlin-warning-baseline
  ☆7Updated last year
• nomisRev / Continuation
  A repo to experiment with Continuation<R, A> implementations in Kotlin
  ☆13Updated 2 years ago
• sweng-epfl / public
  Software Engineering course materials from EPFL
  ☆99Updated 3 weeks ago
• serras / inikio
  Better initial-style DSLs in Kotlin
  ☆32Updated last week
• arrow-kt / arrow-playground
  Embeddable component for running Kotlin's Arrow library code snippets
  ☆20Updated last year
• tmohme / gradle-elm-plugin
  A gradle plugin for convenient use of elm
  ☆10Updated 4 years ago
• jamesward / ktor-native-server
  ☆10Updated 3 months ago
• arrow-kt / arrow-analysis
  Arrow Analysis Plugin
  ☆27Updated this week
• arrow-kt / arrow-check
  Λrrow Check - Property based testing in Kotlin - It's part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆25Updated 2 years ago
• arrow-kt / arrow-ank
  Λrrow Ank is part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆13Updated 3 years ago
• arrow-kt / arrow-optics
  Λrrow Optics is part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆20Updated 3 years ago
• xebia-functional / karat
  Alloy within Kotlin
  ☆29Updated last year
• 47degrees / ArrowInPractice
  Lambda.World Cádiz 2018 Workshop - Encoding Functional web services using Arrow and Ktor
  ☆41Updated 5 years ago