Coder Social home page Coder Social logo

Ian Sweet's Projects

allyn icon allyn

A language for educational purposes.

checkedc icon 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.

checkedc-lua icon checkedc-lua

This repository contains a mirror of the Lua interpreter. Various branches contain attempted ports of the Lua source to Checked C.

compcert icon compcert

The CompCert formally-verified C compiler

cryptol icon cryptol

Cryptol: The Language of Cryptography

emp-ot icon emp-ot

Oblivious Transfer, Oblivious Transfer Extension and Variations

emp-sh2pc icon emp-sh2pc

Semi-honest Two Party Computation Based on Garbled Circuits.

fstar icon fstar

Verification system for effectful programs

haskell-mpc icon haskell-mpc

Playing around with a little DSL for MPC in Haskell.

heir icon heir

Standard MLIR dialects for homomorphic encryption

lam-nondet icon lam-nondet

Evaluation semantics for non-deterministic lambda calculus w/ booleans

metatheory-sed icon metatheory-sed

David Darais' sed files for compiling unicode markup into LaTeX for PL metatheory.

motion icon motion

An efficient, user-friendly, modular, and extensible framework for mixed-protocol secure multi-party computation with two or more parties

ppa icon ppa

Principles of Program Analysis (Nielson, Nielson, Hankin)

swanky icon swanky

A suite of rust libraries for secure multi-party computation

symphony-mpc icon symphony-mpc

A C wrapper around EMP. Useful for writing FFI bindings.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.