Pinned Repositories
autograder
An autograder for my computer science TA work
azure-cosmos-tla
Azure Cosmos TLA+ specifications
azurebench
cpsc490
cpsc490 - A seminar on programming practice; workshops and materials
cylog
An experimental Datalog engine using the Cypher graph query language
dotty
Research compiler that will become Scala 3
fhackett.github.io
fib
the fibonacci only you would give me
genpersist
Make Python objects confluently persistent (time travel and accompanying paradoxes included)
pixy-lang
Current work documents on the Pixy programming language
fhackett's Repositories
fhackett/pixy-lang
Current work documents on the Pixy programming language
fhackett/cpsc490
cpsc490 - A seminar on programming practice; workshops and materials
fhackett/cylog
An experimental Datalog engine using the Cypher graph query language
fhackett/azure-cosmos-tla
Azure Cosmos TLA+ specifications
fhackett/genpersist
Make Python objects confluently persistent (time travel and accompanying paradoxes included)
fhackett/autograder
An autograder for my computer science TA work
fhackett/azurebench
fhackett/dotty
Research compiler that will become Scala 3
fhackett/fhackett.github.io
fhackett/fib
the fibonacci only you would give me
fhackett/flix-fi-example
Some proof of concept files for translating Grok scripts to Flix
fhackett/format.py
fhackett/gcl
fhackett/go-ycsb
A Go port of Yahoo! Cloud Serving Benchmark (YCSB)
fhackett/ironkv-client
fhackett/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.
fhackett/jam0001
fhackett/mojio-android-sdk
A client to the Mojio API
fhackett/rego-cpp
A C++ interpreter for the OPA policy language Rego
fhackett/rsampler
fhackett/spl
fhackett/towers
fhackett/Trieste
A term rewriting system for experimental programming language development.
fhackett/Tutorials
Programming (C++) Tutorials
fhackett/vard-client
fhackett/verdi-runtime
Verdi framework runtime library
fhackett/verona-rt
The runtime for the Verona project
fhackett/YCSB
Yahoo! Cloud Serving Benchmark