The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save. Enter […]
OWASP Juice Shop is an intentionally insecure web application written entirely in Javascript which encompasses the entire range of OWASP Top Ten and other severe security flaws. Juice Shop is written in Node.js, Express and AngularJS. It was the first application written entirely in JavaScript listed in the OWASP VWA Directory. The application contains a […]
The BLT Toolkit is an extension to Tcl and Tk. It adds new commands and widgets to the Tcl interpreter. Included widgets are 2D graph, barchart, stripchart, tab notebook, and tree viewer. You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save. Enter what you need (minutes, […]
ChibiOS/RT is a free and efficient RTOS designed for deeply embedded applications. It offers a comprehensive set of kernel primitives and supports many architectures: ARM7, Cortex-M0, Cortex-M3, Cortex-M4, PowerPC e200z, STM8, AVR, MSP430, ColdFire, H8S, x86. The SourceForge Speed Test measures Latency/Ping, Jitter, Download Speed, Upload Speed, Buffer Bloat, and Packet Loss. Upon completion, you […]
Psi is a cross-platform powerful XMPP/Jabber client (Qt, C++) designed for the Jabber power users. Psi+ is a development branch of Psi IM XMPP/Jabber client. Project Purpose: collection, refinement and writing new patches for transfer them to Psi upstream developers. You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to […]
GnuCOBOL (formerly OpenCOBOL) is a free COBOL compiler. cobc translates COBOL source to executable using intermediate C, designated C compiler and linker. OpenCOBOL 1.1 became GNU Cobol 1.1 in 2013. Official releases at ftp://ftp.gnu.org/gnu/gnucobol GnuCOBOL 2.2 has been released and is the current version. A programmer’s guide, by Gary Cutler, and other documentation, is indexed […]
CAWT is a utility package based on Twapi to script Microsoft Windows® applications with Tcl. It provides high level procedures for automation via the COM interface. Currently modules for Excel, Word, PowerPoint, Outlook, Internet Explorer, Office Document Imaging, Matlab, and Google Earth are available. You’re probably paying too much for cell phone service. Wirefly compares […]
JMSToolBox is an “Universal” JMS Client able to interact with the greatest number of Queue Managers/Queue providers on the market in a consistent manner. JMSToolBox is a JMS client based on the Eclipse RCP platform, and interactions with Q Managers are implementend via “eclipse plugins” JMSToolBox exposes some of its features as REST services so […]
Native C++ port of .Net Framework on Windows macOS and Linux. The Switch framework is… • a collection of native C++ classes libraries, similar to the .NET Framework; • written in efficient, modern C++14; • and highly portable and available on many different platforms (Windows, macOS, Linux); Github sources : ———————- git clone https://github.com/gammasoft71/Switch Switch […]
The SourceForge Speed Test measures Latency/Ping, Jitter, Download Speed, Upload Speed, Buffer Bloat, and Packet Loss. Upon completion, you can view detailed reports about your connection. This HTML5 speed test does not require Flash or Java, and works on all devices including tablets and smartphones. Host on your own infrastructure or use ours. For licensing, […]