japesinator Goto Github PK

bad-crypto

A bunch of flawed encryption algorithms

bary

The worst reversi bot ever

berlinblockchainweek

Website for Berlin Blockchain Week 2018

broadhead

Arrow-based parser combinators

chari.co

wabsyte

cmhaskell

C-Minus compiler written in haskell

commercialhaskell

A special interest group for companies and individuals interested in commercial usage of Haskell

complex

Messing around with complex numbers in idris

constraints-emerge

📤 defer instance resolution until runtime

coursera-machine-learning

code for Andrew Ng's coursera

csaw-ctf-2017-quals

Repo for CSAW CTF 2018 Quals challenges

ctfd

CTFs as you need them

dapptools

Dapp, Seth, Hevm, and more

dotfiles

Files that start with a dot

elm.vim

Vim plugin for the Elm programming language

equanimity3000

Evolved QUantum Adversarial Neural Incrypted Messages In The Year 3000

eve-api

API for a simulated smart home

firestr

Simple platform for distributed communication and computation.

funfacts.js

For when javascript's error messages are just way too helpful

gucci

HackIllinois 2k15

hackman

The idea is to create a game to teach users about security and penetration testing. I started thinking about how being a hardcore gamer turned me into a hacker. For example, let’s take a look at a game called MegaMan; once you encountered a boss, you had to “fuzz” bosses with different weapons to figure out what the boss was vulnerable to. At first, you approach the boss passively to see what the boss can do. Once you understand how the boss interacts with your character, you start firing different weapons to determine what will potentially own the boss. Web application security is no different. You must understand how the web application (boss) is interacting with your browser (character) and begin fuzzing the web application in order to determine what it’s vulnerable to. Imagine a two dimensional side scroller except it teaches the player about security and penetration testing.

hello-world

Hello world in every programming language. Thanks to everyone who contributes to this, I merge all pull requests!

idris-bifunctors

A small bifunctor library for idris

idris-dev

A Dependently Typed Functional Programming Language

idris-lens

idris-profunctors

A small profunctor library for idris

idris-vim

Idris mode for vim

isusec-logo

The logo for isusec

japesinator.github.io

It's a blog!

lockpicks_with_holes