SoftEng-HEIGVD / Teaching-HEIGVD-RES-2020
Main repository for RES 2020 @ HEIG-VD
☆12Updated 4 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
- 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 2 years ago
- ☆7Updated 2 years ago
- A repository for the CS-306 Software Development Project class at EPFL.☆13Updated 2 years ago
- Collaborative and distributed Markdown text editor, started as a bachelor thesis project at HEIG-VD.☆56Updated last year
- A Datalog execution engine for Scala☆10Updated this week
- 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
- Λrrow Core is part of Λrrow, a functional companion to Kotlin's Standard Library☆80Updated 4 years ago
- A gradle plugin for convenient use of elm☆10Updated 5 years ago
- Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.☆58Updated 2 years ago
- Λrrow Optics is part of Λrrow, a functional companion to Kotlin's Standard Library☆20Updated 4 years ago
- Declarative pattern matching solution to algebraic data types in Kotlin programming☆24Updated 5 years ago
- WOOT and CRDTs for Kotlin☆12Updated 6 years ago
- Arrow Analysis Plugin☆28Updated last week
- A Kotlin parser framework with an easy-to-use DSL☆14Updated last year
- Λrrow Ank is part of Λrrow, a functional companion to Kotlin's Standard Library☆13Updated 4 years ago
- A Compose Desktop sample.☆67Updated 4 years ago
- Finite state machinery in Kotlin☆27Updated 3 months ago
- ☆23Updated 5 years ago
- Black-box testing of stateful systems using properties☆16Updated 2 years ago
- Property based testing for kotlintest ported from quickcheck☆34Updated 5 years ago
- The plugin to manage benchmarks on your CI☆17Updated 10 months ago
- Kotlin Gradle plugins for conveniently setting up Kotlin projects (JVM/MPP), publishing, Dokka, etc☆16Updated last week
- Notes from Category Theory for Programmers lessons by Bartosz Milewski☆29Updated 7 years ago
- Abstract Reconciliation for Kotlin☆17Updated 7 years ago
- Λrrow Check - Property based testing in Kotlin - It's part of Λrrow, a functional companion to Kotlin's Standard Library☆25Updated 3 years ago
- Kotlin recursion schemes with Arrow☆22Updated 6 years ago
- A repo to experiment with Continuation<R, A> implementations in Kotlin☆13Updated 3 years ago
- kotlinx-uuid is a multiplatform (MPP) Kotlin library introducing support for UUID.☆26Updated 2 years ago
- 🟣 A Kotlin framework for web applications, cool libraries that go along with it!☆39Updated 4 months ago