Kayvan Kazeminejad کیوان's repositories
aiken
Cardano Smart Contracts
aiken-mode
Emacs mode for https://github.com/aiken-lang/aiken
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
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
data-interval
Interval datatype, interval arithmetic, and interval-based containers for Haskell
dotfiles
my nixos systems configurations files
DSLsofMath
Domain-Specific Languages of Mathematics
halo2-scaffold
Basic scaffolding for setting up and writing a Halo2 ZK circuit
halographs
Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"
haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
jambhala
Jambhala Cardano Development Suite
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
ogmios
❇️ A WebSocket JSON/RPC bridge for Cardano
org-roam-notes
my Cardano-Api notes in emacs org-roam
plt
Programming Language Theory λΠ
plutarch
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
plutus-apps
The Plutus application platform
plutus-tools
make plutus tools great again
plutus-toys
play ground for plutus contracts
quickcheck-contractmodel
Adversary testing of your plutus contract
rust-aiken-flake
A flake rust aiken toy project
sc-tools
Select coins, build transactions