Showing 96 open source projects for "open-shell"

View related business solutions
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • Enterprise-grade ITSM, for every business Icon
    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

    Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
    Try it Free
  • 1

    Xia1

    XPath In Ada

    An Ada implementation of nearly all of the XPath 1.0 specification.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    ASIS for GNAT
    ASIS (Ada Semantic Interface Specification) for GNAT on gcc. ASIS is a published international ISO standard (ISO/IEC 15291:1999). ASIS based tools are available as well.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Ahven

    Ahven

    Unit testing framework for Ada

    Ahven is a simple unit testing framework for Ada 95 programming language. The source code is fully portable and works with any Ada 95 (and also Ada 2005) compiler.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    The ARM-Ada project provide ravenscar runtime system and some useful libraries for deeply embedded applications written in gcc ada (gnat) language. For now RTS port for lpc21xx is done.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • 5
    It is (no stack based!) VM in a form of a library. It supports different language paradigms without data type restrictions, allows both interpretation and JIT, produces a fast code. Our goal - to have a GENERIC and POWER tool for code migration.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Evex is an "Ada flavored", full-featured run-time expression evaluation library for Ada providing built-in mathematical and string manipulation operators and functions, run-time function definition, and application-provided function registration.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Helena is an explicit state model checker for high-level Petri nets.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Simple, interface oriented input/process/output framework for Ada.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Posix for GNAT
    Florist is an open-source implementaton of IEEE Standard 1003.5b-1996, the POSIX Ada binding, including real-time extensions and a test suite.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 10
    GLADE for GNAT
    Providing an up to date implementations of Annex E (Distributed Systems) of the ISO standard ISO/IEC 8652:1995/COR1:2000 for GNAT.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Ada framework providing work sharing/seeking services for distributing work amongst CPU cores on multi-core machines.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    Develop a set of Ada bindings to the Open Sourced Enea Linx drivers for Linux.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    SPARKUnit is a unit test framework for the SPARK programming language. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    The objective of CairoAda is to develop an Ada 95/05 binding for Cairo and certain related libraries.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 15
    The Widget Set for Super-Light Applications is a minimalist GUI toolkit written in Pascal. Rendering backends include Xlib, SDL and DirectFB. Visit our trac wiki for more information and updates: http://sourceforge.net/apps/trac/wiseslap
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    This project contains various examples, ported from Qt4 C++ to Ada language
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    An Ada To ANSI C Compiler targeted towards small embedded systems who lacks an Ada compiler but have an ANSI C Compiler.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    A Finite States Machine (FSM) implementation in Ada.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    A code template tool for VHDL development which outputs to the clipboard - this means it can be used with any tool. Written in Ada, using GTK. Runs on Windows XP and Linux with common source code
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    This is an Ada implementation of the Dancing Links X Algorithm as in Donald E. Knuth paper. AdaDLX is used to solve the Eight-Queens puzzle, Sudoku grids and Blocs in Box puzzle.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Smart_Arguments is designed to simplify the use of command line arguments. The built in Ada facilities for command line argument processing are very basic. This package provide a higher level facility for dealing with command lines.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    FracAda is the Ada 2005 implementation of the Fractal component model [http://fractal.ow2.org/] It is an experimental project using the GNAT (GPL) compiler
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    The objectives of OCERA is the design and implementation of a library of free software components for the design of embedded real-time systems. These components will be used to create flexible, configurable, robust and portable embedded applications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    This is an Ada binding to AutoITX a Test automation interface for win32 Graphical User interfaces.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    The libadacrypt-dev is a slow crypto library for Ada with a nice API. It is written for the i386 hardware architecture and supports AES, Twofish, 3DES, Serpent SHA, Whirlpool DSA, OAEP-RSA, HMAC, RMAC... Dependencies: make and gnat.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB