Pinned Repositories
arabic-numerals
Composable Rho Calculi Semantics Homeworks, based on Greg Meredith lectures
arm-rnode
This repo contains the deployment artifacts for Raspberry pi 3b deployment
cb-proto
Scala REST project using postgreSql, http4s, skunk
hs-aws-kinesis
Haskell Bindings for AWS Kinesis
pfps-tutorial
My workbook for the Practical FP in Scala.
rsong-acquisition
RSong Asset Acquisition
rsong-proxy
http to Rholang Proxy for Rchain Contracts
scala-99
Solutions for S-99 Ninety-Nine Scala Problems
servant-web
Haskell servant http server demo
voter-reg
Voter Registration. An Rspace project
kayvank's Repositories
kayvank/w3
A servant multi module project using nix flake and haskell-nix
kayvank/.doom.d
kayvank/aiken
Cardano Smart Contracts
kayvank/aiken-mode
Emacs mode for https://github.com/aiken-lang/aiken
kayvank/Allure
Allure of the Stars is a near-future Sci-Fi roguelike and tactical squad combat game written in Haskell; please offer feedback, e.g., after trying out the web frontend version at
kayvank/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
kayvank/cv
kayvank/data-interval
Interval datatype, interval arithmetic, and interval-based containers for Haskell
kayvank/dotfiles
my nixos systems configurations files
kayvank/DSLsofMath
Domain-Specific Languages of Mathematics
kayvank/earthnode-registration-plutus-smart-contract
kayvank/hackage-server
Hackage-Server: A Haskell Package Repository
kayvank/halo2-scaffold
Basic scaffolding for setting up and writing a Halo2 ZK circuit
kayvank/halographs
Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"
kayvank/haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
kayvank/jambhala
Jambhala Cardano Development Suite
kayvank/kayvank
kayvank/LambdaHack
Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at
kayvank/marconi
kayvank/maze
generates maze using fgl and cario
kayvank/nix-config
kayvank/org-roam-notes
my Cardano-Api notes in emacs org-roam
kayvank/plt
Programming Language Theory λΠ
kayvank/plutarch
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
kayvank/plutus-apps
The Plutus application platform
kayvank/plutus-pioneer-program
kayvank/quickcheck-contractmodel
Adversary testing of your plutus contract
kayvank/rust-aiken-flake
A flake rust aiken toy project
kayvank/sc-tools
Select coins, build transactions
kayvank/zero2prod
rust toy application