Search results

An extensible IDE for Ada and SPARK projects, with integrated editing, build, navigation, and debugging tools.

Health information and symptom guidance from Ada

A lightweight Cardano wallet with distinct spending-password and recovery roles

Full-node Cardano wallet for desktop computers

Write statically typed Nim programs and compile them with a toolchain designed for systems and application work.

Coordinated Arabic and Latin type systems, from Naskh to geometric Kufic.

A lightweight IDE that draws code structure diagrams and visualizes runtime data structures.

A no-code app builder for designing, building, and publishing iOS, Android, and web apps.

AI notetaker that turns meetings into summaries, action items and searchable context.