Search Results for "research"
Sort By:
Showing 46 open source projects for "research"
View related business solutions-
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
1
RStudio
RStudio is an integrated development environment (IDE) for R
...The IDE is cross-platform: there are desktop versions for Windows, macOS and Linux, as well as a server version for remote or multi-user deployment via a web browser. In addition to code editing and execution, RStudio offers extensive support for reproducible research via R Markdown, notebooks, and integration with version control systems like Git and SVN. Package development is built in, with tooling for building, checking, and testing R packages, plus integration with documentation tools, CRAN submission workflows, and project templates. -
2
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
-
3
Symja Java Computer Algebra
Symja - Java computer algebra language & symbolic math library
Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example -
4
The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
X10
Performance and Productivity at Scale
X10 is a class-based, strongly-typed, garbage-collected, object-oriented language. To support concurrency and distribution, X10 uses the Asynchronous Partitioned Global Address Space programming model (APGAS). This model introduces two key concepts -- places and asynchronous tasks -- and a few mechanisms for coordination. With these, APGAS can express both regular and irregular parallelism, message-passing-style and active-message-style computations, fork-join and bulk-synchronous... -
6
-
7
Xtraitj
Pure Trait-based Programming on the Java Platform
Xtraitj is a programming language for pure trait-based programming. It is completely compatible and interoperable with the JAVA platform without reducing the flexibility of traits. Xtraitj is integrated in Eclipse (editor with all the standard tooling) and JDT. It is implemented in Xtext, relying also on Xbase. -
8
Ptolemy is an extension of Java whose goal are to enable separation of crosscutting concerns, while retaining our ability to understand separated concerns modularly. It balances modularity and expressiveness for aspect-oriented software development.
-
9
Integrated Development Environment Frameworks based on Internet and eXtensible technologies. The goal is to research in the development of interactive environments that facilitate distance programming and distance learning of programming languages.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
10
The Maude Development Tools are a set of plugins that embed the maude interpreter (http://maude.cs.uiuc.edu) in Eclipse. It provides a core plugin, which allows to any Java program to use Maude, and a set of plugins which provide an Eclipse-based IDE
-
11
Human AI Net
a Human and Artificial Intelligence Network
...Version 0.8.0 has some advanced components that will be working soon. The plan is a massively multiplayer space where we design, evolve, and play with game objects and do AI research together which controls those game objects along with directly playing the games. The main data format is, from xorlisp which is also in progress, immutable binary forest nodes, so if millions of people build that together nobody can damage or change anyone else's data since its all constant. You dont change variables. You create new data that points at existing constant data, as deep as you need it. ... -
12
-
13
The new XVR Developer Studio is based on Eclipse. It allows to create and manage XVR projects, to author s3d and glsl code, to compile, debug and execute scripts in an HTML page. Currently only for Windows user. It needs an installed JRE >= 1.6
-
14
JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.
-
15
Texlipse is a plugin that adds Latex editing support for the popular Eclipse Java IDE. Key features include: syntax highlight, command completion, bibliography completion, outline navigation and automatic building.
-
16
This project has been moved to github: https://ragnaroek.github.io/dandelion/ https://github.com/Ragnaroek/dandelion
-
17
Isabelle/Eclipse
Eclipse integration for Isabelle proof assistant
Eclipse plug-ins that provide Prover IDE for Isabelle proof assistant, based on Isabelle/Scala framework. Isabelle/Eclipse started as a port of Isabelle/jEdit Prover IDE to integrate with Eclipse IDE as plug-ins. 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... -
18
-
19
KnowWE
KnowWE has moved, please see http://d3web.sourceforge.net
This project has moved to http://d3web.sourceforge.net. All information about d3web-KnowWE can be found there and on www.d3web.de -
20
Using encryption to secure your code or text. Click File->Run to run your code using Ruby, see the pop up for output. Never save your text or code to disk unencrypted. Don't forget your password. Encryption is error-persistent.
-
21
Palamedes is a plugin that enables users to use Eclipse for Game Description Language (GDL) development, making Eclipse a first class GDL IDE. It comes with many goodies such as syntax highlighting, knowledge base analysis, debug and many other.
-
22
The MML Framework is a temporal-spatial biological model representation language. The MML Project provides the application tool set which facilitates the goals of representing biological models using the MML specifications.
-
23
The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.
-
24
WSMO Studio is a Semantic Web Service and Semantic Business Process modelling environment based on the Web Services Modelling Ontology (WSMO). WSMO Studio is available as a set of Eclipse plug-ins that can be extended and customised by 3rd parties.
-
25
ASNEditor provides an Eclipse 3 editor plugin for ASN.1 (Abstract Syntax Notation One) files. It presents a dump view for ASN.1 BER encoded messages, an outline page, syntax highlighting, compare view, content assist, goto declaration, bracket matching..
