Showing 61 open source projects for "user"

View related business solutions
  • $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
  • Stop Storing Third-Party Tokens in Your Database Icon
    Stop Storing Third-Party Tokens in Your Database

    Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.

    Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
    Try Auth0 for Free
  • 1
    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: 0 This Week
    Last Update:
    See Project
  • 2
    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
  • 3
    MUgen is an emulator generator which works in a way similar to yacc. It takes an input machine description and outputs a source file which is a fully implemented emulator of that system. This is the open-source system.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    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
  • Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure Icon
    Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

    Native application identity and user-based security for your Azure cloud

    Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
    Get a free trial
  • 5
    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
  • 6
    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
  • 7
    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
  • 8
    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
  • 9
    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: 0 This Week
    Last Update:
    See Project
  • Secure File Transfer for Windows with Cerberus by Redwood Icon
    Secure File Transfer for Windows with Cerberus by Redwood

    Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

    Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
    Try for Free
  • 10
    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
  • 11
    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
  • 12
    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: 0 This Week
    Last Update:
    See Project
  • 13
    A library to automatically create GUI forms, using WxHaskell and "Scrap Your Boilerplate" generics.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    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: 0 This Week
    Last Update:
    See Project
  • 15
    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
  • 16
    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
  • 17
    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
  • 18
    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
  • 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
    Common Haskell code for other semantic.org projects, and other useful things.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Experimental compiler for an extended version of the Curry programming language
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    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
Auth0 Logo