Lists (2)
Stars
Server supporting the Signal Private Messenger applications on Android, Desktop, and iOS
Digital logic design tool and simulator
A digital logic designer and circuit simulator.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
A p2p, secure file storage, social network and application protocol
📡 ☁️ 🎶Airsonic, a Free and Open Source community driven media server (fork of Subsonic and Libresonic)
Register and receive push notifications
The official plugin for Facebook in Apache Cordova/PhoneGap
Decentralized private messenger with chat-shared tools and games for Android
Crosswalk WebView Cordova Plugin (UNMAINTAINED)
📅 Cordova plugin to Create, Change, Delete and Find Events in the native Calendar
Use the latest Facebook SDK in your Cordova and Ionic projects
Create custom vector tiles from OpenStreetMap and other data sources with Postgis and Java.
Native transitions like Slide and Flip for iOS, Android and Windows Phone
Moved to https://github.com/tobrun/flutter-mapbox-gl
ArcaneChat for Android: ⚡ Fast encrypted chats for the family
DEPRECATED - Crosswalk-based Cordova Android
A reverse-engineered implementation of the Chirp data-over-audio protocol.
Finding people to cooperate with. Protocol, not platform. Decentralized. Linked Data. Open Source.
Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees (Java Prototype)
Java port of Matthijs van Duin's implementation of Daniel J Bernstein's Curve25519.
A semantic and technical analysis of musical scores based on Information Retrieval Principles