Kayvan ≅ کیوان's Projects
Tools to manage a Nix-based project
my Cardano-Api notes in emacs org-roam
:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
My workbook for the Practical FP in Scala.
Programming Language Theory λΠ
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
The Plutus application platform
my workbook for Apress book, Practical-haskell
Domain Modelling with Haskell exercise from CODA
Project: M36 Relational Algebra Engine
Scala templated with http4s, doobie, kinesis & scalaz
A Scala project streaming telemetry data from pipelinedb to kinesis stream
A scala project pulling events from AWS Kinesis Stream and pushing them to pipelineDB
study guide
Rchain music dApp
RSong Asset Acquisition
http to Rholang Proxy for Rchain Contracts
micro batch layer that synchronizes RSong cache layer with RChain
Select coins, build transactions
Solutions for S-99 Ninety-Nine Scala Problems
Haskell servant http server demo
A translation of the code examples from "Unbounded Spigot Algorithms for the Digits of Pi" (Gibbons, 2006)
an IoT Rholang-Raspberry Pi project
A friendly programming language from the future
A Scalaz http4s race for response project