iblumenfeld Goto Github PK

blaircode

Some coding exercises for Blair

coffeebot

control-flow-integrity

Information Assurance Directorate (IAD) guidance and research for Control Flow Integrity. iadgov

corn

Coq Repository at Nijmegen

crucible

Crucible is a library for symbolic simulation of imperative programs

cryptol

Cryptol: The Language of Cryptography

curve25519-donna

Implementations of a fast Elliptic-curve Diffie-Hellman primitive

dreal3

New version of the dReal solver. More info at

ha-post-quantum

haxl

A Haskell library that simplifies access to remote data, such as databases or web-based services.

hott

Homotopy type theory

idris-ct

formally verified category theory library

latex-homework-class

A class for homework assignments written in LaTeX.

libcpu

"libcpu" is an open source library that emulates several CPU architectures

libntru

C Implementation of NTRUEncrypt

llvm-verifier

The LLVM Symbolic Simulator, part of SAW.

math-classes

A library of abstract interfaces for mathematical structures in Coq.

mcsema

x86 to machine code translation framework

metalua

The metalua programming language

ntru-crypto

Open Source NTRU Public Key Cryptography and Reference Code

polarssl

A portable, easy to use, readable and flexible SSL library (dual-licensed, with FOSS exceptions)

reveal.js

The HTML Presentation Framework

saw-core

The SAW core language.

saw-script

The SAW scripting language.

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

story

Experimental Story Planner

typedlua

An Optional Type System for Lua