Showing page 1 of 2.

• 
  PLplot

  Scientific graphics plotting library, supporting multiple languages.

  129 weekly downloads
• 
  Jumbolino - The Open Source Aircraft

  Jumblino is the open source aircraft development project, targeting the complete development of a community aircraft. Complete community control of the aircraft parametrics will lead to the etraordinary development.

  0 weekly downloads
• 
  AdaBLAS

  Ada binding to BLAS

  0 weekly downloads
• 
  The Verified Software Repository

  The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)

  0 weekly downloads
• 
  Mathpaqs

  Various mathematical packages including algebra, finite elements, random variables, probability dependency models, unlimited integers.

  2 weekly downloads
• 
  HiddenWorld

  Hidden world game engine

  0 weekly downloads
• 
  EQ Track

  Collection of embedded softwares to control a telescope mount.

  10 weekly downloads
• 
  Graphical Navigation and Analysis Tool

  Giant enables fast browsing of large graphs with enhanced analysis features like multiple selections and a fully integrated scripting language.

  0 weekly downloads
• 
  Open_Image

  A GPL (with same special exception as the GNAT run-time) package hierarchy for the I/O of Image Data (PPM, TIFF, others...) as well as packages for manipulation of that data. There is no intension of producing packages in the main library for displayi

  1 weekly downloads
• 
  OpenCAGE

  OpenCAGE (Open Computer Aided Graph Editor) is a generic graph editor. It is written in Ada95 and GtkAda.

  0 weekly downloads
• 
  Neuronal Optical Character Recognition

  It's a tool who shows the concepts of a type of neuronal networks (multi-layers percetron). It's not a real ocr, it's just a little didactical application.

  1 weekly downloads
• 
  Parallel Port Eprom Programmer

  Parallel Port Eprom Programmer contains a GNU/Linux driver that controls the eprom programmer throught the parallel port and a tool which allows reading and writing eproms.

  18 weekly downloads
• 
  UniParser toolkit

  UniParser is a parser toolkit for creating grammar parsers of streams (of e.g. Unicode characters) with Ada 95 programming language. (If you will request, I may port it to C++.) Very feature rich, flexible, and extensible; however somehow slow and bloate

  1 weekly downloads
• 
  IVIonOSX

  Icarus Verilog Interactive on MacOSX

  2 weekly downloads
• 
  Ada Binding for Player

  An Ada binding to the libplayerc client library of Player/Stage robot platform.

  1 weekly downloads
• 
  Engineering tools on OSX

  A collection of useful software packages to perform engineering tasks, especially electrical engineering and chip design. All packages come as shrink-wrapped installers for Apple's Mac OS X.

  52 weekly downloads
• 
  Euler Solutions

  This project is intended to provide the solutions of the mathematical problems given at http://mathschallenge.net/index.php?section=project&ref=view

  1 weekly downloads
• 
  FannAda

  The libFannAda is a Ada-binding to the Fann Libery

  1 weekly downloads
• 
  FREE HardRealTime tool

  Eclipse-based plugin for HRT-HOOD and HRT-UML design for Hard Real Time Systems

  0 weekly downloads
• 
  NXT Ada

  This project is for Ada developers who would like to develop Ada applications for the Lego Mindstorms NXT.

  0 weekly downloads
• 
  GLOBE_3D

  GLOBE_3D: GL Object Based Engine for 3D. GLOBE_3D is a free, open-source, real-time 3D Engine written in Ada, based on OpenGL. Up-to-date GL bindings - portal rendering - binary space partition - object I/O - tools for importing - and more...

  3 weekly downloads
• 
  ZanyBlue

  ZanyBlue: Ada libraries towards a finite element framework

  1 weekly downloads
• 
  j0shu4

  Ai engine. Human computer interfacean questing interface. Using: festival, mbora, ibm viavoice, justin, htk, wget curl. Project original name: TTT Test Told Terminal (1992 comodore 64).

  0 weekly downloads
• 
  snugbug middle server

  Safety Critical Distributed building management system for a community. This section of the project represents the Ada server servicing requests and sensor data from the 802.15.4 network automation.

  0 weekly downloads
• 
  FFTW_Ada

  FFTW_Ada is an Ada 95 binding to the FFTW library written at MIT by Matteo Frigo and Steven G. Johnson. FFTW is written in C. FFTW_Ada allows calls to FFTW from an Ada 95 or 2005 program. FFTW_Ada v2 works with FFTW v3. FFTW_Ada v1 works with FFTW v2.

  1 weekly downloads

• Back
• 1
• 2
• Next