Search Results for "application development"

Mangle is a programming language developed by Google for deductive database programming, serving as an advanced extension of Datalog. It is designed to unify and query data from multiple sources in a structured, declarative way while allowing developers to model complex relationships and domain knowledge beyond binary predicates. Mangle enhances traditional Datalog by introducing features such as aggregation, function calls, and optional type-checking, which make it more practical for modern...

Erlava is a hobby programming language focusing on building applications fast and easily while still intergrating with the JVM. Erlava aims to provide developers with a versatile and efficient tool for crafting high-quality software.

A programming language AL-IV (ALFOUR) is a high-level imperative object oriented programming language with minimal introduction level, easy porting to any platform claiming a very high level of safety and stability, with a controllable level of code protection, high efficiency of an executable code, full independence from a target platform, minimal enter level.

Go Blueprints is the official source code repository for Mat Ryer’s book Go Programming Blueprints. It provides the example projects and supporting code used throughout the book. The repository is meant to help readers follow along, study working implementations, and experiment with practical Go application patterns. It includes materials for different editions of the book, making it useful for readers depending on the version they own. The code emphasizes building real applications rather...

Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.