ilyasergey

pnp

Lecture notes for a short course on proving/programming in Coq via SSReflect.

scilla-demo

Scilla Examples and Exercises

YSC2229

Introductory Data Structures and Algorithms

scilla-benchmarks

Benchmarking suite for testing the performance of Scilla against EVM

funind

htt

Hoare Type Theory

uplcg

Untitled PL Card Game

AdaptiveFuzz

Adaptive Fuzz Language

al-folio

A beautiful, simple, clean, and responsive Jekyll theme for academics

cdf-program-logics

Companion Coq development for Xavier Leroy's 2021 lectures on program logics

CSrankings

A web app for ranking computer science departments according to their research output in selective venues.

fcf

Foundational Cryptography Framework for machine-checked proofs of cryptography.

fiat

Mostly Automated Synthesis of Correct-by-Construction Programs

GCTransformations

Certified implementation of a parametrized framework for concurrent garbage collectors

github-wiki-notify

Convert changes to a Github wiki into email notifications

gitignore

A collection of useful .gitignore templates

imdea-papers

intellij-community

IntelliJ IDEA Community Edition

logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

MAIAN

MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts

mypyvy

A language for symbolic transitions system, inspired by Ivy.

MysteryLanguages

Mystery Languages for Programming Languages, compiled for Racket 6.11

qeditas-ledgertheory

Coq development of a theory of lightweight cryptographic ledgers

rabia

Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)

reference

The Clarity Reference

rpiterm

Simple Raspberry Pi system temperature reporter for Prometheus.

srepls6

S-REPLS 6 website

sui

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

tla

My TLA+ learnings

x86Lite-simulator