Sign in

Repository Index

76,855 visible repositories in the index

Tags: IDE
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–24 of 48 · Most stars

The IDE you know, rebuilt in Rust. IntelliJ IDEA–style keymap, tool windows and search-everywhere in a fast native app: editor, code insight, debugger, Git, terminal, database and HTTP clients for 60+ languages.

SASM - simple crossplatform IDE for NASM, MASM, GAS and FASM assembly languages

  • assembly
  • assembler
  • assembly-language
  • ide

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