fhackett

pixy-lang

Current work documents on the Pixy programming language

cpsc490

cpsc490 - A seminar on programming practice; workshops and materials

cylog

An experimental Datalog engine using the Cypher graph query language

azure-cosmos-tla

Azure Cosmos TLA+ specifications

genpersist

Make Python objects confluently persistent (time travel and accompanying paradoxes included)

autograder

An autograder for my computer science TA work

azurebench

dotty

Research compiler that will become Scala 3

fhackett.github.io

fib

the fibonacci only you would give me

flix-fi-example

Some proof of concept files for translating Grok scripts to Flix

format.py

gcl

go-ycsb

A Go port of Yahoo! Cloud Serving Benchmark (YCSB)

ironkv-client

ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.

jam0001

mojio-android-sdk

A client to the Mojio API

rego-cpp

A C++ interpreter for the OPA policy language Rego

rsampler

spl

towers

Trieste

A term rewriting system for experimental programming language development.

Tutorials

Programming (C++) Tutorials

vard-client

verdi-runtime

Verdi framework runtime library

verona-rt

The runtime for the Verona project

YCSB

Yahoo! Cloud Serving Benchmark