Showing 9 open source projects for "scripting"

View related business solutions
  • Error to trace to log to deploy. One click. No SSH. Icon
    Error to trace to log to deploy. One click. No SSH.

    Catch the cause before the pager goes off.

    AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
    Free 30 days.
  • Auth0 B2B Essentials: SSO, MFA, and RBAC Built In Icon
    Auth0 B2B Essentials: SSO, MFA, and RBAC Built In

    Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.

    Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
    Sign Up Free
  • 1
    Stack

    Stack

    The Haskell Tool Stack

    Stack is a cross-platform build tool for Haskell projects that simplifies dependency management, project setup, and reproducible builds. It provides curated package sets (Stackage), isolated project environments, and consistent tooling for compiling and testing Haskell applications. Stack streamlines workflows for developers by automating many parts of the Haskell toolchain, making it easier to get started and maintain complex codebases. It supports integration with GHC (Glasgow Haskell...
    Downloads: 10 This Week
    Last Update:
    See Project
  • 2
    Cryptol

    Cryptol

    Cryptol: The Language of Cryptography

    Cryptol is a domain-specific language (DSL) for specifying and verifying cryptographic algorithms. Developed by Galois, Cryptol provides a high-level mathematical syntax for describing cryptographic primitives and enables formal verification of algorithm properties. It is used in academic, research, and defense sectors to validate correctness and security through symbolic execution and model checking, ensuring critical cryptographic code is free of design flaws.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 3
    Reanimate

    Reanimate

    Haskell library for building declarative animations based on SVG

    ...Reanimate aims at being a batteries-included way of gluing together different technologies: SVG as a universal image format, LaTeX for typesetting, ffmpeg for video encoding, inkscape/imagemagick for rasterization, potrace for vectorization, blender/povray for 3D graphics, and Haskell for scripting. Reanimate is a library for programmatically generating animations with a twist towards mathematics / 2D vector drawings. A lot of inspiration was drawn from 3b1b's manim library.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    Greenclip

    Greenclip

    Simple clipboard manager to be integrated with rofi

    Greenclip is a lightweight clipboard manager designed for Wayland and X11 environments on Linux. It integrates seamlessly with Rofi or other application launchers, allowing users to access and paste clipboard history entries quickly. Greenclip stores clipboard content persistently and can be configured to manage how many entries are saved, offering a minimalistic yet effective solution for power users and Linux enthusiasts.
    Downloads: 4 This Week
    Last Update:
    See Project
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Get Started Free
  • 5
    turtle

    turtle

    Shell programming, Haskell style

    ...Among typed languages, Haskell possesses a unique combination of features that greatly assist scripting.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Yi

    Yi

    The Haskell-Scriptable Editor

    Yi is a flexible and extensible text editor written and configured entirely in Haskell. Designed for power users and Haskell developers, Yi provides Vim and Emacs-style keybindings and is customizable via Haskell code, not configuration files. It supports syntax highlighting, multiple editing modes, and efficient performance through a layered architecture. Yi showcases how editor components can be composed as reusable libraries within Haskell.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7

    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
  • 8
    Lsl Plus is an edit/compile/test environment for the Linden Scripting Language (LSL), implemented as an Eclipse plug-in.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    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: 1 This Week
    Last Update:
    See Project
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • Previous
  • You're on page 1
  • Next
Auth0 Logo