Pavel Perikov (p-pavel)

p-pavel

Geek Repo

Location:Tsaghkadzor, Armenia

Github PK Tool:Github PK Tool

Pavel Perikov's repositories

http4s-whiteboard

Whiteboard pattern for hosting http4s server in OSGi container

Language:ScalaStargazers:2Issues:0Issues:0

osgi-scala

Tools for deploying Scala libraries to OSGi containers

Language:ScalaLicense:BSD-3-ClauseStargazers:1Issues:1Issues:0

async-yerevan-challenge

Async demo in different languages and paradigms

Language:PythonStargazers:0Issues:1Issues:0

jsonrpc

My JSON-RPC 2.0 library

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

learn_scala

Simple project for starting with Scala

Language:ScalaStargazers:0Issues:0Issues:0

scala-uservices-spike

Scala 3 and micro services related technologies in a sample application

Language:ScalaLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

activemq-artemis

Mirror of Apache ActiveMQ Artemis

License:Apache-2.0Stargazers:0Issues:0Issues:0

agda

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

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:ScalaStargazers:0Issues:0Issues:0

blueZ-experiments

My experiments with bluetooth blueZ and D-bus

Language:ScalaStargazers:0Issues:0Issues:0

categories

Categories parametrized by morphism equality, in Agda

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

clear-cat

An attempt to generalise the notion of category in scala

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

community

Kubernetes community content

License:Apache-2.0Stargazers:0Issues:0Issues:0

curryhoward

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

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

iota

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

License:Apache-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

jsimconnect

jSimConnect - a simconnect java client library

Language:JavaLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

karaf-cave

Mirror of Apache Karaf Cave

License:Apache-2.0Stargazers:0Issues:0Issues:0

osgi-experiments

Experiments for running scala 3 and typelevel ecosystem in OSGi container

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pdp11

toy PDP11 emulator

Language:ScalaLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0
Language:MathematicaLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:ScalaStargazers:0Issues:0Issues:0

scalalgebra

experiments with expressing algebraic concepts in Scala

Language:ScalaLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

scalatags

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

License:MITStargazers:0Issues:0Issues:0

spark-essentials

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

Stargazers:0Issues:0Issues:0

third-cats

Experiments with categories in scala 3

Language:ScalaLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

typelevel-utils

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

Language:ScalaLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

ui

Declarative GUI for desktop apps in Scala

Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0