pravin-raha

followers

following

stars

Synerzip

Pune

Pravin Rahangdale's starred repositories

pandoc

Universal markup converter

Language:HaskellNOASSERTION33040 514 7467

zio

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Language:ScalaApache-2.04012 112 2527

koalas

Koalas: pandas API on Apache Spark

Language:PythonApache-2.03320 321 588

Monocle

Optics library for Scala

Language:ScalaMIT1634 53 381

skunk

A data access library for Scala + Postgres.

Language:ScalaMIT1558 30 139

scalafmt

Code formatter for Scala

Language:ScalaApache-2.01409 29 1466

BlockHound

Java agent to detect blocking calls from non-blocking threads.

Language:JavaApache-2.01309 38 81

scala-steward

:robot: A bot that helps you keep your projects up-to-date

Language:ScalaApache-2.01131 24 505

chimney

Scala library for boilerplate-free, type-safe data transformations

Language:ScalaApache-2.01130 20 195

scala-pet-store

An implementation of the java pet store using FP techniques in scala

Language:ScalaApache-2.01059 36 58

caliban

Functional GraphQL library for Scala

Language:ScalaApache-2.0939 22 359

matryoshka

Generalized recursion schemes and traversals for Scala.

Language:ScalaApache-2.0810 57 23

bootzooka

Simple project to quickly start developing a Scala-based microservice or web application, without the need to write login, user registration etc.

Language:ScalaApache-2.0719 59 109

ghcide

A library for building Haskell IDE tooling

Language:HaskellApache-2.0586 37 1

bucket-antivirus-function

Serverless antivirus for cloud storage.

Language:PythonApache-2.0534 33 97

outwatch

The Functional and Reactive Web-Frontend Library for Scala.js

Language:ScalaApache-2.0458 21 193

r2dbc-spi

Service Provider Interface for R2DBC Implementations

Language:JavaApache-2.0417 35 181

jparsec

Build parsers in Java

Language:JavaApache-2.0336 27 50

contrib

Integrations, examples, and proof-of-concepts that are not part of OPA proper.

Language:GoApache-2.0317 21 46

boilerplay

Using the latest technology in the Scala ecosystem, Boilerplay is a reactive web application built on Play Framework, ScalaJS, Silhouette, Sangria/GraphQL, and PostgreSQL. It provides a good starting point for whatever you want to build.

Language:ScalaCC0-1.0277 27 26

homotopy-type-theory-course

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

Language:TeX272 20 1

learn-halogen

Learn purescript-halogen using a bottom-up apporach via this "clone-and-play" repository

Language:PureScript188 13 38

http4s-jwt-auth

:lock: Opinionated JWT authentication library for Http4s

Language:Scala114 3 10

docker-kong-oidc

Kong + OIDC plugins

Language:DockerfileApache-2.0111 6 33

keycloak-hasura-connector

Connect hasura with the keycloak. Authentication for hasura

Language:JavaScriptMIT105 6 27

akka-ddd-cqrs-es-example

Bank API CQRS Event Sourcing System on Akka-Cluster (Concept Model)

Language:ScalaMIT83 80

service-locator-dns

This project is deprecated

Language:ScalaNOASSERTION61 12 13

spring-hocon-property-source

Property source loader for Spring that is able to parse and load HOCON config files

Language:JavaMIT31 3 2

http4s-modules

Web modules built on Http4s

Language:ScalaMIT30 3 18

maantrack

Simple task tracking application

Language:ScalaApache-2.03 3 3