Showing 138 open source projects for "linux software development"

View related business solutions
  • Agentic AI SRE built for Engineering and DevOps teams. Icon
    Agentic AI SRE built for Engineering and DevOps teams.

    No More Time Lost to Troubleshooting

    NeuBird AI's agentic AI SRE delivers autonomous incident resolution, helping team cut MTTR up to 90% and reclaim engineering hours lost to troubleshooting.
    Learn More
  • Construction Takeoff Software Icon
    Construction Takeoff Software

    Takeoffs From Anywhere

    Stratosphere’s cutting edge cloud platform gives estimators unprecedented freedom to complete takeoffs from anywhere with next generation takeoff and markup tools.
    Learn More
  • 1
    A front end for haskell with support to multiparameter type classes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    hscratch is a simple command-line tool to produce scratch sounds from a given phonogramme offline coded in Haskell. Currently, it lacks all that command-line sugar like '-v' and '-h'. Working prototype, still to be developed and improved.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    This is the extended euclidean algorithm implemented in haskell. It will put every single step of the algorithm in a file and show the actual result and everything in between.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    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
  • SIEM | API Security | Log Management Software Icon
    SIEM | API Security | Log Management Software

    AI-Powered Security and IT Operations Without Compromise.

    Built on the Graylog Platform, Graylog Security is the industry’s best-of-breed threat detection, investigation, and response (TDIR) solution. It simplifies analysts’ day-to-day cybersecurity activities with an unmatched workflow and user experience while simultaneously providing short- and long-term budget flexibility in the form of low total cost of ownership (TCO) that CISOs covet. With Graylog Security, security analysts can:
    Learn More
  • 5
    Fusion is a powerful high level programming language that merges several feature from Ruby, Python, Java, C++, Visual Basic, etc, in a only language. It's implemented by means of a compiler written in Haskell that generates Ruby code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    ip6addr is a command line tool written in Haskell for filtering IPv6 addresses parsed against RFC 4291
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    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.
    Leader badge
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    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/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    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: 2 This Week
    Last Update:
    See Project
  • World class QA, 100% done-for-you Icon
    World class QA, 100% done-for-you

    For engineering teams in search of a solution to design, manage and maintain E2E tests for their apps

    MuukTest is a test automation service that combines our own proprietary, AI-powered software with expert QA services to help you achieve world class test automation at a fraction of the in-house costs.
    Learn More
  • 10
    More Than Parsing is a parser generator for context free grammars defined in a BNF-like format. It generates scanners, parsers, ASTs, etc. This sf project is no longer active, development will continue in a different place.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 11
    A library to automatically create GUI forms, using WxHaskell and "Scrap Your Boilerplate" generics.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    A Unix desktop environment, using multi-processing as the principle method of program partitioning and built around the everything-is-a-file assumption, with scripting using the programming language Haskell.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 13
    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: 0 This Week
    Last Update:
    See Project
  • 14
    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
  • 15
    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
  • 16
    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
  • 17
    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
  • 18
    Language Prototyping System
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Haskell API search engine. Allows searching standard libraries by type or name.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    A tool that auto-generates Haskell FFI declarations by parsing a C header file.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Trace the execution of a program to show a tree of all the functions that got called.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    JHaskell provides a Haskell interpreter and compiler for the JVM. The goal is to make Haskell a viable language for development for the Java platform and also to allow existing Haskell programs to run on the JVM.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    An integrated development environment for the programming language haskell.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Experimental compiler for an extended version of the Curry programming language
    Downloads: 3 This Week
    Last Update:
    See Project
  • 25
    Common Haskell code for other semantic.org projects, and other useful things.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB