Search Results for "linux basic programming"
Sort By:
Showing 26 open source projects for "linux basic programming"
View related business solutions-
Skillfully - The future of skills based hiringSkillfully transforms hiring through AI-powered skill simulations that show you how candidates actually perform before you hire them. Our platform helps companies cut through AI-generated resumes and rehearsed interviews by validating real capabilities in action. Through dynamic job specific simulations and skill-based assessments, companies like Bloomberg and McKinsey have cut screening time by 50% while dramatically improving hire quality.
-
Best Visitor Management System<p class="mb-4">Do stacks of paperwork pile up at the front desk area? Or are your receptionists constantly filing reports, guest log-in information and NDAs – taking them away from other important tasks? Not anymore! Our Visitor Management System automates all these processes, streamlining your workflow. Guests can complete inductions, sign NDAs, fill in their contact details and much more using the easy software. These records are then automatically filed and stored, making life easy for receptionists and the HR team. Claim your FREE 7-day trial and experience how VisitUs can transform your workplace!</p>
-
1
Alire
Command-line tool from the Alire project and supporting library
Alire is a source-based package manager for the Ada and SPARK programming languages. It facilitates the building and sharing of projects within the Ada community, allowing developers to easily manage dependencies and publish their own libraries or programs. Alire aims to streamline the development process for Ada and SPARK by providing a standardized approach to package management. -
2
The Demonstrations Programs for the Wikibook "Ada Programming".
-
3
DMNL
dmnl is another attempt of A. i.
dmnl is another attempt of A. i. written with Ada. Ada is an portable programming language. With Ada, the text after tow minus sign ('-') are a comment. -
4
hbox
Sokoban solver written in Ada
This is a commandline-terminal sokoban solver written in Ada. It is "generic" in the sense that it contains no domain specific strategies. It also provides a demonstration of the incredible power of the Hungarian Algorithm. The proper command to extract the archive and maintain the directory structure is "7z x filename". -
Go beyond a virtual data room with Datasite DiligenceThe data room with a view. Evolved for next-generation M&A. Built on decades of deal experience. Packed with expert tools, yet intuitive for novices. A fully mobile platform with frictionless processes. Smart AI tools that let you close more deals, faster, plus end-to-end support at all times. Do due diligence with intelligence.
-
5
Excel Writer
A standalone, portable Ada package for producing Excel spreadsheets
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 -
6
AdaGate
3D OpenGL dungeon game using Ada: a tribute to Narbacular Drop
AdaGate is a 3D OpenGL strategy game with escape rooms in a Stargate fantasy setting. It is an elaborate example of modern OpenGL programming using the Ada language; and a tribute to Narbacular Drop, and Amelia Earhart. Each room has a barrier that must be circumvented using portals. The barriers include water with piranha, molten magma, and walls. Runs on Windows, OSX, and GNU/Linux. The linux binary now runs on many linux distros! Includes all source code, build scripts & resources. -
7
WorldCupSokerban
Soccer-themed 3D Sokoban Game
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... -
8
AdaVenture
kid-friendly retro point & click 3D OpenGL "adventure" game
AdaVenture is a kid-friendly retro point&click game, intended to be a minimal extension to 3D of the original 2D Atari game named "Adventure". Now runs on Windows, OSX, and Gnu/Linux -- all distros. Set in ancient Persia, it begins outside the castle of the young King Xerxes, who inherited a golden chalice from his father, Darius the Great. It was recently stolen by a surly foe named King Leonidas of Sparta. Your quest is to find and return the royal chalice to its pedestal within... -
9
eprb_signal_correlations
Simulation of a two-channel Bell test, with closed-form proofs
Derivation, entirely by probability theory, of the correlation coefficient for a two-channel Bell test, with simulation in Ada and other languages. The Nobel Committe for Physics bans this program for subversive content. (Mirror of the repository at https://github.com/chemoelectric/eprb_signal_correlations) -
Silverware is an enterprise-grade hospitality platform built for hotels, resorts, and complex multi-venue operations.Silverware is built for hotel, resort, and multi-venue hospitality operators who need enterprise-grade control, deep integrations, and always-on reliability to run complex operations at scale.
-
10
corlpack
Ada Library for heterogenous vectors
Corlpack consists of a library and tools aiming to simplify and accelerate programming of small, scientific, computational applications. One of the planned features is the loading and saving of a variety of research data into a single generic data structure, that is much like the named list from R, thus removing the need to learn many data access APIs. -
11
AdaControl
Ada source code controller
A tool that detects the use of many constructs in Ada programs. Use it to control style or programming rules, but also as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns. -
12
gnaies
Command and accounting
Provide a dual application to call somme command in line and an simple additionner for floating point. -
13
A fully automatic and transparent tool to measure programming language popularity on the Internet.
-
14
gnostic
gnostic (or Ada gnostic) is Ada Generic Neural Objects System Engineer
gnostic (or Ada gnostic) is Ada Generic Neural Objects System Engineering For Self Programming Process development with Ada. -
15
AdaDoc is a tool for developers using the Ada programming language (currently Ada95). Its goal is to create documentation in different formats (XML, HTML, LaTeX, ...) from a package specification.
-
16
AdaSDL is a set of Ada (programming language) bindings, ports, and some original applications based on SDL (Simple DirectMedia Library - http://www.libsdl.org)
-
17
Ahven
Unit testing framework for Ada
Ahven is a simple unit testing framework for Ada 95 programming language. The source code is fully portable and works with any Ada 95 (and also Ada 2005) compiler. -
18
z9basic
Z9basic application and database environment
Z9basic aims to be a high integrity & performance version of its predecessor bdbbasic. Language is modernized BASIC with screen and PostgreSQL database support. Targeted at Home, SOHO, Small business, Scientific or Engineering users. This project is incomplete and in limbo, due to a general lack of time. Those looking for this type of application functionality are encouraged to look at the bdbbasic project instead, which is complete and functional. -
19
C2Ada is a translator from the C programming language to the Ada programming language.
-
20
SPARKUnit is a unit test framework for the SPARK programming language. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.
-
21
A formally verified implementation of cryptographic algorithms using the SPARK programming language. For the complete library proofs of the absence of run-time errors are available. Some of its subprograms include proofs of partial correctness.
-
22
Ada-engine, more commonly known as eAda, is a MMORPG engine, with which you can make your own game. It is created in Ada 2005, a fast, strongly typed programming language... [continued at project homepage]
-
23
Smart_Arguments is designed to simplify the use of command line arguments. The built in Ada facilities for command line argument processing are very basic. This package provide a higher level facility for dealing with command lines.
-
24
ASTK is a development toolkit for Ada network programming. it provides synchronous (Ada Task) and asynchronous (Unix poll) network server frameworks so that programmer can focus on server data following procedure programing.
-
25
AdaPackageTesting is a tool for developers using the Ada95 programming language. With him, it's very fast to create the structure of a test program based of the package specifications (.ads).
