refined

There are 0 repository 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"

  functional-programmingfpcatscats-effecthttp4sfs2skunkrefinednewtypestagless-finalfinally-taglesstaglesstypeclass-derivationtypeclasses
  Language:Scala 521

• gvolpe / pfps-examples

  :izakaya_lantern: Standalone examples shown in the book "Practical FP in Scala: A hands-on approach"

  functional-programmingfpcatscats-effectfs2refinednewtypesmonoclecats-mtl
  Language:Scala 191

• antonagestam / phantom-types

  Phantom types for Python.

  phantom-typesstatic-analysismypypythonstatic-typingtypingrefined-typesrefinement-typesrefinedpython3validation
  Language:Python 183
• coulomb

  erikerlandson / coulomb

  coulomb: unit analysis for Scala

  unit-analysisunit-conversionscalanumericunits-of-measurestatic-typesdimensional-analysisunitstype-safetytypelevelconfiguration-managementconfigurationunit-quantitytypeclasstypecheckingavro-schemapureconfigrefined
  Language:Scala 140

• gvolpe / shopping-cart-haskell

  :gem: Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

  functional-programmingnewtypesrefinedservantpostgresqlhttp
  Language:Haskell 65

• chenharryhua / nanjin

  explore kafka, spark, fs2 and pure functional programming in scala

  framelessmonocleavro4scircedoobiedrosterefinedchimneykantancats-effect-3cats-timefs2-kafkaenumeratumcats-collectioncats-mtlsquantshttp4sskunkcron4s
  Language:Scala 30

• bszwej / ddd-with-fp-in-scala

  Implementing a domain model using functional programming in Scala.

  scalafunctional-programmingdomain-driven-designrefinedenumeratumcatsfp
  Language:Scala 27

• danieljharvey / purescript-refined

  Purescript refinement types with runtime checking

  purescriptrefinedtype-level-programming
  Language:PureScript 25
• EntropyHub.jl

  MattWillFlood / EntropyHub.jl

  An open-source toolkit for entropic data analysis

  entropyuncertaintystatistical-physicsnonlinearcomplexitytime-seriessignal-processingrandomresearchmatlabjuliapythonopen-sourcetoolkitshannoninformation-theoryprobability-theoryrefinedcompositehierarchical
  Language:Julia 20
• stylish-hub

  daltonmenezes / stylish-hub

  :tropical_drink: A browser extension that brings new GitHub features and experience.

  githubgithub-extensionbrowser-extensionbrowser-addonfirefoxfirefox-addonfirefox-extensionchromechrome-extensionjavascriptcssenhancedfeaturesredesignuiuxoperaopera-extensionopera-addonrefined
  Language:JavaScript 18

• kwark / slick-refined

  support for using refinement types with slick

  slickscalarefined
  Language:Scala 18

• dgouyette / play-api-refiner

  playframeworkrefinedjsonschema-generatoropenapi3swagger
  Language:Scala 16

• kevin-lee / extras

  A few extra tools

  scalatoolscatsconcurrencyconsole-ionewtyperefinedrefinementrefinement-type
  Language:Scala 15

• sigma-andex / idris-refined

  Port of Scala/Haskell Refined library to Idris

  idrisrefinement-typesrefineddependent-typessigma
  Language:Idris 15

• poslegm / brief

  Automated case classes validation using refinement types and macros

  scalamacrosrefinedvalidation
  Language:Scala 13

• gvolpe / types-matter

  Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual

  typeshaskellrefinednewtypesrefinement-types
  Language:Haskell 10

• ustitc / krefty

  Proper types for your domain

  refinement-typeskotlintypesvalue-objectrefineddddarrow
  Language:Kotlin 9

• serefayar / scala3-zio2-simple

  scala 3 & zio 2 & cats & http4s & doobie & circe & tapir & refined | simple crud app

  scala3zio2doobiehttp4scircetapirrefinedscalazio
  Language:Scala 8

• kevin-lee / refined4s

  newtype and refinement (refined) type for Scala 3

  functional-programmingnewtyperefinedrefined-typesrefinementrefinement-typesscala
  Language:Scala 7

• bszwej / functional-movie-library

  Movie library service written in a functional way using Typelevel stack.

  scalacatscats-effecthttp4sscanamodynamodbcircepureconfigrefinedtagless-finaltypelevel
  Language:Scala 5

• kiprasmel / refined-gitlab

  🏷 Make your GitLab experience better! read-only mirror from https://gitlab.com/kiprasmel/refined-gitlab

  extensiongitgitlabmirrorrefinedrefined-gitlab
  Language:TypeScript 4

• aichbauer / space-ocean-kit-refined

  This is refined redesign of the theme OceanKit. Supported files: *.js, *.html, *.css, *.jsx, *.json, *.md, and *.py

  vscodevscode-themevscode-extensionspace-ocean-kit-refinedspaceoceankitrefined
  2

• Astropilot / NekoSamaBetterFilters

  Une extension web pour rendre le système de filtres des animes pleinement fonctionnel sur Neko-Sama.fr

  webextensionanimeneko-samarefined
  Language:TypeScript 2

• baka-gourd / refined-epub-css

  cssepubrefined
  Language:CSS 2

• derekmorr / refined-anorm

  Refined support for Anorm

  scalarefinedanormdatabase
  Language:Scala 2

• endertunc / http4s-realworld-example

  Reference implementation of https://github.com/gothinkster/realworld using typelevel stack, refined and newtype

  scalarefinedhttp4snewtypedoobiecircecats
  Language:Scala 2

• fancellu / cats-effect-decline-example

  Cats effect Decline (Composable command-line parsing for Scala) example

  cats-effect-3declinerefined
  Language:Scala 2

• endertunc / http4s-newtype-refined-crud

  Simple CRUD application using newtype, refined and typelevel stack

  http4snewtyperefineddoobiecircescala
  Language:Scala 1

• ItsRevolt / refined-twitter

  Browser extension that simplifies the Twitter interface and adds useful features

  refinedrefined-twitterjavascriptchrome-extension
  Language:JavaScript 1

• niqdev / mobile-carrier-bot

  [WIP] Scala FP bot deployed on k8s

  catscats-effectfs2http4scircedoobiecirisrefinedenumeratummonocletelegram-botscala-scraperkubernetes
  Language:Scala 1

• valentinHenry / refined

  Refinement types for Go

  gorefinement-typesrefined
  Language:Go 1

• RemiBardon / swift-prefixed-type

  A type-safe, Codable struct for prefixed types

  swiftswift-package-managercodableuuidtestslightweightprefixprefixedrefinedrefined-types
  Language:Swift 0

• Fristi / refined-deck

  Slides about refined

  refinedpresentation
  Language:HTML

• lukesrw / scrap-tf

  Helpful scripts, to be used on https://scrap.tf/

  tradingtf2scrap-tfvirtual-economyjavascriptautomaticscrapreclaimedrefinedweaponweapons
  Language:JavaScript

• takatori / skillmap

  sample application using ZIO, http4s, tapir, doobie

  zioscalahttp4stapirdoobierefinednewtype
  Language:Scala

• viswanath7 / akka-typed

  initial commit

  scalaakka-typedakka-typed-actorsakkaakka-testkitcats-effectrefined
  Language:Scala