A Rust macro to make enums with a subset of values of the parent

a repository for research stuff

A small extensible programming language designed for concise expression with little code.

A Tiny Linux-Compatible Kernel

A Github action for building Whiley repositories.

Awesome & interesting talks about programming

Collection of SCJ related documents

The HVM SCJ implementation

The start page about my efforts around smart contract verification

Import of the Debit FPGA project in case we want to muck with it

Manage and run multiple synchroned AFL fuzzers on the AWS cloud

Formally verified algorithms.

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

Adds static typing to JavaScript to improve developer productivity and code quality.

An asynchronous JavaScript interpreter for the Grace programming language

RProf Profiler (PhD Research Tool)

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

An API for data parallelism in JavaScript

Java Compiler Kit (JKit)

PL Semantics Tool

Benchmark Suite for Whiley

The Whiley Compiler (WyC)