Unifying Church and State
☆21May 4, 2017Updated 9 years ago
Alternatives and similar repositories for church-and-state
Users that are interested in church-and-state are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Slides and code for "Free Monads and Free Applicatives" from flatMap(Oslo) 2016☆15Jun 8, 2016Updated 10 years ago
- Scala demo code from my/Edwin Brady's talk "Scala vs. Idris: Dependent types now and in the future" at Strange Loop 2013☆11Sep 20, 2013Updated 13 years ago
- Slides and code from a talk on subtyping and functor variance☆10Jun 19, 2014Updated 12 years ago
- Workshop on typeclasses in scala☆26Oct 2, 2017Updated 9 years ago
- Provides a functional API for tracing programs across system and network boundaries.☆60Jul 4, 2024Updated 2 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.
- Minitime - a Java Time wrapper for Scala and Scala.js☆16Jan 17, 2020Updated 6 years ago
- A project comparing the Tagless Final approach with the Free Monad one, using the Monix's Task as the target monad☆14May 20, 2017Updated 9 years ago
- A directed graph library for PureScript.☆11Jan 12, 2019Updated 7 years ago
- Idiomatic example of using functional programming to write a microservice☆73Jul 22, 2016Updated 10 years ago
- Demo of phantom types in Scala☆12Feb 25, 2016Updated 10 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Simple, efficient wrapper for fast concatenation/iteration.☆110Sep 4, 2018Updated 8 years ago
- Reasonable telnet server for Scala.☆57Mar 13, 2019Updated 7 years ago
- Supporting material for ScalaWorld 2015.☆99Sep 21, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- doobie integration with quill☆21Jul 8, 2019Updated 7 years ago
- Cats Bifunctor IO☆80Jan 18, 2019Updated 7 years ago
- IO types and classes for Scala.☆42Nov 26, 2016Updated 9 years ago
- Free monads compared to tagless final☆21May 8, 2017Updated 9 years ago
- util modules for sbt☆15Apr 24, 2020Updated 6 years ago
- Scala Taiwan meetup slides☆51Apr 14, 2023Updated 3 years ago
- ☆77Nov 28, 2020Updated 5 years ago
- Large corpus of Scala code for static analysis testing☆18Apr 27, 2011Updated 15 years ago
- ZIO Akka Http Scala giter8 template☆12Sep 28, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Generic mapper for ScalikeJDBC☆25Jun 3, 2017Updated 9 years ago
- Projectile creates beautiful Scala code from your Postgres database, GraphQL queries, or Thrift definitions☆23Sep 2, 2021Updated 5 years ago
- Toy project serving to illustrate that it's possible to write pure functional systems in Scala.☆39Jun 18, 2015Updated 11 years ago
- Java NIO utilities for usage with Monix☆54Oct 14, 2021Updated 5 years ago
- Typeclass-based HashSet/HashMap for Scala☆33Apr 2, 2017Updated 9 years ago
- Dependency extraction for Scala 2 codebases, to aid in modularizing☆120Sep 8, 2026Updated last month
- type-classes for structural manipulation of algebraic data types☆17Oct 7, 2018Updated 8 years ago
- Lightweight Scala.js promise implementation that does not violate parametricity☆17Jun 4, 2020Updated 6 years ago
- Scala Improvement Process☆13Aug 21, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Sonic reducer - Hierarchical reducer for arbitrary scala sequences☆14Dec 1, 2022Updated 3 years ago
- A Scala library for Firestore in Datastore mode☆13Jun 11, 2024Updated 2 years ago
- Spire's macros for zero-cost operator enrichment☆188Dec 17, 2019Updated 6 years ago
- Scala Algorithms and Data Structures☆232Aug 10, 2016Updated 10 years ago
- Manage Apache Atlas and Ranger configuration for your Hadoop environment.☆16May 4, 2021Updated 5 years ago
- Http Server and client using fs2☆139Sep 5, 2025Updated last year
- Conway's Game of Life using a memoized Store comonad☆11Nov 20, 2017Updated 8 years ago