The web-based visual programming editor
Agda is a dependently typed programming language
A friendly programming language from the future
A Python framework for accelerated simulation, data generation
Functional Reactive Programming domain-specific language
Mobile Traffic Interceptor
Enterprise-grade AI programming assistant designed for R&D collab
The game engine for everyone
Documentation, cheatsheets, and quick references for developers
A curated list of project tutorials for project-based learning
A logic programming library for Clojure & ClojureScript
UNIX-like reverse engineering framework and command-line toolset
AI video generator optimized for low VRAM and older GPUs use
Isolated React component development environment with a style guide
Go tools, libraries
A framework for secure and scalable network traffic analysis
Connect, secure, control, and observe services
An updated version of the classic "Basic Computer Games" book
Vector Database for the next generation of AI applications
SonarSource Static Analyzer for JavaScript and TypeScript
cuda-oxide is an experimental Rust-to-CUDA compiler
GraphQL for Java with Spring Boot made easy
Sonic Pi is your free code-based music creation and performance tool
Development repository for the Triton language and compiler
Simple package for literate programming in Julia