Skip to content Sign up Sign in </textarea> '"` This repository Explore Features Enterprise Pricing Watch 39 Star 153 Fork 10 GaloisInc / ivory Code Issues Pull requests Pulse Graphs HTTPS Subversion You can clone with </textarea> '"` HTTPS or </textarea> '"` Subversion . Download ZIP The Ivory EDSL http://ivorylang.org 1,206 commits 32 branches 1 release 11 contributors Haskell 64.9% TeX 21.6% Isabelle 10.6% C 2.4% Makefile 0.3% Objective-C 0.2% Haskell TeX Isabelle C Makefile Objective-C Branch: master Switch branches/tags Branches Tags TH-happy TH-statements arrPtrs artifacts backout-qc-mod cast-bug cast-inits-exprs ...