SoftEng-HEIGVD / Teaching-HEIGVD-RES-2020Links
Main repository for RES 2020 @ HEIG-VD
☆12Updated 5 years ago
Alternatives and similar repositories for Teaching-HEIGVD-RES-2020
Users that are interested in Teaching-HEIGVD-RES-2020 are comparing it to the libraries listed below
Sorting:
- Main repo for AMT, 2020 edition☆10Updated 4 years ago
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Updated 3 years ago
- A repository for the CS-306 Software Development Project class at EPFL.☆13Updated 3 years ago
- Website for LauzHack, EPFL's largest hackathon.☆11Updated this week
- A gradle plugin for convenient use of elm☆10Updated 5 years ago
- WOOT and CRDTs for Kotlin☆13Updated 7 years ago
- The Concordant Conflict-Free Replicated Datatypes (CRDT) library.☆40Updated 3 years ago
- Abstract Reconciliation for Kotlin☆16Updated 7 years ago
- Better initial-style DSLs in Kotlin☆37Updated last week
- Collaborative and distributed Markdown text editor, started as a bachelor thesis project at HEIG-VD.☆58Updated last year
- Kotest extensions for Arrow☆40Updated 9 months ago
- A validation library with distinct separation of pre- and post-validation models, focused on validator composability☆31Updated 2 years ago
- A Datalog execution engine for Scala☆14Updated 2 months ago
- A Kotlin parser framework with an easy-to-use DSL☆14Updated 2 years ago
- Finite state machinery in Kotlin☆30Updated 2 weeks ago
- Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.☆58Updated 3 years ago
- Kotlin Gradle plugins for conveniently setting up Kotlin projects (JVM/MPP), publishing, Dokka, etc☆16Updated this week
- Arrow Analysis Plugin☆30Updated last week
- Arrow Endpoint offers a composable Endpoint datatype, that allows us easily define an Endpoint from which we can derive clients, servers …☆24Updated last week
- ☆16Updated 4 years ago
- Λrrow Ank is part of Λrrow, a functional companion to Kotlin's Standard Library☆13Updated 4 years ago
- A collection of boilerplate and setup for an eventual project, and a testing ground for some ideas I've been tinkering with.☆14Updated 6 months ago
- Poké-Fun with Kotlin and Arrow☆12Updated last week
- Structural Search support for Kotlin☆18Updated 4 years ago
- A snapshot state wrapper for the Jetpack Datastore library.☆13Updated 2 years ago
- A collection of samples to discuss and showcase different architectural tools and patterns for Android apps.☆11Updated 9 years ago
- Λrrow Core is part of Λrrow, a functional companion to Kotlin's Standard Library☆78Updated 4 years ago
- Reason about resource-safety in the same way you reason about Structured Concurrency with SuspendApp!☆77Updated 7 months ago
- Experiments with running Kotlin/Wasm with Component Model☆20Updated last year
- ☆46Updated 4 months ago