Pinned Repositories
checkedc-lua
This repository contains a mirror of the Lua interpreter. Various branches contain attempted ports of the Lua source to Checked C.
CompCert
The CompCert formally-verified C compiler
ppa
Principles of Program Analysis (Nielson, Nielson, Hankin)
sym-stack
Symbolic Execution of Stack Machine
sym-while
Symbolic Execution of `while` language
Isweet's Repositories
Isweet/checkedc-lua
This repository contains a mirror of the Lua interpreter. Various branches contain attempted ports of the Lua source to Checked C.
Isweet/sym-while
Symbolic Execution of `while` language
Isweet/CompCert
The CompCert formally-verified C compiler
Isweet/allyn
A language for educational purposes.
Isweet/aoc-rust
Isweet/checkedc
Checked C is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. This repo has a wiki for Checked C, sample code, the specification, and test code.
Isweet/cryptol
Cryptol: The Language of Cryptography
Isweet/dhall-lang
Maintainable configuration files
Isweet/dotfiles
My personal dotfiles.
Isweet/emp-ot
Oblivious Transfer, Oblivious Transfer Extension and Variations
Isweet/emp-sh2pc
Semi-honest Two Party Computation Based on Garbled Circuits.
Isweet/emp-tool
Isweet/FStar
Verification system for effectful programs
Isweet/graduality-and-parametricity
A Redex model of http://www.ccs.neu.edu/home/amal/papers/gradparam.pdf
Isweet/haskell-mpc
Playing around with a little DSL for MPC in Haskell.
Isweet/heir
Standard MLIR dialects for homomorphic encryption
Isweet/jitterbug
Isweet/k-editor-support
Plugin files for editing K files
Isweet/lam-nondet
Evaluation semantics for non-deterministic lambda calculus w/ booleans
Isweet/learn-programming-languages
Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
Isweet/metatheory-sed
David Darais' sed files for compiling unicode markup into LaTeX for PL metatheory.
Isweet/MOTION
An efficient, user-friendly, modular, and extensible framework for mixed-protocol secure multi-party computation with two or more parties
Isweet/plfa.github.io
Introduction to programming language theory in Agda
Isweet/proposal
Isweet/swanky
A suite of rust libraries for secure multi-party computation
Isweet/swanky-examples
Isweet/symphony-mpc
A C wrapper around EMP. Useful for writing FFI bindings.
Isweet/symphony-runtime
Isweet/symphony-spdz
Versatile framework for multi-party computation
Isweet/verified-matching
Verified implementations of Z exact string matching algorithm.