194 Open source projects that are alternatives of or similar to ITSTools

Compile-time Swift dependency injection annotations

Different TLA+ specifications, mostly for learning purposes

A symbolic model checker for Dynamic Epistemic Logic.

The ThingML modelling language

Virtual Satellite Core - Baseline Framework and IDE Tools

Server control panel

基于WebDriver的WebUI自动化测试框架

An OpenAPI round-trip tool that leverages model-driven techniques to create, visualize, manage, and generate OpenAPI definitions.

JCrypTool Crypto Plug-ins

A Java BDD Testing Framework (based on RSpec and Ginkgo)

Eclipse For Bazel (deprecated, see https://github.com/salesforce/bazel-eclipse instead)

Tomcat plugin for Eclipse

An eclipse add-on which extens the context menu for accessing various tools.

bl_mcu_sdk is MCU software development kit provided by Bouffalo Lab Team for BL602/BL604, BL702/BL704/BL706, BL616/BL618, BL808 and other series of RISC-V based chips in the future.

An example Android app using MQTT protocol

🏫 🎓 一个未使用框架的学生信息管理系统 : 项目概述全面，代码注释详细,逻辑结构清晰，非常适合作为初学 Java web 的同学的第一个练手项目啦 ~

🧛🏻‍♂️ Dark theme for Eclipse

Yet another repo for the baxter collaboration task.

The Git repository for the mCRL2 toolset.

TextMate support in Eclipse IDE

Eclox is a simple doxygen frontend plug-in for eclipse. It aims to provide a slim and sleek integration of the code documentation process into Eclipse.

Eclipse library project based on google-play-services-base AAR releases.

Sample and tutorial to help you get started with a Java EE app, REST API and a database.

Experimental Smart Contracts In Plutus.

A uml profile and a set of acceleo code generators to model smart contracts in uml and generate solidity code.

PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL

Gelöschte Artikel, Slices und Kategorien wiederherstellen

Transformation cartridges for generating Symfony bundles from ModuleStudio models.

Heuristics Miner in R and integrated with the bupaR framework.

Eclipse library project based on Android support-v4 AAR releases.

A tool to generate UML class diagrams from JSON schema documents

adoptium.net

Client-side automatic layout for the Sprotty diagramming framework

Gradle build system plugin used to automate the setup of a minecraft mod development environment.

eclipse-pmd has been moved to

Language Client/Server Toolkit

yet another code generation

🛡 PHP functions smarten up to throw exceptions instead of returning false or triggering errors.

IntelliJ & Eclipse plugin for monitoring how Java applications are developed and tested

Verified message-passing programs in Dotty

This repo holds two IDE projects. One is the Eclipse Feature for developing Bazel projects in Eclipse. The Bazel Eclipse Feature supports importing, building, and testing Java projects that are built using the Bazel build system. The other is the Bazel Java Language Server, which is a build integration for IDEs such as VS Code.

library for modeling Petri nets in Erlang

Extension for developing cloud-native, containerized applications from VS Code

📹 A Small OpenCV (Open Source Computer Vision) Example, who has the ability to detect multiple cat faces at the same time 🐱

Read-only mirror of the Klever Git repository

Reads a state transition system and performs property checking

LibreOffice Eclipse plugin for extension development

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems

A boilerplate project for starting a Jakarta EE 8 application in seconds

The Scenario Architect provides a lightweight graphical user interface that allows a straightforward realization and manipulation of concrete driving testing scenarios. Exemplary usecases are the validation of an online verification framework or training of an prediction algorithm.

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

Eclipse Workspace and code lessons for TKP Java - branches include other workspaces (GitHub Codespaces...)

A generator of domain-specific language (DSL) editors for web applications and cloud IDEs.

An eclipse editor for asciidoctor files

Memory consistency modelling using Alloy

Eclipse library project based on Android support recyclerview-v7 AAR releases.

Safe Exploration with MPC and Gaussian process models

A Type-Safe, Thread-Safe-ish approach to CoreData in Swift

Plugin for developing cloud-native, containerized applications from Eclipse IDE

3D viewer and post processing of reservoir models