OSI-Approved Open Source (14)
- GNU General Public License version 2.0 (7)
- GNU Library or Lesser General Public License version 2.0 (5)
- BSD License (2)
- GNU General Public License version 3.0 (2)
- Affero GNU Public License (1)
- Boost Software License (1)
- GNU Library or Lesser General Public License version 3.0 (1)
- Python Software Foundation License (1)
- Public Domain (2)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
Assorted projects. General-purpose libraries for Python, C++, Scala, bash, and others. Meta-programming tools. System utilities. UI components. Web APIs. Configuration files. Benchmarks. Programming competition entries. And much more.1 weekly downloads
A cross-platform unit testing framework for C++.
The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.1 weekly downloads
FreeArc combines best 7-zip and RAR features: auto-selected LZMA/PPMD/Multimedia compression, 1gb dictionary, exe/dict/delta data filters, updatable solid archives, SFXes, recovery record, AES+Twofish+Serpent encryption, Linux support and much more...140 weekly downloads
Functional Reactive VR is a library for developing dynamic, interactive Virtual Environments. The FRVR framework provides new and powerful tools for implementing the dynamics and interaction of Interactive Experiences.
A collection of parsers for grammars defined in IETF RFC documents1 weekly downloads
A bridge to the Java virtual machine via JNI for Haskell (and perhaps later other functional lanaguages).2 weekly downloads
This SourceForge project page is obsolete. Please visit http://www.musicpd.org/32 weekly downloads
Trace the execution of a program to show a tree of all the functions that got called.
Kaya: A statically typed, imperative cross-platform programming language with type inference, powerful data description capabilities and built-in abstractions and libraries for easy and robust web application development. http://kayalang.org/2 weekly downloads
realtime 3d surface rendering library1 weekly downloads
Next generation music generation.
Scripts, programs, configuration files, and other useful stuff from obfusk.net