japesinator/Idris-Bifunctors
A small bifunctor library for idris
Developer Profile
japesinator
Discovered public repositories for japesinator in the GitHub catalog.
japesinator/firestr
Simple platform for distributed communication and computation.
japesinator/t3f
A website I'm making for the Teri Taseff Foundation
japesinator/elm.vim
Vim plugin for the Elm programming language
japesinator/vessel
A "tunnel" game written in Elm!
japesinator/particle-clicker
An addictive incremental game that teaches players the history of high energy particle physics
japesinator/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.
japesinator/tarts
Timing attack resistant type systems
japesinator/idris-vim
Idris mode for vim
japesinator/vim-IdrisConceal
Makes idris code look pretty in vim
japesinator/Bad-Crypto
A bunch of flawed encryption algorithms
japesinator/Tic-Tac-Toe.hs
tic-tac-toe in haskell
japesinator/trapifier.py
Makes audio awesome
japesinator/japesinator.github.io
It's a blog!
japesinator/Dotfiles
Files that start with a dot
japesinator/Project-Euler
Project Euler Stuff