web analytics
Framework | Ada Forge - News

Muen microkernel 0.7 relesaed

The Muen Separation Kernel is the world’s first Open Source microkernel that has been formally proven to contain no runtime errors at the source code level. It is developed in Switzerland by the Institute for Internet Technologies and Applications (ITA) at the University of Applied Sciences Rapperswil (HSR).

The following major features and improvements have been implemented :
  • Support for Genode VM subjects
  • Subject time mechanism
  • Hardware and platform policy abstractions
  • Linux virtual filesystem and network interface drivers
Read More…

XNAdaLib 2015 binaries for MacOS 10.9 including GTKAda GPL 2015 and more

This is XNAdaLib 2015 built on MacOS 10.9 Mavericks for Native Quartz including:
  • GTK Ada GPL 2015 with GTK+ 3.16.0 complete,
  • Glade 3.18.3,
  • GnatColl GPL 2015,
  • Florist GPL 2015,
  • AdaCurses 20110404,
  • Gate 3-04-b,
  • AICWL 3.11 (with Components 4.8 and gtksourceview 3.14.3),
  • GNOGA 1.1a,
Read More…

Qt5Ada version 5.5.0 released

Qt5Ada is a Ada-2012 port to Qt5 framework (based on Qt 5.5.0 final)

This project uses a proprietary layer. It is not completely open source. (Ref David Botton)
Read More…

GNOGA v1.1a released

Gnoga uses modern web technologies to allow simple creation of cross platform GUIs for Ada with native or custom look and feels that perform on par to native toolsets locally and can be easily and securely remoted as web apps over the internet as well.

In addition to bug fixes and vastly increased stability adds:
  • Completed multimedia bindings
  • Easier boot file creation by just including boot.js in any html file
  • Direct HTTPS and Secure Websockets
  • HTTP polling with Ajax including fallback support (using auto.html bootfile)

Download gnoga-v1.1a.zip
git clone git://git.code.sf.net/p/gnoga/code gnogaor
git refresh ; git stash; git merge
or go to SourceForge

  • GPLv3 license with Runtime Exceptions.
From David Botton
Read More…

Matreshka 0.7.0 Released

We are pleased to announce new major release of Matreshka. See Release Notes for more information and visit Download to download source code and binary packages.
Read More…