Showing 236 open source projects for "linux-debian"

View related business solutions
  • 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
  • Forever Free Full-Stack Observability | Grafana Cloud Icon
    Forever Free Full-Stack Observability | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • 1
    Spock

    Spock

    Another Haskell web framework for rapid development

    Kickstart your next Haskell web application within seconds using Spock. Another Haskell web framework for rapid development. Spock is a lightweight Haskell web framework inspired by Ruby's Sinatra. It provides a full toolbox including everything to get a quick start into web programming using Haskell. Spock provides fast route dispatching in a type-safe environment. Built-in support for cookies, secure sessions and CSRF protection. Applications supported by Spock are easily deployed using...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    ElixirFM

    ElixirFM

    Functional Arabic Morphology

    ElixirFM is a high-level implementation of Functional Arabic Morphology. The core of ElixirFM is written in Haskell, while interfaces in Python and Perl support lexicon editing and other interactions. http://github.com/otakar-smrz/elixir-fm
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    Encode Arabic
    Encode Arabic provides tools for encoding and decoding Arabic in Haskell, Python, Perl, or LaTeX. Interprets the ArabTeX notation to generate original orthography or phonetic transcription. Supports Buckwalter and other romanizations. Converts legacy byte encodings into Unicode. http://github.com/otakar-smrz/encode-arabic
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    This SourceForge project page is obsolete. Please visit http://www.musicpd.org/
    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
    zsh-git-prompt

    zsh-git-prompt

    Informative git prompt for zsh

    zsh-git-prompt is a Z shell prompt script that displays rich Git repository information in your shell prompt, such as branch, ahead/behind status, staged changes, conflicts, and more. It enhances developer productivity in version-controlled workflows. There is now a Haskell implementation as well, which can be four to six times faster than the Python one. The reason is not that Haskell is faster in itself (although it is), but that this implementation calls git only once. You may redefine...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    startrails

    open game world to be set in a realistic environment

    Discover a huge fictional game world and supply resources for its exploration. Unleash mysterious secrets or just race through the hills. This software is under development and thus neither complete nor bug-free. However, fun can occasionally be had.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    landshade

    realtime 3d surface rendering library

    landshade is a C++ library for quick tesselation of complex 3D data like terrain and other curves surfaces at different levels of detail on modern graphics hardware.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    IHaskell

    IHaskell

    A Haskell kernel for the Jupyter project

    IHaskell is a kernel for the Jupyter project, which allows you to use Haskell inside Jupyter frontends (including the console and notebook). It currently supports GHC 8.0 through 9.0. For GHC 7.10 support please use the GHC7 tag. For a tour of some IHaskell features, check out the demo Notebook. More example notebooks are available on the wiki. The wiki also has more extensive documentation of IHaskell features. IHaskell is based upon the IPython architecture and frontend, so learning about...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    AlgVar

    Algorithmic Variations

    An educational project aimed at illustrating programming language concepts and implementation techniques in different programming languages.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 10
    HLearn

    HLearn

    Homomorphic machine learning

    HLearn is a Haskell-based machine learning library focused on composability, algebraic structure, and performance. It provides a functional approach to building machine learning algorithms by leveraging algebraic properties such as monoids and groups. This allows for parallel, incremental, and distributed computation in a mathematically consistent way. HLearn aims to provide implementations of common algorithms like k-means, naive Bayes, and others while maintaining the expressiveness and...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    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
  • 12
    Functional-Programming

    Functional-Programming

    Functional Programming concepts, examples and patterns

    This repository is a tutorial collection showcasing functional programming concepts across multiple languages (Haskell, OCaml, Scala, Scheme, Clojure, Python). It provides reusable code snippets, examples, and case studies to illustrate FP ideas in a comparative manner. The purpose of this tutorial is to illustrate functional programming concepts in many languages by providing reusable and useful snippets of code, examples, case studies and applications. The project’s web site was updated...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    Stunts Cartography

    Power tools for creating Stunts track maps.

    This repository is no longer updated regularly; please visit https://github.com/duplode/stunts-cartography for up-to-date sources. Power tools for track map rendering and analysis for the classic racing game Stunts.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    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.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 15
    Human Speakable Programming Language

    Human Speakable Programming Language

    foundation of the General Intelligence Operating System

    HSPL is Human Speakable Programming Language, allowing for communication between human-to-computer and human-to-human in the same language. This project has moved to http://sourceforge.net/p/spel We are currently working on human-to-computer programming-language with mostly English base vocabulary. Though once we have that, we plan to add support for other world Languages, including Chinese, Spanish, Russian, Arabic, Hindi, among others. Eventually HSPL shall be the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Creep

    Creep

    a pretty sweet 4px wide pixel font

    A pretty sweet 4px wide pixel font. I never found the pixel font that was perfect for me, so I decided to roll my own with creep. It is a pretty compact (only 4px wide!) font that's great for smaller screens (like my 11" laptop). I'm constantly adding in new characters (diacritics, box-drawing characters, etc.), so I figured I'd put it up on GitHub for people to reap benefits of this. I also recently added some nice Haskell features (that can be used in other languages too)! Creep has most...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    A pacman game implementation in scala programming language, a functional language with object-oriented concepts, using concurrency by actors.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    hcross
    A program for interactively solving crosswords, compatible with the Across Lite (tm) .puz format. Eventually, we hope to add support for constructing crosswords, and other grid-based word puzzles (like acrostics).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19

    wikit

    wiki engine for small teams

    wikit is another wiki engine suited for small teams. It’s written in Haskell with using Yesod Web Framework. It’s cross platform and was designed to be running as a desktop service application servicing wiki articles and providing some basic capabilities in terms of searching and storing data. It’s perhaps most distinct feature is that it relies on backing Git distributed source control system. And keeps it’s articles in markdown format. Which makes it very easy to port out of the wiki...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20

    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: 7 This Week
    Last Update:
    See Project
  • 21
    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: 0 This Week
    Last Update:
    See Project
  • 22
    husk-scheme
    An R5RS Scheme interpreter and library written in Haskell. Provides advanced features including continuations, hygienic macros, and the full numeric tower.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Sharp Statistics

    Sharp Statistics

    A simple program for comparing data sets with simple algorithms.

    Replace the data in the data.db file with your own data using an sqlite3 manager. Tables are read as data set names, and the values are read as the data points of the data sets. Load the application, choose an algorithm, and the program will find the pairs that best match each other.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    PortFusion

    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...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 25

    iptadmin

    iptables web interface

    Web interface for linux firewall written in haskell. It covers a little subset of options and targets. It works as standalone https daemon, and allows to authenticate with system accounts using pam. Iptadmin can't ruin iptables configuration files by design. It doesn't let user to block network access to the interface.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB