p-pavel Goto Github PK

activemq-artemis

Mirror of Apache ActiveMQ Artemis

agda

Agda is a dependently typed programming language / interactive theorem prover.

all_deps

aoc22

async-yerevan-challenge

Async demo in different languages and paradigms

bluez-experiments

My experiments with bluetooth blueZ and D-bus

categories

Categories parametrized by morphism equality, in Agda

clear-cat

An attempt to generalise the notion of category in scala

community

Kubernetes community content

curryhoward

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

http4s-whiteboard

Whiteboard pattern for hosting http4s server in OSGi container

iota

Fast [co]product types with a clean syntax. For Cats & Scalaz.

isolated-macros

jms4s

I

jsimconnect

jSimConnect - a simconnect java client library

jsonrpc

My JSON-RPC 2.0 library

karaf-cave

Mirror of Apache Karaf Cave

learn_scala

Simple project for starting with Scala

osgi-experiments

Experiments for running scala 3 and typelevel ecosystem in OSGi container

osgi-scala

Tools for deploying Scala libraries to OSGi containers

pdp11

toy PDP11 emulator

perikov.utils

sample-task

scala-uservices-spike

Scala 3 and micro services related technologies in a sample application

scalacass

scalalgebra

experiments with expressing algebraic concepts in Scala

scalatags

ScalaTags is a small XML/HTML construction library for Scala.

spark-essentials

The official repository for the Rock the JVM Spark Essentials with Scala course

third-cats

Experiments with categories in scala 3

typelevel-utils

Collection of type-level utils I've collected from my projects with minimal dependencies