isweet Goto Github PK
Name: Ian Sweet
Type: User
Location: College Park, MD
Name: Ian Sweet
Type: User
Location: College Park, MD
A language for educational purposes.
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.
This repository contains a mirror of the Lua interpreter. Various branches contain attempted ports of the Lua source to Checked C.
The CompCert formally-verified C compiler
Cryptol: The Language of Cryptography
Maintainable configuration files
My personal dotfiles.
Oblivious Transfer, Oblivious Transfer Extension and Variations
Semi-honest Two Party Computation Based on Garbled Circuits.
Project Euler solutions
Verification system for effectful programs
A Redex model of http://www.ccs.neu.edu/home/amal/papers/gradparam.pdf
Playing around with a little DSL for MPC in Haskell.
Standard MLIR dialects for homomorphic encryption
Plugin files for editing K files
Evaluation semantics for non-deterministic lambda calculus w/ booleans
Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
David Darais' sed files for compiling unicode markup into LaTeX for PL metatheory.
An efficient, user-friendly, modular, and extensible framework for mixed-protocol secure multi-party computation with two or more parties
Introduction to programming language theory in Agda
Principles of Program Analysis (Nielson, Nielson, Hankin)
A suite of rust libraries for secure multi-party computation
Symbolic Execution of Stack Machine
Symbolic Execution of `while` language
A C wrapper around EMP. Useful for writing FFI bindings.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.