Search Results for "linux basic programming"
Sort By:
17 projects for "linux basic programming" with 2 filters applied:
-
Turn traffic into pipeline and prospects into customersDocket is an AI-powered sales enablement platform designed to unify go-to-market (GTM) data through its proprietary Sales Knowledge Lake™ and activate it with intelligent AI agents. The platform helps marketing teams increase pipeline generation by 15% by engaging website visitors in human-like conversations and qualifying leads. For sales teams, Docket improves seller efficiency by 33% by providing instant product knowledge, retrieving collateral, and creating personalized documents. Built for GTM teams, Docket integrates with over 100 tools across the revenue tech stack and offers enterprise-grade security with SOC 2 Type II, GDPR, and ISO 27001 compliance. Customers report improved win rates, shorter sales cycles, and dramatically reduced response times. Docket’s scalable, accurate, and fast AI agents deliver reliable answers with confidence scores, empowering teams to close deals faster.
-
Iris Powered By Generali - Iris puts your customer in control of their identity.Iris Identity Protection API sends identity monitoring and alerts data into your existing digital environment – an ideal solution for businesses that are looking to offer their customers identity protection services without having to build a new product or app from scratch.
-
1
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. -
2
Expect-lite is an quick and easy command line automation tool. Basic expect-lite scripts can be created by simply cutting and pasting text from a terminal window into a script, and adding '>' '<' characters. No knowledge of expect is required!
-
3
A Unibasic Code Coverage tool. It produces formatted HTML reports on the statement coverage of selected source files. Designed for UniData but should is being ported to UniVerse (still in development, but compiles and works on demonstration programs).
-
4
A Python programming environment providing memory sizing, profiling and analysis, and a specification language that can formally specify aspects of Python programs and generate tests and documentation from a common source.
-
Award-Winning Medical Office Software Designed for Your SpecialtyRXNT is an ambulatory healthcare technology pioneer that empowers medical practices and healthcare organizations to succeed and scale through innovative, data-backed, AI-powered software.
-
5
ETICS stands for "eInfrastructure for Testing, Integration and Configuration of Software". It provides software professionals with an "out-of-the-box" build and test system, powered with a build and test product repository.
-
6
ValidJS
Extensible validation for JavaScript
A small and extensible validation library for JavaScript. Includes many basic validators, such as type checking and range checking, as well as some complex object validators, which can verify that objects have certain properties. Easily extensible, since validators are just predicates that take an arbitrary number of arguments. -
7
This project has been set up to unify perl unit testing frameworks for use in Extreme Programming. See also http://c2.com/cgi/wiki?PerlUnit
-
8
This project lists common Java programming errors. This project has mainly only documentation on this errors.
-
9
RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.
-
Collect! is a highly configurable debt collection softwareThe flexible & scalable debt collection software built to automate your workflow. From startup to enterprise, we have the solution for you.
-
10
Unit Test for C is a very useful and powerful software development tool for C and C++ programmers. It is designed to provide a great deal of functionality in a very small package and functions nearly identically on Windows and UNIX systems.
-
11
Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
-
12
Orc is a embedded language for orchestrating concurrent and distributed programming. It can ensure safe, dead-lock free concurrent execution. This is an implementation of Orc semantics for the .NET framework.
-
13
Avignon is an acceptance test system that allows you to write executable tests in a language that you define. It uses XML to define the syntax of the language but, if you choose to extend the language, leaves the semantics of the tests up to you.
-
14
MiniCppUnit another C++ port of the famous JUnit framework for unit testing. Unlike CppUnit, MiniCppUnit follows a minimalistic aproach: The basic features are the same but in only bout 500 lines of code! No library instalation is needed, etc.
-
15
Find case inconsistencies in the source tree. May be useful for porting applications in any programming language from case-insensitive (like Windows) to case-sensitive (like Linux) runtime environment.
-
16
Kammerjäger
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes... -
17
Weebill is a bug tracker application. It aims to provide a basic functionality, web interface at first level. Then functionalities will be improved and other interfaces will be introduced (like desktop applications using web services.)
- Previous
- You're on page 1
- Next
