Search Results for "git:/git.code.sf.net/p/docfetcher/code" - Page 8
Sort By:
366 projects for "git:/git.code.sf.net/p/docfetcher/code" with 2 filters applied:
-
The most advanced C and C++ source code analyzerTrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
-
We help you deliver Virtual and Hybrid Events using our Award Winning end-to-end Event Management PlatformEventsAIR have been anticipating and responding to the ever-changing event industry needs for over 30 years, providing innovative solutions that empower event organizers to create successful events around the globe.
-
1
Both forward-chaining and backward-chaining rules (which may include python code) are compiled into python. Can also automatically assemble python programs out of python functions which are attached to backward-chaining rules. See pyke.sourceforge.ne
-
2
Jace is a set of C++ and Java libraries and programs based on JNI that make it incredibly easy to write C++ code that integrates with the Java Virtual Machine (JVM). This project has moved to http://code.google.com/p/jace/
-
3
A tail GUI with coloring of log entries based on regular expressions. Project has moved to http://code.google.com/p/svansprogram/
-
4
DevJournal is a tool for programmers that helps them be more purposeful and reflective about their work by tracking their edits and allowing them to save a collated, annotated history of their work session.
-
Deliver trusted data with dbtData teams use dbt to codify business logic and make it accessible to the entire organization—for use in reporting, ML modeling, and operational workflows.
-
5
A console application to find duplicated files in your hard disk that allows you to choose which duplicated files delete. It will work with a DB to store information of your files and compare them using a hash code like md5. Wait! I am still working
-
6
This project provides a chip card interface device driver for the PC/SC Lite server deamon (pcscd). The driver provides a standard PC/SC interface to NFC devices supported by libnfc. Note, that this project is currently not actively developed. However, the code has been adopted by the libnfc-Team. See https://code.google.com/p/ifdnfc/source/checkout.
-
7
Platform-independent PostgreSQL diff tool that is useful for schema upgrades. The tool compares two schema dump files and creates output file that can be used for upgrade of old schema. Project sources and issue tracker has been moved to https://github.com/fordfrog/apgdiff.
-
8
A library, GUI and sample cli script for managing Data Robotics storage units on Linux. (http://www.drobo.com) There is a library, Drobo.py, which implements the ioctl interface defined in the published specs and code samples.
-
9
bocca is a text-based, scriptable, interactive development environment for SIDL/Babel-based development of mixed language C/C++/Fortran/Java/Python code. It manages source and build systems. Bocca automates creating SIDL/Babel code or CCA components.
-
Melis Platform is an enterprise-grade Low Code Platform simplifying app creation, management, and delivery.Melis is a new generation of Content Management System and eCommerce platform to achieve and manage websites from a single web interface easy to use while offering the best of open source technology.
-
10
Allows editing of any size file in hexadecimal, decimal and ASCII. A great tool that allows you to edit and analyze the contents for either the data or resource fork of any type of file. 68K, PPC and Carbon run on MacOS 7-9 and X.
-
11
Cheval is a platform independent GUI shell for Python written with PyGTK. Featuring tabbed sessions, Syntax highlighting, code completion, call tips, history, auto-indentation, load and save sessions and much more
-
12
Feathery is a very small and full-featured ftp server for embedded devices. It is easy portable to every 8, 16 or 32 bit architecture and can run with or without an operating system.
-
13
...It started its life serving builds and tests in a commercial environment early days well before continues integration became a standard well-applied best practice in the industry. The code was open-sourced and was used by multiple local development teams known to the author. Later on alternative CI systems, like Jenkins and BuildBot, gained popularity, established big communities and evolved more, covering functionality of ExecKit, like automated remote execution abilities. Drop of usage of ExecKit caused the project being declared as Inactive.
-
14
JTella is the Java API for the GNUTella network. Using JTella, Java based GNUTella tools and servants can be created, with JTella providing the network interface code.
-
15
-
16
Provides tools, supporting quality management or quality assurance for software: Assessment execution (ISO 15504 (SPiCE), AutomotiveSPiCE, CMMi), diff tool calculating sizes (SLoC) of diffs, identification of conditional compilation, and more.
-
17
This is a simple, modular PHP class designed to record execution time benchmarks throughout different parts of a script. Compatible with virtually any PHP script, the code can be added/removed quickly and with ease. Accurate to the microsecond.
-
18
Schematics and micro-controller code for a version of the scoring apparatus used in competitive fencing and a compatible remote control.
-
19
FreeOS/1 is a Free, Open Source, FreeDOS based Free and Open Source Alternative OS, with open source Microsoft Windows compatibility using HXDOSExtender KernelEx,and ReactOS source code. FreeOS/1 will include new technologies and will be easy to use
-
20
LOG4PLSQL is a PLSQL framework for logging in all PLSQL code this project was born from the log4J spirit (and use it). You have the possibility to log apart from transaction and use all LOG4J feature.
-
21
BASE is the Basic Analysis and Security Engine. It is based on the code from the Analysis Console for Intrusion Databases (ACID) project. This application provides a web front-end to query and analyze the alerts coming from a SNORT IDS system.
-
22
An open source data version repository model based on true INSERT only logic. Contains high performance support for data versioning and history. Enables point-in-time query and CDC sourcing including mapping each change to a transaction.
-
23
...The application is designed to be platform independent by avoiding target specific libraries and hardware counters and timers. Another useful extension to JetBench is done by Haitao Mei under the supervision of Prof. Andy Wellings. The author has resolved many issues in the original code. I would suggest all to please have a look at: https://sourceforge.net/projects/mpbenchmark/
-
24
Management of the FiberParty assistants. It controls who enters and who exit from the lan-party. It store the name, number, photo, and a bar-code of the user.
-
25
The C-Bus Module is used to provide a C-code API between a Clipsal C-Bus PCI interface, and an application program. Application programs can be on small embedded micros with no OS and only a few K of RAM, thru to Windows & Linux.
