Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft 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.
Learn More
Information Security Made Simple and Affordable | Carbide
For companies requiring a solution to scale their business without incurring security debt
Get expert guidance and smart tools to launch or level up your security and compliance efforts without the complexity.
This is a bidirectional braille translator program written in Common Lisp. Japanese and English is almost completed; other languages are experimental statuses so far. I'm ready to translate Japanese in source code into English according to its worth.
WESP is a collection of subtle scripts and programs written in several languages (C, /bin/sh, (g)awk, ruby, icon) that breaths a new life into the WEB system for literate programming by Donald Knuth (and CWEB by Knuth/Sylvio Levy).
UnitsC++ is a lightweight C++ library that lets you use unit objects for performing type-safe numerical calculations involving physical units. It 1) is easy to use, 2) results in very readable code, 3) is easy to change to fit your needs.
Globalscape Enhanced File Transfer (EFT) is a best-in-class managed file transfer (MFT) solution
For Windows-Centric Organizations Looking for Secure File Transfer solutions
Globalscape’s Enhanced File Transfer (EFT) platform is a comprehensive, user-friendly managed file transfer (MFT) software. Thousands of Windows-Centric Organizations trust Globalscape EFT for their mission-critical file transfers.
MOVED: http://code.google.com/p/rssfilter/ Selects and/or rejects articles from RSS feeds based on keywords you supply. Runs in your taskbar! Originally intended to filter new content from scientific journals such as PRL or the arxiv (cond-mat, etc)
A traslator from BPEL4WS processes to YAWL workflows that works with translation patterns. It takes a BPEL document in input and creates a YAWL workflow that rapresents it.
Visual SQL Builder is a graphical PostgreSQL client written in java that will allow users to Visually build a complete SQL statement, without typing any clause. Building complex SQL queries in an easy way, reducing debugging, syntax and logic errors.
...It allows users to store and organise their links and scholarly references online, and can automatically import bibliographic data from online archives. This project hosts the source code for Connotea.
This is a program being developed for the Winona State University Computer Science Club (csclub.winona.edu) to help keep students involved in the major through a programing contest. This is a 2d tile programing contest, including the tournament code.
Orchestrate Your Entire Tech Stack with Redwood RunMyJobs
Redwood lets you orchestrate securely and reliably across any application, service or server, in the cloud or on-premise, all inside a single platform.
blat(mat) is a Braille to print translator for maths. It takes a Spanish Six-dot Mathematical Braille (not Nemeth Code) text and converts it to an HTML file ready to be translated into XHTML+MathML by ASCIIMathML (javascript).
iText Programming Tutorials. Example code and detail explanation on how to generate Adobe PDF document with iText API. Example of AcroForm, bookmark, anchor, insert images, generate PDF with Java App, JSP or Servlet, create PDF table and etc.
QuickREx is a regular-expression plugin for Eclipse. It features on-the-fly evalution, code-completion, group-navigation, different engines and a library for regular expressions. QuickREx also runs as a standalone application - check the downloads.
Ellen is a CPU simulator for educational purpose. A virtual accumulator based CPU is modelled. The main point with Ellen is to program the micro code in order to understand the basic concept of a CPU.
code2web is a toolkit for converting source code (Java,JavaScript,XML,JSP,SQL and more) to HTML with a wide array of features, including CSS customization, outline generation, automatic documentation liking, selective highlighting and more.
Jump Start UI is a development tool that jumpstarts your UI development by generating initial display and binding code based on the JavaBean. Genertes code for HTML, SWT, and other languages/libraries.
ECCO is a web-based IDE. In other words is an online development environment with file manager, console interface for compiling and execution of code and an editor with syntax highlighting, tabs and support for many languages and accessed with a browser
phputil package is supporting library for phpioc. Contains base classes as String, Number etc. It is full of reusable code. Will be extended in the future to use in other projects.
seeetron-ssc is Java source code for controlling the SEEtronics mini-SSC servo controller board (see: http://www.seetron.com/ssc.htm). The board itself does not come with Java support, so this project provides that third-party support.
HTML_testsystem is a fairly flexible system for taking tests at no cost at all, except for the eventually needed webhosting. It is written entirely in HTML code and JavaScript. An Excel workbook is provided to enter questions in a comfortable way.
Code libraries and media files contributed by Whoola, Inc. Includes Whoola Cyberspace, a virtual reality web browser with fly-through hyperlinks. The source code includes a COLLADA loader for Xith. Click on the "Home Page" link above to install.