Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

KurrentDB is a database that's engineered for modern software applications and event-driven architectures. Its event-native design simplifies data modeling and preserves data integrity while the in…

Desktop runtime for apps built on web technologies, using the system's own web browser engine

Dafny is a verification-aware programming language

Primary repository for the x360ce library, front-end and tools.

The open source living documentation generator