- BSD (9)
- Linux (9)
- Modern (9)
- Solaris (9)
- Grouping and Descriptive Categories (8)
- Windows (7)
- Mac (5)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
Open Source Solid Modeling CAD1,454 weekly downloads
Highly scalable/configurable Messaging Platform allowing users in a domain to be distributed on multiple hosts, has multiple queues. Provides virtual domains/users in MySQL. Modern MSP class qmail replacement with ESMTP, POP3/IMAP, QMTP, QMQP support379 weekly downloads
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)3 weekly downloads
Cloudbased voice solutions are common in enterprise networks and frustrating for operations teams to manage. Simplify VoIP monitoring by having a proactive analysis of on-prem, hybrid and UCaaS voice services. Try the ThousandEyes VoIP monitoring solution today, free.Advertisement
GamesCrafters is an undergraduate research group at the University of California, Berkeley. GAMESMAN is our software for building text & X11 apps for finite, 2-person abstract perfect-information games (e.g., TicTacToe & chess). We've authored 40+ games1 weekly downloads
An original bruteforce-based encryption/decryption system. BBE was originally conceived to chat with encrypted text on IRC. mIRC and X-Chat support BBE via script addon. BBE can also encrypt MIME encoded files. Blowfish encryption is currently supported.
ChemVisio is software which might be useful for educational purposes (non-organic chemistry, crystallography etc.). It might be a good visualization support for all people who need better illustrations than that you could see in books.
IC CAD tools, documentation, scripts, and libraries for designing high-performance ICs, including SUE for schematics, MAX for layouts, DPC for datapaths and MCC for megacells. Prebuilt binaries for Linux, Sparc-Solaris, and HP-PA.
OS based on Agent based Security with a new type of split kernel and agents platform.
tmk - a tcl based intelligent ``make`` tool. This ``make`` tool combines the functionality of a traditional make utility with the power of the Tcl scripting language. tmk works on everywhere