Search Results for "gnu/linux" - Page 6

x
Sort By:

Showing 133 open source projects for "gnu/linux"

View related business solutions
Software Development Haskell Clear Filters & Widen Search
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • 1
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    A fexpr (unevaluating expression) based Lisp dialect.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    Article manager

    A command line tool for articles management.

    A command line tool that allows a semi-automated scientific articles management. It assumes an existence of a directory of a specific format in the file system. The tool interprets the data stored in the directory (called a repository), extend it via the usage of some automatic tools such as pdftotext, and search the text as well as some metadata.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    A collection of general or specific tools created in the process of creating other, larger programs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
    Start Free Trial
  • 5
    A set of MediaWiki extensions and other tools developed for the Twelf wiki (http://twelf.plparty.org) that enable a wiki to naturally incorporate logic Twelf in a number of meaningful and useful ways.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    A compiler which translated AspectFun program into Haskell.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    A cross-platform unit testing framework for C++.
    Downloads: 0 This Week
    Last Update:
    See Project

Related Categories

MongoDB Logo MongoDB