An attempt to grok type-level programming in Scala
☆10Jun 20, 2014Updated 12 years ago
Alternatives and similar repositories for type-prog
Users that are interested in type-prog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆25Feb 10, 2017Updated 9 years ago
- cqrs+es in scala☆44Feb 1, 2018Updated 8 years ago
- Simple stacking window manager for X11☆11Aug 26, 2020Updated 6 years ago
- Emacs minor-mode for interacting with 4clojure problems.☆17Jul 30, 2012Updated 14 years ago
- Measuring and Profiling performance for Clojure Apps from the Repl☆20Mar 6, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A half-day workshop on Scalding, the Scala API for Cascading☆12Mar 25, 2016Updated 10 years ago
- A small collection of scalacheck generators.☆16Aug 17, 2017Updated 9 years ago
- Simple Apache Commons Daemon compliant Clojure application☆10Feb 14, 2014Updated 12 years ago
- TODO application backend for http://www.todobackend.com/☆12Jul 4, 2024Updated 2 years ago
- TeamCity plugin makes SBT runner☆15Updated this week
- yet another testing framework for Scala☆20May 16, 2017Updated 9 years ago
- ZIO wrapper for AWS S3 SDK async client☆11Feb 21, 2020Updated 6 years ago
- 🐟 Scala 3 + ZIO + Quill + PostgreSQL JSONB example with Dr. Seuss inspired fish data☆11Jul 19, 2025Updated last year
- Jolokia support for any artifacts built with sbt-native-packager☆12Mar 19, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Higher level WASM library for Rust☆10Dec 11, 2024Updated last year
- sbt plugin to detect Akka module mismatches and fail build☆10Sep 15, 2025Updated last year
- Activator trace instrumentation☆12Dec 4, 2014Updated 11 years ago
- Adds a guard to disable ObjectInputStream.readObject☆11Dec 6, 2015Updated 10 years ago
- Template files for Terraform☆21Aug 10, 2014Updated 12 years ago
- Full-featured, robust deriving for Caliban.☆15Aug 20, 2024Updated 2 years ago
- Code from the Functional Scala Conference talk: Type inference for plain-text SQL☆10Dec 5, 2024Updated last year
- A Probabilistic Functional Programming Language DSL in Scala☆66Feb 15, 2016Updated 10 years ago
- Sample code to help with Elastic Block Store automation with Elastic Volumes feature☆12Feb 24, 2017Updated 9 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.
- macOS, nix, neovim☆13Oct 12, 2026Updated last week
- Trying to understand Free Monad by implementing one☆45Feb 10, 2017Updated 9 years ago
- Fikovnik's Mac Toolkit☆20Oct 23, 2010Updated 15 years ago
- Rebind is a Scala port/remake of the Haskell retry library.☆16Jun 8, 2015Updated 11 years ago
- ☆14Aug 19, 2023Updated 3 years ago
- Finding a scalable alternative to the VCF File for genomics analysis☆14Jan 5, 2017Updated 9 years ago
- Brent Yorgey's Typeclassopedia, translated to Scala☆26Nov 7, 2017Updated 8 years ago
- Some base classes and configuration used for making a server using finch☆22Jul 5, 2016Updated 10 years ago
- Alternative to Free monads☆33Oct 15, 2016Updated 10 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.
- Slides and Demo Script for SparkRSQL Presentation☆11Mar 17, 2015Updated 11 years ago
- Interactive playing with Math in Scala☆10Jan 4, 2017Updated 9 years ago
- OSGi and Jigsaw Working Together☆10Mar 6, 2017Updated 9 years ago
- ☆13Mar 8, 2024Updated 2 years ago
- Application cage☆19Aug 3, 2015Updated 11 years ago
- ☆11Sep 27, 2016Updated 10 years ago
- Evaluation of API and performance of different actor libraries☆132Jul 12, 2017Updated 9 years ago