PENM (“PE Network Manager”) is a small utility to install and manage different network settings in a Windows PE. Mostly it is used by “WinBuilder” projects like “LiveXP”, “Win7PE”, “Win8.1SE”, “Win10PE_SE” etc. The utility is developed under the BSD-license type and AutoIt3-EULA. Cloudbased voice solutions are common in enterprise networks and frustrating for operations teams […]
Power Tools for Unix/Linux (*niX) 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 […]
Ngspice project aims to improve the spice3f5 circuit simulator. 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 […]
Sagacity is a vulnerability assessment and STIG compliance data management tool designed to make security testing more efficient, effective and complete. Security assessments, especially those done for DoD and Federal organizations, produce tremendous amounts of scan and compliance data that security engineers must sort through and deconflict, identify untested requirements, and somehow analyze to communicate […]
An implementation of a light-weight stack-less jit compiler for x86 (32/64), ARM (32 [v5,v7,thumb2]/64), PowerPC (32/64), MIPS (32/64) and SPARC (32) architectures. It generates machine code from a platform independent (simplified) assembly language. If you are like the rest of our user community, your IT team is busy. With pressure to deliver on-time projects, you […]
x3270 is a suite of 3270 terminal emulation tools. x3270 is an interactive X11 client, c3270 is curses-based interactive client, and s3270 and tcl3270 are scripting tools for writing screen-scraping applications. wc3270 is the Windows console client and ws3270 is the Windows screen-scraping tool. Includes IND$FILE support, DBCS, and more. Today’s small-to-medium-sized (SMB) businesses and […]
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 […]
Why Is libxc needed? There doesn’t exist a library for ANSI C99 for common data containers, such as vectors, trees, etc. There also also doesn’t exist a library for common functionality, such as error reporting/logging, string functions, configuration management (reading config files), etc… The programmer working in C doesn’t have anything analogous to the Boost […]
Ayam is a free 3D modelling environment for the RenderMan interface. 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 […]
UniCC (UNIversal Compiler Compiler) is a LALR(1) parser generator. It compiles an augmented grammar definition into a program source code that parses that grammar. Parsing is the process of transferring input matching a particular grammar, like e.g. a source code written in a programming language, into a well-formed data structure. Because UniCC is intended to […]