OSI-Approved Open Source (38)
- Affero GNU Public License (1)
- Artistic License (1)
- BSD License (14)
- Boost Software License (1)
- GNU General Public License version 2.0 (14)
- GNU General Public License version 3.0 (6)
- GNU Library or Lesser General Public License version 2.0 (3)
- GNU Library or Lesser General Public License version 3.0 (1)
- MIT License (2)
- Python Software Foundation License (1)
- zlib/libpng License (1)
- Public Domain (2)
- Grouping and Descriptive Categories (38)
- Mac (38)
- Linux (37)
- Windows (37)
- Android (31)
- BSD (3)
- Modern (3)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
Seaweed is a library for the functional programming language Haskell. The current focus of this library is on XML, and the internet. The Haskell Web Publisher (http://hwp.sourceforge.net/) is based on Seaweed.
Soutei is a trust-management system for access control in distributed systems. Soutei policies and credentials are written in a declarative logic-based language. Soutei policies are modular, concise, readable, supporting conditional delegation.
The Glasgow Haskell Compiler is a robust, fully-featured, optimising compiler for the Haskell 98 programming language. Please note, we are no longer using the SourceForge bug tracker. Please go to http://cvs.haskell.org/trac/ghc instead.
SolarWinds® Network Performance Monitor (NPM) is the ONLY monitoring solution with NetPath™ for hop-by-hop visibility into your critical paths, on-premises and into the cloud. NPM also features PerfStack™, helping you accelerate identification of root cause by dragging-and-dropping network performance metrics on a common timeline for immediate visual correlation across all of your network data. See why we're the leader. Try it free for 30 days!Advertisement
This project will develop a set of Semantic Web Libraries implemented in declarative languages like Haskell or Curry.
Xcerpt is a Query and Transformation Language for XML and Semistructured data. Instead of the navigational approach of XPath-based languages like XSLT or XQuery, Xcerpt uses patterns for querying and is based on concepts of logic programming like unifica
ZhDict provides command-line tools to aid English speakers in reading and understanding Chinese texts.
Al Bhed translator written in Haskell. Will feature translations Al Bhed-English and English-Al Bhed, support for keywords, phonetics and more.
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/
PyCharm's debugger is not only one of the fastest available Python 3.6 debuggers, but also able to debug Django templates, and code running remotely, in VMs, and in Docker ContainersAdvertisement
A beginners' level theorem prover project for logic students. Okitsune is written in Haskell and open for contributions.
dependently typed functional programming language
MUgen is an emulator generator which works in a way similar to yacc. It takes an input machine description and outputs a source file which is a fully implemented emulator of that system. This is the open-source system.
PocketGames aims to provide an extended library for several games, so that they can be used with PocketPC, Linux, Windows Mobile, Web Based systems, Windows, etc.
A programmable tank game with 3d-graphics. Kind of.
AlienVault® Unified Security Management™ (USM™) is an innovative approach to security monitoring, delivered in a unified platform. The USM platform includes five essential security capabilities that provide resource-constrained organizations with everything they need for effective threat detection, incident response, and compliance management, in a single pane of glass.Advertisement