Snagit’s image and video capture is powerful, but not complex. All-in-One Capture® grabs your entire desktop, a region, a window, or a scrolling window from any webpage or application—-all with a single hotkey or click. Snagit gives you a simple way to edit. Show a complex process, give detailed feedback, or share important information with the people who need it most. Download your free trial now!Advertisement
- Linux (7)
- Modern (7)
- BSD (6)
- Grouping and Descriptive Categories (6)
- Mac (6)
- Windows (6)
- Emulation and API Compatibility (2)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
This SourceForge project page is obsolete. Please visit http://www.musicpd.org/12 weekly downloads
Distributed reverse / forward proxy and tunneling solution for TCP.14 weekly downloads
A collection of machine-checkend mathematical proofs
The Grammatical Framework (GF) is a grammar formalism based on type theory. It consists of a special-purpose programming language, a compiler of the language, and a generic grammar processor.
HaskellDB is a Haskell library for expressing database queries and operations in a type safe and declarative way.
haIDE is a GUI-based Haskell IDE written in Haskell using gtk. It does not include an editor but instead interfaces with NEdit, vim or GNU emacs.
A beginners' level theorem prover project for logic students. Okitsune is written in Haskell and open for contributions.