Lean 4 programming language and theorem prover
Low-code programming for event-driven applications
New additions to the Java programming language
Fast, small, safe, gradually typed embeddable scripting language
Empowering everyone to build reliable and efficient software
Master the fundamentals and advanced features of the Go language
Functional programming language for signal processing
The core OCaml system: compilers, runtime system, base libraries
A configuration as code language with rich validation and tooling
A strongly-typed language that compiles to JavaScript
Deep universal probabilistic programming with Python and PyTorch
Expert System Tool
Editor de Codigo para Python
A Zebra Programming Language (ZPL) IDE with embedded viewer
The classic RPL programming language reimplemented and reimagined.
Action! - The Native Programming Language for Atari 8-bit Computers
Lightweight Java IDE with syntax highlighting and convenient features.
SC is a C based meta/programming language/environment
OnixOS Arch is a Linux-based and open source distribution.
ADP is a script language designed for Web database prgramming.
An object-based programming language
A fast compact commercial quality Forth for embedded MCUs
A simple, procedural programming language.
The language used in the AP CSP Exam, now a programming language!
Simple and flexible programming language for applications development