MaximeZmt / SDP_2022-VibesterLinks
☆7Updated 3 years ago
Alternatives and similar repositories for SDP_2022-Vibester
Users that are interested in SDP_2022-Vibester are comparing it to the libraries listed below
Sorting:
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Updated 3 years ago
- Website for LauzHack, EPFL's largest hackathon.☆10Updated this week
- A Datalog execution engine for Scala☆13Updated 2 months ago
- Main repository for RES 2020 @ HEIG-VD☆12Updated 5 years ago
- WOOT and CRDTs for Kotlin☆12Updated 6 years ago
- Main repo for AMT, 2020 edition☆10Updated 4 years ago
- Alloy within Kotlin☆30Updated last year
- A repository for the CS-306 Software Development Project class at EPFL.☆13Updated 3 years ago
- Scala Native Improvement Proposals☆11Updated last year
- ☆12Updated 6 years ago
- A gradle plugin for convenient use of elm☆10Updated 5 years ago
- 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
- Kotlin recursion schemes with Arrow☆22Updated 6 years ago
- TASTy Migration Manager☆11Updated 8 months ago
- Bolts: Stainless Verified Scala Examples☆22Updated last month
- Software Engineering course materials from EPFL☆104Updated last week
- A default template for building Elm SPA applications using Vite.☆15Updated 3 years ago
- Abstract Reconciliation for Kotlin☆17Updated 7 years ago
- A world map viewer written purely in Elm☆21Updated 11 months ago
- Provides fully-fledged multishot delimitied continuations in Kotlin with Coroutines☆12Updated 3 weeks 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
- Collaborative and distributed Markdown text editor, started as a bachelor thesis project at HEIG-VD.☆57Updated last year
- ☆10Updated 2 weeks ago
- A list with a selected item. Like a zipper, but optional.☆10Updated 6 years ago
- Λrrow Optics is part of Λrrow, a functional companion to Kotlin's Standard Library☆20Updated 4 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆27Updated 5 years ago
- An Android Experiment app that captures device motion and translates it into animations☆9Updated 9 years ago
- ☆9Updated last year
- ☆43Updated 4 years ago
- refinement types for Elm☆16Updated last year