Search Results for "git:/git.code.sf.net/p/docfetcher/code" - Page 4
Sort By:
303 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.
-
The CI/CD Platform built for Mobile DevOpsSave time, money, and developer frustration with fast, flexible, and scalable mobile CI/CD that just works. Whether you swear by native or would rather go cross-platform, we have you covered. From Swift to Objective-C, Java to Kotlin, as well as Xamarin, Cordova, Ionic, React Native, and Flutter: Whatever you choose, we will automatically configure your initial workflows and have you building in minutes.
-
1
Z Notation E-Mail Mark-up Tools
Tools to convert Z mark-up to HTML or text.
A small library and two command-line tools to parse and convert Z notation from the "e-mail" mark-up into HTML code, or into UTF-8 text with box-drawing graphics, or into the Z Standard text format. See the project's Wiki Home Page for details --- the "Wiki" button in the bar above, or the following link: -
2
Chunk, an HTML Template Engine for Java
Clean, powerful templates for Java
A powerful Java Template Engine, great for building HTML or XML docs. Chunk can handle many other needs and situations as well. In-tag filters & default values, multiple snippets per file, layered themes, macros, conditional includes, localization & more. -
3
ASN.1 types and codecs (BER, CER, DER) implementation in Python programming language. A collection of various ASN.1-based protocols data structures is supplied in a dedicated Python package. Project moved to GitHub: https://github.com/etingof/pyasn1
-
4
Adichatz - Eclipse 4 RCP Framework
Develop quickly & easily Eclipse 4 RCP Application in JEE/JSE context
In a few minutes, Adichatz plugins allow you to develop an Eclipse 4 RCP application using JPA in a JEE or JSE context. Editors enable to edit beans and their dependencies including databinding, validation, transaction... Components are easily extensible. -
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
Eddystone
Specification for Eddystone, an open beacon format from Google
...The standard includes unique identifier frames for asset tracking, telemetry frames for device health and battery, and a URL frame that points scanners directly to web content. A rotating, ephemeral identifier variant supports privacy-preserving deployments where beacons regularly change their broadcast identity. Reference code and documentation show how to craft frames, configure advertising intervals, and interpret signals on the receiver side. Eddystone helped catalyze “physical web” style experiences by making proximity signals easy to deploy and consume across ecosystems. -
6
...It's a system of concepts, data formats and tools for the computer assisted transcription and annotation of spoken language, and the analysis of spoken language corpora. This project's source code has moved to https://github.com/Exmaralda-Org/exmaralda
-
7
OpenAutonomy Demos
Demo code for use with OpenAutonomy
A grab-bag of demo programs and stand-alone tools meant to be connected to an OpenAutonomy identity via pre-trusted authentication tokens. -
8
wimlib
Library to create, extract, and modify Windows Imaging (WIM) files
NOTICE: wimlib hosting has been moved to a dedicated website at https://wimlib.net. All files and source code have been removed from SourceForge and can be found on the new website. -
9
MPPerl::Convert::ASCII85
Convert to/from ASCII base-85 encoded text
...Please note that this module is written in pure Perl, and is as such very slow. A better alternative is to use the MPPerl::Convert::ASCII85::XS module, in which the most time-critical code has been written in C. It can be found at https://sourceforge.net/projects/mpperl-convert-ascii85-xs/. -
Easy-to-use online form builder for every business.Easy-to-use online form builder for every business. Create online forms and publish them. Get an email for each response. Collect data. Design professional looking forms with JotForm Online Form Builder. Customize with advanced styling options to match your branding. Speed up and simplify your daily work by automating complex tasks with JotForm’s industry leading features. Securely and easily sell products. Collect subscription fees and donations. Being away from your computer shouldn’t stop you from getting the information you need. No matter where you work, JotForm Mobile Forms lets you collect data offline with powerful forms you can manage from your phone or tablet. Get the full power of JotForm at your fingertips. JotForm PDF Editor automatically turns collected form responses into professional, secure PDF documents that you can share with colleagues and customers. Easily generate custom PDF files online!
-
10
xorlisp
Bit level lambda continuations and nothing else - Queue automata
...For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a pair of stack and queue. The stack is a linked list of pair of true or false and object pushed on the stack. The queue is also such a linked list but is paired oppositely so previous queue state goes on the left and next object queued on the right of the new pair, so when the queue is navigated in sequence of that astronomically long bitstring (thats exponential of reusing objects in the acyclicNet), the Nav32 (using linearForward and treeForward for random access) first sees the oldest object queued -
11
xstdgreek
A bug-free, idiot-proof, Greek language environment XeLaTeX/LuaLaTex
... * Checked GPL'ed or other free-license fonts for Greek compatibility, and provide relative macros. Those helping macros actually just declares that the font is *approved by us*. * Fixes fonts with using fontspec and code, so can supported well in latex. * Fixes hyperref for perfect PDFs WITH perfect contents bar (left-side bar). * An improvement set of greek symbols commands, that works in almost anyware and does not have problems with PDFs. * Feel free to ask us for more... -
12
Artemis
Cassandra "ORM" with hooks for Jersey integration if desired
...It also contains hooks for integration into Jersey2 to enable rapid development of RESTful services, or even websites, if you enable JSP functionality for Jersey. If there is a demand, I could add a plugin to render views using things like Velocity, etc. See https://sourceforge.net/p/wicca/wiki/Home/ for more documentation -
13
XML Unit
XMLUnit provides assertions that help testing code that produces XML.
XMLUnit 2.x Development Moved to GitHub XMLUnit provides help with testing code that creates or consumes XML. XMLUNit 2.x is available for both Java and .NET with a similar API. Development of this version has moved to a GitHub organization[1] with two git repositories for Java and .NET respectively. All discussion about XMLUnit independent of any version will happen on the XMLUnit general mailing list[2]. -
14
NexusDataLink
Connect, monitor and control your (embedded) systems remotely. m2m/IoT
...The communication interface is defined in XML automatically providing a REST interface. NexusDataLink integrates smoothly in existing software or firmware and significantly reduces connection- or communication-related source code. -
15
OpenAutonomy.java
Java glue code for OpenAutonomy RPCs.
Generated Java glue code for accessing RPC end-points on OpenAutonomy servers. -
16
...Šimeček, D. Langr, P. Tvrdik), In 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'2012), 2012.
-
17
DoCookBook
Cookbook Style Document for DocBook Customizations
This project has been moved to GitHub: https://github.com/tomschr/dbcookbook/ The DoCookBook project aims to create an open source book about DocBook and the DocBook XSL stylesheets written as a cookbook and released under a Creative Commons license. -
18
⚠️ PROJECT MOVED TO GITHUB ⚠️ Active development of ini4j has resumed on GitHub. Please visit https://github.com/ini4j/ini4j for the latest source code, issues, releases, and the upcoming v0.6.0 roadmap. (This SourceForge page is archived). Simple Java API Windows style .ini file handling. Also provide Java Preferences API functionality on top of .ini file.
-
19
Human Speakable Programming Language
foundation of the General Intelligence Operating System
HSPL is Human Speakable Programming Language, allowing for communication between human-to-computer and human-to-human in the same language. This project has moved to http://sourceforge.net/p/spel We are currently working on human-to-computer programming-language with mostly English base vocabulary. Though once we have that, we plan to add support for other world Languages, including Chinese, Spanish, Russian, Arabic, Hindi, among others. Eventually HSPL shall be the foundation of GIOS the General Intelligence Operating System. ... -
20
busilet
Busilet is a reference implementation of IDTP and UTID.
...Busilet4j is written in Java language and is for Java programmer to develop IDTP server and IDTP client software. The documents include IDTP specification v0.95 both in English and Chinese edition, an API specification in English only, all source code in Java, and a set of JUnit tests. See project document for more. Author: Huang Nenggeng huangng@gmail.com -
21
Crème Fraiche
eml2pdf converter
I DO NO LONGER CLAIM PLATFORM-INDEPEDENCE FOR Crème Fraiche. THIS PROGRAM RUNS ON LINUX. Crème Fraiche transforms EML-files, as they are created by email-clients, to PDF. PSE see the rubygems.org site for updates or use the gem-tool right away to install Crème Fraiche: ~$ gem install cremefraiche -
22
...MinimalModbus is an easy-to-use Python module for talking to instruments (slaves) from a computer (master) using the Modbus protocol, and is intended to be running on the master. Example code includes drivers for Eurotherm and Omega process controllers. The only dependence is the pySerial module (also pure Python). This software supports the ‘Modbus RTU’ and ‘Modbus ASCII’ serial communication versions of the protocol, and is intended for use on Linux, OS X and Windows platforms. It is open source, and has the Apache License, Version 2.0.
-
23
The National Library of New Zealand's Metadata Extraction Tool automatically extracts preservation-related metadata from digital files, then output that metadata in XML formats. It can be used through a graphical user interface or command-line interface. Please take the latest code from 'https://github.com/DIA-NZ/Metadata-Extraction-Tool.git'. The code on source forge will not be updated henceforth as it is moved to github.
-
24
calc2booktab.latex
Script for OpenOffice/LibreOffice to convert tables to Latex-Code
...The soruceforge page won't get any bugfixes, please use the github repo if you want to try this macro. -------------------------------------------------------------------------- A Python extension for OpenOffice/LibreOffice to convert selected cells to LaTeX-Code. Its similar to Calc2Latex, but typographic formatting is more advanced (numeric columns, dcolumn-package, booktab-package) Script is tested and working with... ... Ubuntu 12.04 64 bit / LibreOffice 3 ... Windows 7 64 bit / LibreOffice 3* ... Arch Linux 64 bit / LibreOffice 4.2 *Encoding problems with special characters (non-unicode) on Windows reported. -
25
FAT-FREE is a powerful and lightweight PHP 5.3+ Web application framework designed to help you build dynamic and robust Web sites - fast! Unlike other PHP frameworks, Fat-Free aims to be usable - not usual.
