Search Results for "dxvk-2.0" - Page 5

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.

NOTE: NTFS-3G development has moved to GitHub. This project page exists for archival purposes only! For the latest NTFS-3G updates, please visit: https://github.com/tuxera/ntfs-3g The NTFS-3G driver is a safe read/write NTFS driver for Linux, Mac OS X, OpenSolaris, FreeBSD, NetBSD, QNX, Windows and Haiku, providing fast and POSIX handling of the Windows XP, Windows Server 2003, Windows 2000, Windows Vista and Windows 7 file system

tcptrace is a tool written by Shawn Ostermann at Ohio University, for analysis of TCP dump files. It can take as input the files produced by several popular packet-capture programs, including tcpdump, snoop, etherpeek, HP Net Metrix, and WinDump. tcptrace can produce several different types of output containing information on each connection seen, such as elapsed time, bytes and segments sent and recieved, retransmissions, round trip times, window advertisements, throughput, and more. It can...

DocBook to LaTeX Publishing transforms your SGML/XML DocBook documents to DVI, PostScript or PDF by translating them in pure LaTeX as a first process. MathML 2.0 markups are supported too. It started as a clone of DB2LaTeX.

Multiple services fork of original multi-platform inadyn, and inadyn-advanced projects. Supports many update services, easily extendable for others including additional servers config file, custom response codes, custom parameter names, and custom update server type. Highly flexible with many per alias option parameters. Supports IPv4, and IPv6. Console, or installed as a service. Unicode. And other features. dyndns.org (dynamic, static, &...

ApVSys is a general open-source wrapper designed for engineering Unix/Linux environment..It provides a way to use and manage simultaneously different versions of applications (engineering tools, compilers, debuggers simulators, ... ).

FastSim consists of: - 'Facile' a highly flexible and expressive processor-architecture specification-language. - A compiler for the specifications which produces high-performance, fast-forwarding simulators.

FINA IRP is Web Based, J2EE, OS/DB independent SupTech, BI and PM for SUPERVISORS (Regulators) to receive data from BANKS, MICRO FINANCE INSTITUTIONS (MFI), COOPERATIVES, INSURANCE Companies etc. Generates UBPR, PEARLS, EWS, etc. FINA Integrated Regulatory Platform consists with: - META STRUCTURE DESIGNER; - REPORT DESIGNER: Flexible , Spreadsheet based (LO/OOO) designer; - DATA COLLECTION SYSTEM: DCS is a web-portal and an e-mail robot connected to FINA core through the data...

Siproxd is a proxy/masquerading daemon for the SIP protocol. It allows SIP clients (softphones & hardphones) to work behind an IP masquerading firewall or router.

A complete C++ Text User Interface (TUI) featuring windows, dialogs (buttons, check and radio boxes, input boxes, etc.), mouse support, menues, etc. It's available for various platforms and compilers.

TACO is a toolkit for building distributed control systems or any other distributed system. It is based on a C/C++ core. It is based on the client-server model. It supports writing clients and server on Unix+Windows. Clients and servers can be written in

xjobs has a command line interface similar to xargs to start processes, but runs processes in parallel and provides enhanced concepts for I/O redirection.

BackupPC is a high-performance, enterprise-grade backup system for backing up Linux, WinXX PCs, Macs and laptops to a server's disk. Features include clever pooling of identical files, no client-side software, and a powerful Apache/CGI user interface.

ClusterSSH controls a number of xterm windows via a single graphical console window to allow commands to be interactively run on multiple servers over an ssh connection.

NOTE: We're moving! See adempiere.net for more info. ADempiere Business Suite is a fully functional ERP/CRM/MFG/SCM/POS system suitable for large enterprise adoption. The software is fully open source and supported by an international community of developers and system experts.

Regulus is a Prolog-based toolkit for building spoken dialogue systems.

Applications and device drivers for the EPICS real time database system (see http://www.aps.anl.gov/epics)

Rivoreo's fork of IP Filter firewall software. Original project page https://sourceforge.net/projects/ipfilter/

General C++ Library, with modules for Computer Vision, Pattern Recognition and much more.

pcapsipdump is libpcap-based SIP sniffer with per-call sorting capabilities. It writes SIP/RTP sessions to disk in a same format, as "tcpdump -w", but one file per SIP session (even if there is thousands of concurrent SIP sessions). Getting started: http://pcapsipdump.sf.net/

TORCS, The Open Racing Car Simulator is a highly portable multi platform car racing simulation. It is used as ordinary car racing game, as AI racing game and as research platform. It runs on Linux (x86, AMD64 and PPC), FreeBSD, OpenSolaris and Windows.

Codepot is a web-based subversion repository manager. It incorporates the subversion revision control system and wiki-based documentation, and supports authentication via LDAP or DBMS. If you opt for the simplest, you can manage multiple subversion repositories independent of each other. Going beyond it, you can track issues, write documents, and upload release files. See it live at http://code.abiyo.net

ATTENTION: Snare Lite is unsupported legacy software. While it will remain a part of the SourceForge community, it is no longer secure and compliant. For up to date Snare software check out Snare Enterprise. https://www.snaresolutions.com/try-snare-for-free/ Snare Enterprise was created to keep up with the fast paced security software market. It started with the desire to create premium logging and SIEM tools that were agnostic by nature so they could be used to boost any SIEM architecture...

SisIYA a system monitoring tool

ttyrpld is a multi-OS kernel-level TTY keylogger and screenlogger with (a)synchronous replay support. It runs on Linux, Solaris, FreeBSD, NetBSD and OpenBSD.