Search Results for "non-free"

NOTE: This project is marked with 'Status: Abandoned' on SourceForge because not enough time can be dedicated to this project. However it may still get sporadic commits to the repository. eCxx is a library for AVR and NodeMCU tailored for micro LED displays and lighting effects. eCxx is utilizing Makefile build system. Java and Python based applications/tools are also included to ease the development and debugging process using the host PC. On one side, eCxx supports the original...

...Dynamic proxying by using Clojure / Java / Groovy to write a simple nginx rewrite handler to set var or return errors before a proxy pass or content ring handler. The non-blocking coroutine-based socket is Compatible with Java Socket API and works well with largely existing java libraries such as apache HTTP client, mysql jdbc drivers. With this feature, one java main thread can handle thousands of connections. Handle multiple sockets parallel in sub coroutines.

...This new version allows to delete files, rename files, delete directories, rename directories, and view text files when the file extension is : txt, xml, htm, html, xsl, xslt, text, ascii, ini, asp, aspx, java, kt, cs, js, jsp, php, bat, css, csv, kml, svg (feel free to ask for more file extensions, that should be a setting in the application in the future). The application starts browsing from the internal storage of the Android device ("/storage/emulated/0") so you can browse your data file (pictures, alarms, documents, downloads, movies, music, ringtones...). This version also allows you to view the first 1024 bytes of any clicked file in hex format if it is not a text file.

PerLa project aims at defining a full declarative high level language that allows to query a pervasive system, hiding the difficulties related to the need of handling different technologies.

JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,...

AndroidCam is an Android App which provides the ability to turn a mobile device into an intervalometer for collecting time-lapse images. Image capture can be triggered using time based scheduling or in response to data thresholds monitored by the app (e.g. temperature, location, windspeed, etc) Data collection is performed via IOIO connection and the new ADK. Remote synchronization upload of images can be scheduled and performed via SCP.