hpacheco Goto Github PK

bam-bam-boogieman

Boogie AST Manipulator

bomberup

Bomberman demo for MostraUP

boogaman

Boogie Manipulation Tool

clang-cfsan

Docker files for images with LLVM, clang and libcxx compiled with dataflow taint analysis (dfsan).

codeworld-api-gloss

Mappings from gloss to the codeworld api

codeworld-rosy

Educational robot programming environment using Haskell, based on CodeWorld (http://code.world)

debug

Haskell library for debugging

ghcjs-fetch

Haskell (GHCJS) bindings for the JavaScript Fetch API

gloss-juicy

Lets you load JuicyPixels pictures in your gloss apps

gloss-window

gloss-window

graphalyze

Graph-Theoretic Analysis library

hakyll

A static website compiler library in Haskell

hoed

Hoed - A Lightweight Haskell Tracer and Debugger

homplexity

Haskell code complexity and quality measurement

jasminv

Jasmin Verification Tools

jmacro

This is a fork of https://hub.darcs.net/gershomb/jmacro

juice-shop

OWASP Juice Shop: Probably the most modern and sophisticated insecure web application

juice-shop-demo

Demo for the Juice Shop Web Application

klee-taint

KLEE-TAINT - Klee with taint analysis support

klee-taint-ct

KLEE taint for constant-time

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.

progii

Repositório de suporte à cadeira de Programação II lecionada na FCUP

roshask

Haskell client library for the ROS robotics framework.

rosy

rosy

seed-labs

SEED Labs developed in the last 20 years.

ses

Segurança em Engenharia de Software

smpcompcert

Secure MultiParty CompCert

snap-extras

A collection of handler, splice and other primitive helpers that are commonly needed in web applications

snaplet-acid-state

sourcegraph

Static code analysis using graph-theoretic techniques