Pinned Repositories
advanced_compilers_project_tests0
ckanren
A straightforward transcription of https://www.schemeworkshop.org/2011/slides/Alvis2011.pdf into Racket
curd-1
A tool for visualizing and modifying curricula
gift-exchange
A simple program to shuffle names for a gift exchange
git-demo
hermes
hermes uses your cloud storage to synchronize your mp3 files across any number of computers. Once all computers have a local copy of file, hermes removes it, thereby freeing your storage space.
Pedagogy
Teaching materials
RSA
Homemade RSA implementation
smali
Fork of https://github.com/JesusFreke/smali
peteraldous's Repositories
peteraldous/smali
Fork of https://github.com/JesusFreke/smali
peteraldous/Pedagogy
Teaching materials
peteraldous/RSA
Homemade RSA implementation
peteraldous/advanced_compilers_project_tests0
peteraldous/gift-exchange
A simple program to shuffle names for a gift exchange
peteraldous/hermes
hermes uses your cloud storage to synchronize your mp3 files across any number of computers. Once all computers have a local copy of file, hermes removes it, thereby freeing your storage space.
peteraldous/id3-py
Fork of id3-py
peteraldous/implicit-flows
A prototype demonstrating dynamic taint tracking of implicit information flows in an abstract interpreter.
peteraldous/lore
a rewrite of implicit flows with MOAR FEATURES
peteraldous/peteraldous.github.io
peteraldous/RingTunes
A prototype app that enables the selection of songs as ringtones
peteraldous/scala-parser-combinators
simple combinator-based parsing for Scala. formerly part of the Scala standard library, now a separate community-maintained module
peteraldous/scala-parser-combinators-nonfork
A fork of scala-parser-combinators for pull requests
peteraldous/Simple-Music-Player
A clean music player with a customizable widget, stylish interface and no ads.
peteraldous/typeshed
Collection of library stubs for Python, with static types
peteraldous/wild-magic-bard
Support code for the wild magic bard custom subclass for Dungeons and Dragons 5e