Search Results for "program"
Sort By:
Showing 200 open source projects for "program"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
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.
-
1
TeXworks
A simple interface for working with TeX documents
TeXworks is a free and simple working environment for authoring TeX (LaTeX, ConTeXt and XeTeX) documents. Inspired by Dick Koch's award-winning TeXShop program for Mac OS X, it makes entry into the TeX world easier for those using desktop operating systems other than OS X. It provides an integrated, easy-to-use environment for users on other platforms particularly GNU/Linux and Windows and features a clean, simple interface accessible to casual and non-technical users. -
2
jq
Lightweight and flexible command-line JSON processor
...You can download a single binary, scp it to a far away machine of the same type, and expect it to work. jq can mangle the data format that you have into the one that you want with very little effort, and the program to do so is often shorter and simpler than you'd expect. Data in jq is represented as streams of JSON values - every jq expression runs for each value in its input stream, and can produce any number of values to its output stream. jq filters run on a stream of JSON data. The input to jq is parsed as a sequence of whitespace-separated JSON values which are passed through the provided filter one at a time. ... -
3
TEMPL
A language for writing HTML user interfaces in Go
Create components that render fragments of HTML and compose them to create screens, pages, documents, or apps. -
4
pywebview
Build GUI for your Python program with JavaScript, HTML, and CSS
pywebview is a lightweight cross-platform wrapper around a webview component that allows to display HTML content in its own native GUI window. It gives you power of web technologies in your desktop application, hiding the fact that GUI is browser based. You can use pywebview either with a lightweight web framework like Flask or Bottle or on its own with a two way bridge between Python and DOM. pywebview uses native GUI for creating a web component window: WinForms on Windows, Cocoa on macOS... -
Software Defined StorageQuantaStor is a unified Software-Defined Storage platform designed to scale up and out to make storage management easy while reducing overall enterprise storage costs.
-
5
Deep Blue Thesaurus Conversion
An open source free input method thesaurus conversion program
An input method thesaurus conversion software, supports the following more than 20 input method tools and thesaurus. This program supports batch conversion (drag and drop multiple thesaurus files at a time, or hold down Ctrl to select multiple files), support command line mode (use -? command to view help under the command line), and support Windows, Linux, and MacOS. Supports Cangjie, Erbi (Super Strong Erbi, Qingsong Erbi, etc.), Pinyin (full spelling, double spelling), Wubi (Wubi 86, Wubi 98), Zheng Ma, Zhuyin. ... -
6
ArduinoJson
JSON library for Arduino and embedded C++. Simple and efficient
...ArduinoJson can parse directly from an input Stream or std::istream. ArduinoJson can produce compact or prettified documents. ArduinoJson works directly with strings stored in program memory. ArduinoJson supports two coding styles, with implicit or explicit casts. ArduinoJson deduplicates strings in the JSON document. When you have several identical keys or values, the JsonDocument only stores one of each. In practice, this feature reduces memory consumption by 20-30%. -
7
mp-html
Small program rich text component, supports rendering and editing html
A powerful applet-rich text component. Small program rich text component supports rendering and editing HTML and supports use on WeChat, QQ, Baidu, Alipay, Toutiao, and uni-app platforms. Displaying dynamic HTML rich text is a necessary requirement for many applications. The applet platform does not support dom operations, making this a problem. The built-in rich-text component supports few tags and blocks all events, making it difficult for practical application. -
8
Crowbook LaTeX
Converts books written in Markdown to HTML, LaTeX/PDF and EPUB
Crowbook's aim is to allow you to write a book in Markdown without worrying about formatting or typography and let the program generate HTML, PDF and EPUB output for you. Its focus is novels and fiction, and the default settings should (hopefully) generate readable books with correct typography without requiring you to worry about it. -
9
Crowbook
Converts books written in Markdown to HTML, LaTeX/PDF and EPUB
Crowbook's aim is to allow you to write a book in Markdown without worrying about formatting or typography and let the program generate HTML, PDF and EPUB output for you. Its focus is novels and fiction, and the default settings should (hopefully) generate readable books with correct typography without requiring you to worry about it. To see what Crowbook's output looks like, you can read the Crowbook guide rendered in HTML, PDF or EPUB. Crowbook will parse this file and generate HTML, EPUB, and/or PDF output formats, according to the settings in the configuration file. ... -
ATF Compliance Made Simple. Guaranteed.Since 2010, FastBound Firearms Compliance Software has processed hundreds of millions of serial numbers for thousands of Federal Firearms Licensees (FFLs). FastBound comes with an attorney-backed ATF compliance guarantee. You won't find this anywhere else. FastBound Plans start at $8/mo with no contracts, upgrade, downgrade or cancel any time. Try FastBound free for 14 days and see for yourself why FastBound is the leader in Firearms Compliance Software. FastBound transforms any computer, tablet, or even the buyer’s smartphone into a compliant 4473 with digital signature support with no transaction fees or special hardware requirements. FastBound offers a robust API and syncs effortlessly with a growing list of point of sale (POS), enterprise resource planning (ERP), and other software packages. Only FastBound gives you the peace of mind to prosper backed by a guaranteed legal defense related to the use of our software. Nobody else offers this!
-
10
Coost
A tiny boost library in C++11
...Coost, co for short, is like boost, but more lightweight, the static library built on Linux or Mac is only about 1MB in size. log supports two types of logs: one is level log, which is divided into 5 levels: debug, info, warning, error, and fatal, printing a fatal log will terminate the program; the other is topic log, logs are grouped by topic and logs of different topics are written to different files. -
11
openvpn-monitor
openvpn-monitor is a web based OpenVPN monitor
openvpn-monitor is a simple Python program to generate HTML that displays the status of an OpenVPN server, including all current connections. It uses the OpenVPN management console. It typically runs on the same host as the OpenVPN server, however, it does not necessarily need to. OpenVPN-monitor is a web-based OpenVPN monitor, that shows current connection information, such as users, location, and data transferred. -
12
OpenDetex
Tool for extracting plain text from TeX and LaTeX sources
Improved version of Detex, tool for extracting plain text from TeX and LaTeX sources. OpenDetex is a program to remove TeX constructs from a text file. It recognizes the \input command. This program assumes it is dealing with LaTeX input if it sees the string "\begin{document}" in the text. It recognizes the \include and \includeonly commands. -
13
QPDF
PDF transformation/manipulation program + library
QPDF is a C++ library and set of programs that inspect and manipulate the structure of PDF files. It can encrypt and linearize files, expose the internals of a PDF file, and do many other operations useful to end users and PDF developers. -
14
Cue Sheet Generator
Easily generate cue sheets for CD images with compressed audio tracks.
A program to easily generate cue sheets for CD images with compressed or raw (wav) audio tracks, usable, for example, in DosBox. -
15
IO91pm
Command-line calculator for Maidenhead- (QTH-, QRA-) Locators.
....-) based calculators, but I wanted something for the command-line, something that could also be used in (bash-)scripts. * The repository for my GNU/Linux distro has only one such a QTH-calculator. --- This program has a few issues --- Made worse by the adaption for Ubuntu, that removed half of its functionality So, I had to roll my own. (Which I enjoyed anyhow.) Perhaps also useful for others -
16
workerPdf
WorkerPDF is GUI for GhostScript created for PDF conversion
WorkerPDF uses GhostScript https://www.ghostscript.com/. WorkerPDF created for PDF conversion. Program features: - Compress pdf documents; - Combine pdf; - Moving pdf pages; - Rotating pdf pages; - Creating pdf from images; - Convert pdf to images. - Encrypt, decrypt pdf WorkerPDF использует GhostScript https://www.ghostscript.com/. WorkerPDF создан для преобразования PDF. Возможности программы: - Сжатие pdf документов; - Объединение pdf; - Перестановка страниц pdf; - Поворот страниц pdf; - Создание pdf из изображений; - Преобразование pdf в изображения... -
17
Chord5
A version of CHORD4 updated to cooperate with ChordSmith.
CHORD5 is a ChordPro editor and renderer, useful for formatting and printing song sheets ("lead sheets"). This version of the CHORD program (based on CHORD4) has been modified to add functionality that enables it to cooperate with the ChordSmith program (available at https://sourceforge.net/projects/chordsmith/). This modified version has been renamed to CHORD5. Although it is revised to work with ChordSmith, it also works well as a standalone program. NOTE: If you have ChordSmith, you already have CHORD5. ... -
18
TeXCAD
A simple LaTeX {picture} drawing tool
TeXCAD is a program for drawing or retouching {picture}s in LaTeX. It extends the original {picture} capabilities, even without any obligatory LaTeX package, class or style sheet. Core of TeXCAD is totally portable. A MS Windows version is available. More information on... https://texcad.sourceforge.io/ Alire crate: https://alire.ada.dev/crates/texcad Mirror: https://github.com/zertovitch/texcad -
19
JSONly
A GUI program for interacting with and manipulating JSON files
JSONly is a lightweight, user-friendly GUI JSON editor designed to make working with JSON files simple and efficient. Built with a focus on usability, Jsonly provides an intuitive interface for viewing, editing, and managing JSON data without overwhelming you with unnecessary features. -
20
BWTC32Key
A file compressor with AES256CTR and Base32768 binary-to-text encoding
BWTC32Key is a program I wrote that compresses data, then optionally encrypts it, and then outputs a Base32768 representation as the final output -
21
OxyWitleaf2CSV
Witleaf pulse oxymeter BIN format data decoder.
The simple program is a Witleaf handheld pulse oxymeter BIN file format data decoder. It reads BIN-files produced by popular professional pulse oxymeters manufactured by Shenzhen Witleaf Medical Electronics Co., Ltd. (like the WIT-S300 shown in the photo on the project icon) and produces a CSV-formatted output with the extracted data to stdout (gets printed to the console if not directed otherwise). -
22
TySON
TypeScript as a Configuration Language. TySON stands for TypeScript
...TySON files use the .tson extension. The goal is to make it possible for all major programming languages to read configurations written in TypeScript using native libraries. That is, a go program should be able to read TySON using a go library, a rust program should be able to read TySON using a rust library, and so on. Our first implementation is written in pure go, and a rust implementation will follow. -
23
gsSetInitialView
GUI to set PDF initial view using Ghostscript on Windows
...The GUI allows for user selection of the initial view settings (navigation pane, page layout, zoom, etc.), generates a snippet of corresponding PostScript code (pdfmark), and then runs the Ghostscript command line program to apply the pdfmark to the PDF file. OS: Windows. Author: David King. License GPLv3. -
24
ReadESM
Shows the content of digital tachograph files
This program takes an ESM file, downloaded from a digital tachograph or a driver card (used in the European Union for trucks heavier than 3.5 tons), and converts it into human-readable form, either HTML or simple plaintext. -
25
igspread
converts between IGES file and text file
Command-line interface program that converts between IGES file and text file. IGES files are compatible with most of CAD systems. This program permits you to convert curves and points created in CAD program into coordinates in text file or you can do the opposite - convert text files into curves. It is especially suitable for curves described by hundreds of coordinates, e.g. airfoil contours of aircraft wings.
