CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.
dgcusbdcp.ko is a pre-compiled kernel module for ASUS eeePC. It is needed to use this mini-laptop with Zoom 3095 V92 USB and other Conexant DGC (USB DCP) modems.
Secure File Transfer for Windows with Cerberus by Redwood
Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.
Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
OpenPCI is a user-mode library which allows user-mode applications to access PCI-based devices. A generic driver enables user-mode developers to access and manage their hardware without kernel knowledge and driver development knowledge.
K8055 User Interface is a Mac OS X based Cocoa application for controlling the Velleman K8055 USB interface. Included is a static library which can be used for developing other applications and closely replicates the Velleman Windows .DLL functions.
Alud (Ashtray Linux Userspace Driver) is a userspace Linux driver for Philips Pegoda USB RFID reader/writer. It's come also with a demo GUI application.
This project is based on the sourceforge project tn5250j. The intention of this tn5250jEngine project was to capsulate a slim core modul interpreting the Telnet 5250 stream. This core module provides a 5250-ScreenGrid Interface for any GUI application.
Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.
Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
This is a library for easy accessing chip cards /smart cards via a chipcard reader. It currently works under Linux, FreeBSD and Windows. It is tested with Towitoko and Kobil readers.
Uma API de C++ multi-plataforma que fornece fácil acesso à porta paralela. Com ela o desenvolvedor não se preocupa com inversões de bits e como o sistema lida com a porta. English: A C++ API for using the PC parallel port written in BR Portuguese
HW(VHDL) and SW of logic analyzer and On-Chip-Verification(OCV) for Value Change Dump(VCD) file format that exported to seemd SystemC ,ModelSIM, and many other EDA tools. Very easy and Simple.
It is as IDE for loading hex files to pic using tiny pic bootloader.For More details visit the project->web site.Please Install libqt4-gui to solve the Problem with the deb package.If any problem contact me george@space-kerala.org
Tecnodiscap group (http://tecnodiscap.unizar.es) from University of Zaragoza (http://www.unizar.es) belongs to I3A Research Institute (http://i3a.unizar.es/) and is developing tools for Assitive technologies. Zigbee Driver. Osgi4ami Interfaces. User
Frexhwd is a simple and small Hardware Detection for Linux. It is written in Unix shell(Bash) and C Language. it easy to run on small, embedded or simple system.
A daemon to automatically control the fan speed of Thinkpad laptops using the ThinkPad ACPI Extras Driver in order to minimize noise pollution and extend battery life.
It is an opensource programer MCU51 chips family (i.e. 8051, 8052...) and i2c eeproms (i.e. 24c01...), programer accepts input file in Intel Hex file format and with pc comunicate via rs232.
LibE1000 is a user-space library for Intel Gigabit Ethernet adapters. It implements an "OS bypass" mechanism, where fast path processing and rx/tx data transfers are performed without kernel assistance (i.e. no system calls).
A collection of device drivers and system level code to enable user-space to directly interact with hardware and system features, bypassing the kernel, to effectively enable user-space device drivers.