Sign in

Repository Index

72,862 visible repositories in the index

Tags: IDE
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

25–48 of 82 · Most stars

Dinky is a real-time data development platform based on Apache Flink, enabling agile data development, deployment and operation.

  • flink
  • flinksql
  • real-time-computing-platform
  • flinkcdc

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  • tla
  • specifications
  • model-checking
  • verification

Lightweight Lua-based IDE for Lua with code completion, syntax highlighting, live coding, remote debugger, and code analyzer; supports Lua 5.1, 5.2, 5.3, 5.4, LuaJIT and other Lua interpreters on Windows, macOS, and Linux