A collection of useful .gitignore templates

Jenkins automation server

Hydro - Next generation high performance online-judge platform - 新一代高效强大的信息学在线测评系统 (a.k.a. vj5)

An AI-generated game simulates how to maintain an OnlineJudge

A Java mod for Mindustry v7

The HTML5 Creation Engine: Create beautiful digital content with the fastest, most flexible 2D WebGL renderer.

Desktop/Android/HTML5/iOS Java game development framework

A template for Java Mindustry mods.

Repository for Mindustry suggestions and feedback

The official GitHub mirror of the Chromium source

JetBrains Meta programming System

A simple judging environment for Olympiad in Informatics

Script-IDE is a plugin for Godot. It transforms the Script UI into an IDE like UI. Multiline Tabs are used for navigating between scripts. The default Outline got an overhaul and now shows all memb…

The automation tower defense RTS

The GitHub ToolKit for developing GitHub Actions.

Arduino IDE 2.x

Arduino IDE 1.x

EnCodeter, a code editor or an IDE.

信息学教练模拟器

Linux kernel source tree

Find and fix problems in your JavaScript code.

C++ Library Manager for Windows, Linux, and MacOS

The Kotlin Programming Language.

Haohao123coding's java(jar) launcher

NOF0 - 开源的 AI 交易竞技场

The Postgres development platform. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.

JavaFX mainline development

An VS Code extension to compile and run single C++ files with a button, instead of a lot of commands!

IntelliJ IDEA & IntelliJ Platform

Run your GitHub Actions locally 🚀