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