chenharryhua/nanjin

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

Language: Scala - Size: 12.8 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 32 - Forks: 4

antonagestam/phantom-types

Phantom types for Python.

Language: Python - Size: 2.11 MB - Last synced at: 9 days ago - Pushed at: 25 days ago - Stars: 213 - Forks: 9

erikerlandson/coulomb

coulomb: unit analysis for Scala

Language: Scala - Size: 4.02 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 143 - Forks: 9

kevin-lee/extras

A few extra tools

Language: Scala - Size: 6.76 MB - Last synced at: 14 days ago - Pushed at: 11 months ago - Stars: 16 - Forks: 0

MattWillFlood/EntropyHub.jl

An open-source toolkit for entropic data analysis

Language: Julia - Size: 2.18 MB - Last synced at: 1 day ago - Pushed at: about 1 year ago - Stars: 26 - Forks: 2

kevin-lee/refined4s

newtype and refinement (refined) type for Scala 3

Language: Scala - Size: 3.25 MB - Last synced at: 14 days ago - Pushed at: 25 days ago - Stars: 10 - Forks: 2

gvolpe/pfps-shopping-cart

:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

Language: Scala - Size: 1.63 MB - Last synced at: 5 days ago - Pushed at: 28 days ago - Stars: 538 - Forks: 169

JOAdevLoper/Better-R1

A open webui function for better R1 experience

Size: 1000 Bytes - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

gvolpe/pfps-examples

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

Language: Scala - Size: 451 KB - Last synced at: 5 days ago - Pushed at: almost 3 years ago - Stars: 198 - Forks: 69

danieljharvey/purescript-refined

Purescript refinement types with runtime checking

Language: PureScript - Size: 23.4 KB - Last synced at: 17 days ago - Pushed at: over 2 years ago - Stars: 25 - Forks: 2

Astropilot/NekoSamaBetterFilters

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

Language: TypeScript - Size: 2.52 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

gvolpe/shopping-cart-haskell

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

Language: Haskell - Size: 159 KB - Last synced at: 5 days ago - Pushed at: almost 4 years ago - Stars: 64 - Forks: 6

aichbauer/space-ocean-kit-refined

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

Size: 6.01 MB - Last synced at: about 2 months ago - Pushed at: almost 7 years ago - Stars: 3 - Forks: 0

dgouyette/play-api-refiner

Language: Scala - Size: 1020 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 16 - Forks: 0

daltonmenezes/stylish-hub 📦

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

Language: JavaScript - Size: 1.04 MB - Last synced at: 12 months ago - Pushed at: over 3 years ago - Stars: 18 - Forks: 3

ustitc/krefty

Proper types for your domain

Language: Kotlin - Size: 221 KB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 1

kiprasmel/refined-gitlab

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

Language: TypeScript - Size: 621 KB - Last synced at: 14 days ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 1

bszwej/functional-movie-library

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

Language: Scala - Size: 14.6 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 5 - Forks: 1

Fristi/refined-deck

Slides about refined

Language: HTML - Size: 186 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

bszwej/ddd-with-fp-in-scala

Implementing a domain model using functional programming in Scala.

Language: Scala - Size: 2.93 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 25 - Forks: 5

serefayar/scala3-zio2-simple

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

Language: Scala - Size: 16.6 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 6 - Forks: 3

sigma-andex/idris-refined 📦

Port of Scala/Haskell Refined library to Idris

Language: Idris - Size: 23.4 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 15 - Forks: 2

fancellu/cats-effect-decline-example

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

Language: Scala - Size: 1.95 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

poslegm/brief

Automated case classes validation using refinement types and macros

Language: Scala - Size: 87.9 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 13 - Forks: 0

endertunc/http4s-newtype-refined-crud

Simple CRUD application using newtype, refined and typelevel stack

Language: Scala - Size: 39.1 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

endertunc/http4s-realworld-example

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

Language: Scala - Size: 157 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

valentinHenry/refined

Refinement types for Go

Language: Go - Size: 5.86 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

baka-gourd/refined-epub-css

Language: CSS - Size: 6.84 KB - Last synced at: 21 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

PrinceUzb/http4s-server.g8

Create a fast HTTP server through the http4s library

Language: Scala - Size: 155 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0

kwark/slick-refined

support for using refinement types with slick

Language: Scala - Size: 180 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 18 - Forks: 3

RemiBardon/swift-prefixed-type

A type-safe, Codable struct for prefixed types

Language: Swift - Size: 69.3 KB - Last synced at: 20 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

takatori/skillmap

sample application using ZIO, http4s, tapir, doobie

Language: Scala - Size: 111 KB - Last synced at: 22 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

lukesrw/scrap-tf

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

Language: JavaScript - Size: 32.2 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

gvolpe/types-matter

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

Language: Haskell - Size: 34.2 KB - Last synced at: 5 days ago - Pushed at: almost 5 years ago - Stars: 10 - Forks: 0

viswanath7/akka-typed

initial commit

Language: Scala - Size: 61.5 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

GusevTimofey/encry-explorer-backend

Encry blockchain observer

Language: Scala - Size: 229 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

niqdev/mobile-carrier-bot

[WIP] Scala FP bot deployed on k8s

Language: Scala - Size: 162 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1

derekmorr/refined-anorm

Refined support for Anorm

Language: Scala - Size: 20.5 KB - Last synced at: 4 days ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 2

ItsRevolt/refined-twitter Fork of sindresorhus/refined-twitter

Browser extension that simplifies the Twitter interface and adds useful features

Language: JavaScript - Size: 1.65 MB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0