refined
There are 37 repositories under refined topic.
gvolpe/pfps-shopping-cart
:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
gvolpe/pfps-examples
:izakaya_lantern: Standalone examples shown in the book "Practical FP in Scala: A hands-on approach"
antonagestam/phantom-types
Phantom types for Python.
erikerlandson/coulomb
coulomb: unit analysis for Scala
gvolpe/shopping-cart-haskell
:gem: Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
chenharryhua/nanjin
explore kafka, spark, fs2 and pure functional programming in scala
bszwej/ddd-with-fp-in-scala
Implementing a domain model using functional programming in Scala.
danieljharvey/purescript-refined
Purescript refinement types with runtime checking
MattWillFlood/EntropyHub.jl
An open-source toolkit for entropic data analysis
daltonmenezes/stylish-hub
:tropical_drink: A browser extension that brings new GitHub features and experience.
kwark/slick-refined
support for using refinement types with slick
kevin-lee/extras
A few extra tools
sigma-andex/idris-refined
Port of Scala/Haskell Refined library to Idris
poslegm/brief
Automated case classes validation using refinement types and macros
gvolpe/types-matter
Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual
kevin-lee/refined4s
newtype and refinement (refined) type for Scala 3
ustitc/krefty
Proper types for your domain
serefayar/scala3-zio2-simple
scala 3 & zio 2 & cats & http4s & doobie & circe & tapir & refined | simple crud app
bszwej/functional-movie-library
Movie library service written in a functional way using Typelevel stack.
kiprasmel/refined-gitlab
🏷 Make your GitLab experience better! read-only mirror from https://gitlab.com/kiprasmel/refined-gitlab
aichbauer/space-ocean-kit-refined
This is refined redesign of the theme OceanKit. Supported files: *.js, *.html, *.css, *.jsx, *.json, *.md, and *.py
Astropilot/NekoSamaBetterFilters
Une extension web pour rendre le système de filtres des animes pleinement fonctionnel sur Neko-Sama.fr
derekmorr/refined-anorm
Refined support for Anorm
endertunc/http4s-realworld-example
Reference implementation of https://github.com/gothinkster/realworld using typelevel stack, refined and newtype
fancellu/cats-effect-decline-example
Cats effect Decline (Composable command-line parsing for Scala) example
endertunc/http4s-newtype-refined-crud
Simple CRUD application using newtype, refined and typelevel stack
ItsRevolt/refined-twitter
Browser extension that simplifies the Twitter interface and adds useful features
niqdev/mobile-carrier-bot
[WIP] Scala FP bot deployed on k8s
valentinHenry/refined
Refinement types for Go
RemiBardon/swift-prefixed-type
A type-safe, Codable struct for prefixed types
Fristi/refined-deck
Slides about refined
lukesrw/scrap-tf
Helpful scripts, to be used on https://scrap.tf/
takatori/skillmap
sample application using ZIO, http4s, tapir, doobie
viswanath7/akka-typed
initial commit