Showing 1208 open source projects for "gnu-darwin"

View related business solutions
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Start Free
  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    Let your crypto work for you

    Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • 1
    Prog is a lightweight, high-level, general-purpose, interpretable, compilable, strongly typed language that balances pragmatism, legibility, and versatility. Types are first-class objects and evaluation is considered a side-effect of type conversion.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    What is a domain-specific language intended for constructing web services on top of ordinary web pages, or otherwise automate web-related tasks. Using a powerful pattern matching sublanguage, What strives to be for XML/HTML what Perl is for text analysis
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    Chor

    A choreography programming language for concurrent systems

    Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 5
    Le projet Atlantis est une collection de composants et de bibliothèques pour Lazarus. The Atlantis project is a collection of components and libraries for Lazarus.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    Alchemist plugin

    Alchemist GCC/LLVM plugin for code analysis and tuning

    News: since 2015 we continue all related developments within Collective Knowledge Framework: http://github.com/ctuning/ck/wiki Alchemist plugin is a collection of plugins for GCC/LLVM for external and fine-grain code analysis and tuning. It is intended to to extract program properties for machine learning based optimization (see MILEPOST GCC); optimize programs at fine-grain level (such as unrolling, tiling, prefetching, etc); tune default optimization heuristic; gradually decompose...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    PLCduino

    Open Source PLC based on the arduino platform

    PLCduino is an open hardware alternative for industrial and home automation. It uses the well known ATmega chips as main processor, the same used on Arduino. This means that PLCduino is code-compatible with all arduino sketches.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    Advanced Symbolic Instruction Language

    A 21st century programming language derived from BASIC

    If the words "Symbolic Instruction" in the name sound familiar, they should. ASIL (pronounced "a-sill") was largely inspired by BASIC. However, instead of starting with a modern verison of BASIC, I started with AppleSoft. Why? Well, ASIL was born in the early 1990s while I was in college. I knew AppleSoft quite well as it was my first programming language. ASIL nearly died then as the compiler technology wasn't up to the job. Now, I figure those compilers might be able to do the job. ...
    Downloads: 0 This Week
    Last Update:
    See Project