songyahui

AlgebraicEffect

effects system for continuation

EFFECTS

Tvide: an Automated Temporal Verification tool of Integrated Dependent Effects

FirstOrderEffect

Program analysis of first order effects

infer_TempFix

ProveNFix is a program analysis/repair tool for temporal properties for C language.

Semantics_HIPHOP

SyncedEffects

Timed_Verification

AutoHyper

copying from AutoHyper

DataLogTemp

Automated temporal repair project within Datalog

effects-examples

Examples to illustrate the use of algebraic effects in Multicore OCaml

Elm_TempVerify

HABIT

Langugae Abstraction for Micro:Bit

HiphopVerification

hipsleek

IncorrectOOP

JS_Promise

linux

Linux kernel source tree

mimalloc

mimalloc is a compact general purpose allocator with excellent performance.

nusthesis

A LaTeX template for thesis of the National University of Singapore (NUS)

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-multicore_effects

Multicore OCaml

php-src

The PHP Interpreter

ProbEffect

Effects Logic for Probabilistic temporal verification

SSID

Student Submission Integrity Diagnosis

theory-02-examples

Examples for the Theory 2 assignment

ThinkPython2

LaTeX source and supporting code for Think Python, 2nd edition, by Allen Downey.

TimedVerification

Verified-rust-compiler-in-Iris

Verified-rust-compiler-in-Iris

VerifySyncAsync

Verification of mixed Synchronous and Asynchronous Programs

ZIO

some examples for ZIO lib