Search Results for "core-analyzer"

The current version provides a full Ada 2022 syntax analyzer library. The analyzer parses the source and creates the syntax tree and cross reference of defining identifiers in the source. Both structures are allocated in an arena pool storage and can be released as a whole. The code source can be file, stream or a user-defined container implementing multi-line source interface. Unicode is fully supported as well as Unicode identifiers normalization checks.

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

RufaSlider is a collection of 16 different block slider puzzles for kids and casual puzzlers that works on laptops and PCs running Windows, OSX or GNU/Linux. It includes a Klotski-style family, a DirtyDozen family, and a Traffic-Rush family. And now these puzzle families come with AutoSolvers to help you. The Klotski family uses rectangles of 4 sizes: 1x1, 2x2, 1x2, 2x1. The objective in each game is stated near the window top, but usually involves moving a large block to a specified...

This is a soccer-themed, 3rd-person 3D sokoban puzzle game. It uses data in a format that is commonly found on the internet. It has undo <u> and restart <r> functions. Comes with many puzzle files, each typically having dozens of "levels". The next <n> and previous <p> keys move between levels. The <Lshft> and <Rshft> keys move between the different puzzle files. The <z> key creates a setpoint (reZero) so that subsequent restarts restore that setpoint. To move the "kicker" use the...

This is the home of the development of the Safir SDK Core open source platform.

a new runtime core platform

Helena is an explicit state model checker for high-level Petri nets.

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

Dreamgate aims at providing MUD players with scriptability on par with zMUD or MUSHClient. Currently we are working on the core processing and scripting architecture. The client can be used as a proxy between the server and a graphical client.

WLAN 802.11 frame analyzer with educational purposes it will show on different windows : the measures, the MAC data frames, the MAC control frames... Programmed for linux systems using ADA. keywords: ADA, wifi, 802.11, ENST.

G3C provides the main features for 3D-game developers: 3D rendering engine based on openGL, collision detection, physical rules, p2p network... A game-sample will be avaible, binding a wargame, a flight simulator, a first person shooter, a MMOG...