Search Results for "ada"

PDF_Out is an Ada package for writing easily PDF files dynamically. Enables the automatic production of reports. Standalone and unconditionally portable code. No external resource is needed. More information on... http://apdf.sf.net Alire crate: https://alire.ada.dev/crates/apdf Mirror: https://github.com/zertovitch/ada-pdf-writer

...It has an elegant syntax that is natural to read and easy to write. Ruby is a language of careful balance. Its creator, Yukihiro “Matz” Matsumoto, blended parts of his favorite languages (Perl, Smalltalk, Eiffel, Ada, and Lisp) to form a new language that balanced functional programming with imperative programming. He has often said that he is “trying to make Ruby natural, not simple,” in a way that mirrors life. Since its public release in 1995, Ruby has drawn devoted coders worldwide. In 2006, Ruby achieved mass acceptance. With active user groups formed in the world’s major cities and Ruby-related conferences filled to capacity. ...

Config is an Ada package for parsing configuration files (.ini, .inf, .cfg, ...) and retrieving keys of various types. New values for single keys, or entire sections, can be set. Standalone and unconditionally portable code. Alire crate: https://alire.ada.dev/crates/ini_files Mirror: https://github.com/zertovitch/ini-files

TeXCAD is a program for drawing or retouching {picture}s in LaTeX. It extends the original {picture} capabilities, even without any obligatory LaTeX package, class or style sheet. Core of TeXCAD is totally portable. A MS Windows version is available. More information on... https://texcad.sourceforge.io/ Alire crate: https://alire.ada.dev/crates/texcad Mirror: https://github.com/zertovitch/texcad

Raspberry pi adafruit capacitive touch tft ada fruit case for pi ldr +capacitor for background light level dfc77 receiver for time python code based on wiringpi2, pygame

...The schema is based on Backus Normal Form (BNF) representations of ANSI-ISO/IEC SQL Standards; ISO/IEC 9075 :2003, ISO/IEC 9075 :2006, ISO/IEC 9075 :2008, ISO/IEC 9075-14 :2013 XML-Related Specifications (SQL/XML) Does not include support for Embedded SQL Ada, C, COBOL, Fortran, MUMPS, Pascal, or PL/I programs. These may be added in future. This schema was generated by automation taking the SQL BNFs as input. It was then run through schema validators and manually modified further to result in a valid schema. The schema was designed such that if an instance document has its tags removed and the order of the content preserved, a valid SQL statement or fragment will be left. ...

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)