Search Results for "complete website source code"

Sort By:

Showing 1 open source project for "complete website source code"

View related business solutions

Software Development Scala Clear Filters & Widen Search

Create a personalized AI chatbot for each team in minutes
Get better, faster answers for your whole team with an AI chatbot trained on your company documents.

QueryPal is the lifeline your team needs. Our AI chatbot integrates seamlessly with your communication channels, using advanced language understanding to identify and auto-answer repetitive questions — in seconds.

Learn More
Boon: The Agile Referral Hiring Platform
Tap your entire community to hire better talent, faster

Boon's agile referral platform expands your recruiting power  through AI, automation, integrations, and gamification.

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