H3LP3RS / HELP
An android application that notifies and guides qualified users to provide medical assistance in the area.
☆10Updated 2 years ago
Related projects: ⓘ
- ☆7Updated 2 years ago
- WOOT and CRDTs for Kotlin☆12Updated 5 years ago
- Main repository for RES 2020 @ HEIG-VD☆12Updated 4 years ago
- Main repo for AMT, 2020 edition☆10Updated 3 years ago
- A repository for the CS-306 Software Development Project class at EPFL.☆13Updated 2 years ago
- Abstract Reconciliation for Kotlin☆17Updated 6 years ago
- Website for LauzHack, EPFL's largest hackathon.☆10Updated this week
- ☆12Updated this week
- Collaborative and distributed Markdown text editor, started as a bachelor thesis project at HEIG-VD.☆56Updated 6 months ago
- Naive Bayes Tweet Sentiment Classifier in Kotlin☆13Updated 3 years ago
- Bolts: Stainless Verified Scala Examples☆16Updated last week
- ☆12Updated 5 years ago
- ☆23Updated 5 years ago
- ☆18Updated this week
- Kotlin Gradle plugins for conveniently setting up Kotlin projects (JVM/MPP), publishing, Dokka, etc☆16Updated last week
- Embeddable component for running Kotlin's Arrow library code snippets☆20Updated last year
- A gradle plugin for convenient use of elm☆10Updated 4 years ago
- The plugin to manage benchmarks on your CI☆17Updated 4 months ago
- Better initial-style DSLs in Kotlin☆32Updated last week
- ☆16Updated 3 years ago
- A mutation testing tool for kotlin☆22Updated 2 months ago
- Λrrow Ank is part of Λrrow, a functional companion to Kotlin's Standard Library☆13Updated 3 years ago
- Functional Hangman game implemented with Kotlin and Arrow (based on https://abhsrivastava.github.io/2018/11/03/Hangman-Game-Using-ZIO/)☆17Updated 4 years ago
- ☆10Updated 3 months ago
- A repo to experiment with Continuation<R, A> implementations in Kotlin☆13Updated 2 years ago
- ☆7Updated last year
- Arrow Endpoint offers a composable Endpoint datatype, that allows us easily define an Endpoint from which we can derive clients, servers …☆24Updated last week
- The Concordant Conflict-Free Replicated Datatypes (CRDT) library.☆37Updated 2 years ago
- Lambda.World Cádiz 2018 Workshop - Encoding Functional web services using Arrow and Ktor☆41Updated 5 years ago
- Λrrow Check - Property based testing in Kotlin - It's part of Λrrow, a functional companion to Kotlin's Standard Library☆25Updated 2 years ago