Pinned Repositories
bam-bam-boogieman
Boogie AST Manipulator
boogaman
Boogie Manipulation Tool
codeworld-api-gloss
Mappings from gloss to the codeworld api
gloss-juicy
Lets you load JuicyPixels pictures in your gloss apps
Graphalyze
Graph-Theoretic Analysis library
jasminv
Jasmin Verification Tools
progii
Repositório de suporte à cadeira de Programação II lecionada na FCUP
rosy
rosy
ses
Segurança em Engenharia de Software
SourceGraph
Static code analysis using graph-theoretic techniques
hpacheco's Repositories
hpacheco/gloss-juicy
Lets you load JuicyPixels pictures in your gloss apps
hpacheco/ses
Segurança em Engenharia de Software
hpacheco/jasminv
Jasmin Verification Tools
hpacheco/progii
Repositório de suporte à cadeira de Programação II lecionada na FCUP
hpacheco/Graphalyze
Graph-Theoretic Analysis library
hpacheco/rosy
rosy
hpacheco/SourceGraph
Static code analysis using graph-theoretic techniques
hpacheco/bam-bam-boogieman
Boogie AST Manipulator
hpacheco/boogaman
Boogie Manipulation Tool
hpacheco/codeworld-api-gloss
Mappings from gloss to the codeworld api
hpacheco/codeworld-rosy
Educational robot programming environment using Haskell, based on CodeWorld (http://code.world)
hpacheco/debug
Haskell library for debugging
hpacheco/ghcjs-fetch
Haskell (GHCJS) bindings for the JavaScript Fetch API
hpacheco/gloss-window
gloss-window
hpacheco/hakyll
A static website compiler library in Haskell
hpacheco/Hoed
Hoed - A Lightweight Haskell Tracer and Debugger
hpacheco/homplexity
Haskell code complexity and quality measurement
hpacheco/jmacro
This is a fork of https://hub.darcs.net/gershomb/jmacro
hpacheco/juice-shop
OWASP Juice Shop: Probably the most modern and sophisticated insecure web application
hpacheco/juice-shop-demo
Demo for the Juice Shop Web Application
hpacheco/klee-taint
KLEE-TAINT - Klee with taint analysis support
hpacheco/klee-taint-ct
KLEE taint for constant-time
hpacheco/mutillidae
OWASP Mutillidae II is a free, open-source, deliberately vulnerable web application providing a target for web-security training. Mutillidae can be installed on Linux and Windows using LAMP, WAMP, and XAMMP. It is pre-installed on SamuraiWTF and OWASP BWA. The existing version can be updated on these platforms. With dozens of vulnerabilities and hints to help the user; this is an easy-to-use web hacking environment designed for labs, security enthusiast, classrooms, CTF, and vulnerability assessment tool targets. Mutillidae has been used in graduate security courses, corporate web sec training courses, and as an "assess the assessor" target for vulnerability assessment software. A containerized version of the application is available as a companion project.
hpacheco/roshask
Haskell client library for the ROS robotics framework.
hpacheco/seed-labs
SEED Labs developed in the last 20 years.
hpacheco/SMPCompCert
Secure MultiParty CompCert
hpacheco/snap-extras
A collection of handler, splice and other primitive helpers that are commonly needed in web applications
hpacheco/snaplet-acid-state
hpacheco/stdlib
SecreC Standard Library
hpacheco/vm_m4
Sharemind Virtual Machine m4 instruction definitions