gramosg/turing-web
Turing machine simulator
Developer Profile
gramosg
Discovered public repositories for gramosg in the GitHub catalog.
gramosg/charm
Charm: A Framework for Rapidly Prototyping Cryptosystems
gramosg/idris-koans
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
gramosg/witch
Writing Inspired by TwitchPlaysPokemon Certainly Helps (W.I.T.C.H.)
gramosg/reval
Remote (Clojure) code evaluation
gramosg/gramos-exheres
Public repository.
gramosg/mjolnir
Simple and portable shredder (secure file eraser)
gramosg/a3e
ARMv7 emulator
gramosg/evspy
Linux module - event based keylogger