Search Results for "work"

A suite of Ada 2012 generics to facilitate iterative and recursive parallelism for multicore systems and provide safer recursion for single and multicore systems. Generics include Ravenscar compatible versions for real-time systems. Also Includes paraffinalia, which is a set of useful generics for parallel quicksort, fast fourier transform, function integration, prefix sum, and Red-Black trees

Excel_Out is a standalone, portable Ada package for writing Excel spreadsheets with basic formattings and formulas, easily and programmatically. Enables the automatic production of reports. No interaction needed with Excel or MS Office. More information on: http://excel-writer.sf.net Alire crate: https://alire.ada.dev/crates/excel_writer Mirror: https://github.com/zertovitch/excel-writer

CodeBlocks With A full development environment. Took a while but CodeBlocks is now upto speed and in sync with the current release version. New version of CodeBlocks supports XML based configuration, so users can do specialized compiler support if needed. Changed away from the old Msys in favor of Msys2 which has better support for a lot of things like miktex. Old package is still there if you still need it but wont be developed on anymore. Loads of modifications compared to the...

...Complex user interface elements can be realized often in few lines of code. Agar is also extensible at the low-level. The low-level API is documented such that modular drivers can be written which enable Agar applications to work seamlessly under many platforms graphics systems without any change at the application level.

...That’s why both bot accounts and user accounts have tokens. Since selfbots have access to the Discord API (Application Programming Interface, a.k.a. the direct link between code and code being able to work on Discord), they can use functions that normally only bots would be able to use, such as the previously mentioned embeds. They can also bypass any restrictions coded only in the client. What can you do with a selfbot? =============== A selfbot can do everything you can do yourself and a little more. it can do things you as a user can’t. it can be formatted in a ton of different ways, for all types of uses.

Ada framework providing work sharing/seeking services for distributing work amongst CPU cores on multi-core machines.

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)