Development Software

OS OS

    • More...
  • More...
    • More...

Category Category

    • More...

License License

    • More...

Translations Translations

  • More...

Programming Language Programming Language

  • More...

Status Status

  • More...

Audience Audience

User Interface User Interface

    • More...
  • More...

Database Environment Database Environment

Freshness Freshness

Development Software

  • 2018 Network Intelligence Planning Guide 2018 Network Intelligence Planning Guide Icon
    2018 Network Intelligence Planning Guide Icon

    Get insights on net neutrality, cloud readiness, security and WAN transformation.

    Networking is becoming cloudier, hybrid and more Internet-centric. IT managers now own user experience, whether they own the networks or not. Get our latest ebook to learn how network intelligence will help you adapt to a quickly changing Internet-centric environment.
    Are you involved with your company's network performance/operations team?
    Get Ebook
  • Both Apple and Google’s ‘Best App’ Password Manager Both Apple and Google’s ‘Best App’ Password Manager Icon
    Both Apple and Google’s ‘Best App’ Password Manager Icon

    Still writing down passwords? Or rotating between a handful that you can remember? Not safe! Get Dashlane, It’s FREE!

    With all the accounts you have, remembering every single password is impossible. Dashlane protects your passwords and creates an easy, secure way to access all of your accounts on any device you own.
  • Haskell support for Eclipse

    We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.

  • MediaWiki to LaTeX

    MediaWiki To LaTeX converts MediaWiki markup to LaTeX and generates a PDF. So it provides an export from MediaWiki to LaTeX. It works with any project running MediaWiki, especially Wikipedia and Wikibooks.

  • Music Player Daemon

    This SourceForge project page is obsolete. Please visit http://www.musicpd.org/

  • PortFusion Icon

    PortFusion

    Distributed reverse / forward proxy and tunneling solution for TCP.

    PortFusion is a minimalistic, cross-platform, transport-layer distributed reverse / forward proxy for TCP written in Haskell + LLVM and released under GPLv3. A single package that makes the most of each platform by tapping into their unique capabilities, combining this power with an intuitive interface, beautiful design and Haskell's excellent support for unprecedented levels of concurrency and parallelism. It strives for the smallest source code size (< 500 lines) while delivering maximum throughput with near zero overhead.

    Downloads: 8 This Week Last Update: See Project
  • pandoc

    Universal text format converter

    Pandoc is a Haskell library for converting from one markup format to another, and a command-line tool that uses this library. For latest releases, see https://github.com/jgm/pandoc/releases.

    Downloads: 5 This Week Last Update: See Project
  • Open source. Easy to use. Proven. Complete. Open source. Easy to use. Proven. Complete. Icon
    Open source. Easy to use. Proven. Complete. Icon

    End to end big data that enables you to spend less time formatting data and more time analyzing it.

    Discover HPCC Systems - the truly open source big data solution that allows you to quickly process, analyze and understand large data sets, even data stored in massive, mixed-schema data lakes. Designed by data scientists, HPCC systems is a complete integrated solution from data ingestion and data processing to data delivery. The free online introductory courses and a robust developer community allow you to get started quickly.
  • Assorted projects

    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.

  • Archive of Formal Proofs Icon

    Archive of Formal Proofs

    A collection of machine-checkend mathematical proofs

    The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

  • Gtk2Hs - A GUI Library for Haskell

    A wrapper around Gtk+ 2.x for the functional language Haskell featuring full memory management, Unicode awareness and of course the new features of Gtk2.

  • husk-scheme Icon

    husk-scheme

    An R5RS Scheme interpreter and library written in Haskell. Provides advanced features including continuations, hygienic macros, and the full numeric tower.

    Downloads: 2 This Week Last Update: See Project
  • Argh! interpreter in wxHaskell

    An interpreter for the Argh! esoteric programming language in wxHaskell. The program allows one to load, edit, save, validate and run Argh! programs. It currently supports all commands except 'e' and 'E'. Documented using Haddock.

    Downloads: 1 This Week Last Update: See Project
  • Identify and respond to threats before damage is done Identify and respond to threats before damage is done Icon
    Identify and respond to threats before damage is done Icon

    A SIEM that makes it easy to use logs for security, compliance, and troubleshooting.

    SolarWinds® Log & Event Manager (LEM) delivers comprehensive Security Information and Event Management (SIEM) capabilities in a highly affordable, easy-to-use, and quick-to-deploy virtual appliance. LEM provides the visibility, security, and control that IT professionals need to alert on and respond to security threats, and assist in meeting the regulatory compliance guidelines of HIPAA, PCI DSS, SOX, and more. Try it FREE for 30 days!
  • Soutei: trust-management system

    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.

    Downloads: 1 This Week Last Update: See Project
  • Xcerpt

    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

    Downloads: 1 This Week Last Update: See Project
  • Agda 1

    Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/

    Downloads: 0 This Week Last Update: See Project
  • AlloyMDA

    MDA support for Alloy

    This project intends to develop tools to enable MDA support for the formal modeling language Alloy.

    Downloads: 0 This Week Last Update: See Project
  • AspectFun

    A compiler which translated AspectFun program into Haskell.

    Downloads: 0 This Week Last Update: See Project
  • Benjo

    Benjo shall introduce the first open-source market economy, run entirely on the net and allowing people from all around the world in collaborations that generate money.

    Downloads: 0 This Week Last Update: See Project
  • Crouton

    A programming language designed for searching and manipulating tree-structured data, particularly corpora of natural languages encoded in an s-expression-like format.

    Downloads: 0 This Week Last Update: See Project
  • CxxTDD

    A cross-platform unit testing framework for C++.

    Downloads: 0 This Week Last Update: See Project
  • DAU - Dokuwiki Administration Utilities

    DAU is a set of easy to use utilites for Dokuwiki administration. They help to see and analyse the whole structure graph of a wiki, manage users and groups, find unneeded uploaded media. For more information please visit http://dau.sourceforge.net/

    Downloads: 0 This Week Last Update: See Project
  • DebToo - Debian powered from source

    DebToo - Debian powered from source. Portage-like configurability brought into Debian with the goodies known to Gentoo users: USE flags, optimised packages, hand picked patches, fine grained tweaking performance, inherted configurations.

    Downloads: 0 This Week Last Update: See Project
  • Dynamic Web Services

    Prototype to examine techniques of generating web services at run-time (not compile time) from a static service description.

    Downloads: 0 This Week Last Update: See Project
  • Eve Programming Language

    Eve is intended to be a Haskell-derived language with more familiar (Python/Rubyish) syntax. Short term, think of it as a gateway drug to Haskell for Python/Ruby programmers. Long-term, it's intended to be a practical (DB/webapp/GUI-enabled) Haskell.

    Downloads: 0 This Week Last Update: See Project
  • ExtensiveFun

    Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.

    Downloads: 0 This Week Last Update: See Project
  • FUNNIE

    Functional Networked Integrated Environment (FUNNIE) is a networked CSCW programming environment specifically tuned to the needs of students and instructors, based on a subset of Haskell.

    Downloads: 0 This Week Last Update: See Project
  • Fid Emacs

    The default text editor for Fid.

    Downloads: 0 This Week Last Update: See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • Next

Get latest updates about Open Source Projects, Conferences and News.

No, Thank you