An example Scala 3 web application
☆13Jul 1, 2021Updated 5 years ago
Alternatives and similar repositories for scala-cosmos
Users that are interested in scala-cosmos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Free monads from scratch is a talk about Free monads, their motivation, their use cases for "real-world applications", and their implemen…☆11Sep 11, 2020Updated 6 years ago
- A client/server app with a full scala/zio stack.☆11Sep 16, 2026Updated last month
- Go library and command-line tools for manipulating .srt, .vtt and .ssa subtitles☆10Feb 13, 2019Updated 7 years ago
- 极速VPN☆20Aug 6, 2020Updated 6 years ago
- ☆20Jan 19, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the ori…☆11May 13, 2016Updated 10 years ago
- This GitHub Action installs, configures & runs Redefine to optimize CI execution time and resources.☆24Jul 11, 2024Updated 2 years ago
- ☆10Jul 8, 2022Updated 4 years ago
- Library of generic CRUD operation for https://github.com/getquill/quill library☆11Jun 23, 2026Updated 4 months ago
- This WebdriverIO service is used to analyze performance of any test flow.☆15Aug 22, 2026Updated 2 months ago
- tiny healthcheck library for akka-http with Kubernetes liveness/readiness probe support☆20Apr 5, 2021Updated 5 years ago
- Scala based wrapper for Kinesis Consumer Library which exposes the stream as an Akka Streams Source☆10Mar 5, 2024Updated 2 years ago
- ZIO Path☆24Apr 15, 2024Updated 2 years ago
- Master election protocol for master-slave cloud services in Node.js☆12Dec 25, 2010Updated 15 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Functional, effectful streams with resource management☆10Aug 27, 2026Updated 2 months ago
- ☆10Aug 14, 2019Updated 7 years ago
- ☆14Oct 5, 2026Updated last month
- Python utility to transform a Pocket reading list to individual ePub files☆14Jun 1, 2014Updated 12 years ago
- A small functional language with effect inference based on Koka.☆10Nov 19, 2016Updated 9 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆12Jun 15, 2014Updated 12 years ago
- All programming workshops prepared by me.☆10Oct 13, 2026Updated 3 weeks ago
- ☆10Jun 11, 2023Updated 3 years ago
- Circe encoder/decoder implementation for ADT/JSON for Scala 2☆12Oct 4, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 3 years ago
- ☆15Sep 10, 2014Updated 12 years ago
- ☆17Updated this week
- Brave quest of 16 students to make MOWNiT even better again!☆14Dec 17, 2018Updated 7 years ago
- Dear obfio archives. About Twitter X-Client-Transaction-Id.☆15Jul 14, 2026Updated 3 months ago
- Examples using dependent types for mathematical proofs at the type level☆14Feb 27, 2020Updated 6 years ago
- Experimental search engine in C/C++17 - still in early development.☆28Jul 8, 2026Updated 3 months ago
- Auto Test for Grails 2.0☆16Jan 15, 2013Updated 13 years ago
- Port of 47deg/fetch to Tagless Final Style™️☆11Sep 15, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Vert.x 2.x is deprecated - use instead☆16Nov 2, 2016Updated 10 years ago
- OReilly's Escalate with Scala 3 Material☆13Jun 1, 2021Updated 5 years ago
- Vert.x 2.x is deprecated - use instead☆19Nov 2, 2016Updated 10 years ago
- Proof of concept for a cats-like library built using Dotty features☆117Jun 1, 2024Updated 2 years ago
- Notes (and implementation) of unification with binders☆17Feb 10, 2026Updated 8 months ago
- Makes union types work with for-comprehensions (like scala.Either, but without the allocation cost).☆16Oct 19, 2021Updated 5 years ago
- Docker build environment for VisionFive 2 SBC☆15Dec 10, 2023Updated 2 years ago