Mark Petruska's repositories
uk-modulo-scala
A Scala implementation of the VocaLink UK Bank account number modulus checking.
APE
Parser for Attempto Controlled English (ACE)
uk-modulo-purescript
A PureScript implementation of the VocaLink UK Bank account number modulus checking.
ceph-js-s3-explorer
AWS JavaScript S3 Explorer is a JavaScript application that uses AWS's JavaScript SDK and S3 APIs to make the contents of an S3 bucket easy to browse via a web browser.
curve-contract
Vyper contracts used in Curve.fi exchange pools.
k
K Framework Tools 5.0
liquidhaskell
Liquid Types For Haskell
playframework
Play Framework
plutarch-template
Plutarch Template is a template project with a basic project structure, Nix-based development environment, and pre-configured tools for linting and formatting code. Use it as a starting point for building Plutus applications.
plutus-apps
The Plutus application platform
plutus-pioneer-program
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
slick
Scala Language Integrated Connection Kit
smart-handles
Smart contract routing for handles.
switchboard
Control yout computer via terminal based switches
wttr.in
:partly_sunny: The right way to check the weather
xGov
Algorand xGov Proposals Submission