Pinned Repositories
ak-lambda
Akka & Kafka lambda architecture demonstrator
APE
Parser for Attempto Controlled English (ACE)
blog
... about software engineering
cakebot
Hubot for flowdock
formulus
Share your calculations
learn-analog-clock
An analog clock learning game for my daughter.
one-lensing
A data abstraction mini-library
spark
Mirror of Apache Spark
uk-modulo-purescript
A PureScript implementation of the VocaLink UK Bank account number modulus checking.
uk-modulo-scala
A Scala implementation of the VocaLink UK Bank account number modulus checking.
mpetruska's Repositories
mpetruska/uk-modulo-scala
A Scala implementation of the VocaLink UK Bank account number modulus checking.
mpetruska/APE
Parser for Attempto Controlled English (ACE)
mpetruska/formulus
Share your calculations
mpetruska/uk-modulo-purescript
A PureScript implementation of the VocaLink UK Bank account number modulus checking.
mpetruska/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.
mpetruska/curve-contract
Vyper contracts used in Curve.fi exchange pools.
mpetruska/cv
Curriculum vitae of Mark Petruska
mpetruska/design-patterns
mpetruska/direct-order-contracts
mpetruska/dotfiles
mpetruska/graypaper-website
JAM Graypaper Website
mpetruska/ihp-blog
mpetruska/introduction-to-coq
mpetruska/k
K Framework Tools 5.0
mpetruska/linear-vesting
mpetruska/liquidhaskell
Liquid Types For Haskell
mpetruska/playframework
Play Framework
mpetruska/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.
mpetruska/plutus-apps
The Plutus application platform
mpetruska/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.
mpetruska/scala
The Scala programming language
mpetruska/single-asset-staking
mpetruska/siofoki-allatmenhely-pets
mpetruska/slick
Scala Language Integrated Connection Kit
mpetruska/smart-handles
Smart contract routing for handles.
mpetruska/switchboard
Control yout computer via terminal based switches
mpetruska/uk-modulo-coq
mpetruska/wttr.in
:partly_sunny: The right way to check the weather
mpetruska/xGov
Algorand xGov Proposals Submission
mpetruska/xgovw