mpetruska Goto Github PK

ak-lambda

Akka & Kafka lambda architecture demonstrator

ape

Parser for Attempto Controlled English (ACE)

blog

... about software engineering

cakebot

Hubot for flowdock

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.

cv

Curriculum vitae of Mark Petruska

datasciencecoursera

datasharing

The Leek group guide to data sharing

design-patterns

direct-order-contracts

dotfiles

formulus

Share your calculations

graypaper-website

JAM Graypaper Website

ihp-blog

introduction-to-coq

k

K Framework Tools 5.0

learn-analog-clock

An analog clock learning game for my daughter.

lift

...Do you even? Exercise in exercise analysis

linear-vesting

liquidhaskell

Liquid Types For Haskell

milo

Experimental POC computation engine for real-time query processing

mpetruska.github.io

mpetruska.github.io site

ocaml-raspberry

one-lensing

A data abstraction mini-library

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.

programmingassignment2

Repository for Programming Assignment 2 for R Programming on Coursera