telegram source code free download - SourceForge

Showing 1 open source project for "telegram source code"

View related business solutions

Integrated Development Environments (IDE) Scala Clear Filters & Widen Search

All-in-One Mental Health EHR
Simplify your systems. Strengthen your cash flow. Start fresh with Ensora Health

Ensora Health’s Mental Health EHR is designed for mental health professionals, therapists, and practice managers looking for a secure, user-friendly solution to streamline administrative tasks and improve efficiency in their practice management

Learn More
Wiz: #1 Cloud Security Software for Modern Cloud Protection
Protect Everything You Build and Run in the Cloud

Use the Wiz Cloud Security Platform to build faster in the cloud, enabling security, dev and devops to work together in a self-service model built for the scale and speed of your cloud development.

Learn More
1

Isabelle/Eclipse

Eclipse integration for Isabelle proof assistant

...The integration uses common Eclipse components to provide theory editing, correct symbols, completion assistance, prover output and other features. By building on Eclipse it inherits various IDE goodies out of the box. This SourceForge project is used to distribute Isabelle/Eclipse files - the source code and issue management is available on GitHub: http://github.com/andriusvelykis/isabelle-eclipse Visit Isabelle/Eclipse website at http://andriusvelykis.github.com/isabelle-eclipse

1 Review

Downloads: 0 This Week

Last Update: 2013-05-27
See Project

Previous
You're on page 1
Next