Danilo Domínguez Pérez's repositories
latextools
Latex tools for grammar check.
VhostCreator
Apache Virtual Host Creator
soottutorial
Soot Tutorial
Theora-CCK-Formatter
Is a formatter to CCK filefield. It uses the API from browsers that support Ogg.
641andersen
Implementation of the Andersen's PointsTo Analysis Algorithm
android-platforms
A collection of all android.jar files for the different platform versions.
ConnectivityCollector
Collects connectivity changes in your Android device. SQLite database can be export to public directory
dotty
Research platform for new language concepts and compiler technologies for Scala.
genericprogbook
Examples found in From Mathematics to Generic Programming
groovy_discretemath
Discrete Math Practice with Groovy
hw5_641coms
HW 5 - 641 COM s
kladoi-compiler
Compiler for Kladoi (small programming language)
maildroid
:tada: Maildroid is a small robust android library for sending emails using SMTP server :tada:
mtheme
A modern LaTeX Beamer theme
RERAN
RERAN - Record and Replay for Android
scheme-compiler
Compiler for scheme programming language
simplenote-android
Simplenote for Android
soot
Soot - A Java optimization framework
soot-infoflow
Data flow tracking components for Java
technews
Tech News Reader
tornado
Tornado is an open source version of the scalable, non-blocking web server and tools that power FriendFeed.
verdi
A framework for formally verifying distributed systems implementations in Coq
WordPress-Android
WordPress for Android