Showing 34 open source projects for "libamd.so.1"

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.
    Try It Free
  • $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
  • 1
    Crafting Interpreters

    Crafting Interpreters

    Repository for the book "Crafting Interpreters"

    This repository is the companion to the book Crafting Interpreters. It contains the full source code for two interpreters (one in C and one in Java), the Markdown source of the book, the tooling to weave prose and code into a website, and build scripts to generate the executable interpreters. The book aims to teach from the ground up how to build a full-featured scripting language (called Lox) with parsing, AST, compiler / VM, garbage collection, classes, and more.
    Downloads: 11 This Week
    Last Update:
    See Project
  • 2
    Lean 4

    Lean 4

    Lean 4 programming language and theorem prover

    ...The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to develop custom automation, metaprogramming tools, and domain-specific extensions instead of being limited to a fixed proving workflow. The broader Lean ecosystem also includes official tutorials, language references, examples, and installation and build tools, which reflects that the project is not just a core compiler repository but the center of a mature development platform.
    Downloads: 79 This Week
    Last Update:
    See Project
  • 3
    Vercel Zero

    Vercel Zero

    The programming language for agents

    ...The project explores what a language, tooling system, and standard library might look like if agents need to read, debug, repair, and ship code reliably. It focuses on a small and regular language surface, structured diagnostics, predictable tooling, and machine-readable outputs. Zero is still pre-1 and intentionally unstable, so its syntax and APIs are meant for exploration rather than production use. The project includes commands for checking, running, building, graph inspection, size reporting, diagnostics, and repair-oriented workflows. Its main goal is to create a systems-oriented language environment that agents can understand and act on without relying only on human-readable compiler messages.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 4
    Python

    Python

    The Python programming language

    ...Python runs seamlessly across platforms such as Linux, macOS, and Windows, making it ideal for both development and production environments. With constant updates, optimizations, and an active community, Python continues to be one of the most widely adopted languages worldwide.
    Downloads: 25 This Week
    Last Update:
    See Project
  • Train ML Models With SQL You Already Know Icon
    Train ML Models With SQL You Already Know

    BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

    Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
    Try Free
  • 5
    Erlang/OTP

    Erlang/OTP

    Build massively scalable soft real-time systems

    Erlang is a programming language used to build massively scalable soft real-time systems with requirements on high availability. Some of its uses are in telecoms, banking, e-commerce, computer telephony and instant messaging. Erlang's runtime system has built-in support for concurrency, distribution and fault tolerance. OTP is set of Erlang libraries and design principles providing middle-ware to develop these systems. It includes its own distributed database, applications to interface...
    Downloads: 30 This Week
    Last Update:
    See Project
  • 6
    jsii

    jsii

    jsii allows code in any language to naturally interact with JavaScript

    ...Due to JSON marshaling costs and the absence of a distributed garbage collector feature, jsii modules are best suited for development and build tools, as opposed to performance-sensitive or resource-constrained applications. By compiling our source module using jsii, we can now package it as modules in one of the supported target languages. Each target module has the exact same API as the source. This allows users of that target language to use Greeter like any other native type.
    Downloads: 12 This Week
    Last Update:
    See Project
  • 7
    Swift

    Swift

    The Swift Programming Language

    ...It comes packaged with core features like flow control, data structures and functions, with high-level constructs like objects, protocols, closures, and generics. Its many features make it a language that is powerful, yet fun to use. It’s no wonder that Swift has quickly become one of the fastest growing languages in history.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 8
    MoonScript

    MoonScript

    A language that compiles to Lua

    MoonScript is a dynamic scripting language that compiles into Lua. It gives you the power of one of the fastest scripting languages combined with a rich set of features. MoonScript can either be compiled into Lua and run at a later time, or it can be dynamically compiled and run using the moonloader. It’s as simple as requiring "moonscript" in order to have Lua understand how to load and run any MoonScript file. Because it compiles right into Lua code, it is completely compatible with alternative Lua implementations like LuaJIT, and it is also compatible with all existing Lua code and libraries. ...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 9
    Prompt Declaration Language

    Prompt Declaration Language

    Prompt Declaration Language is a declarative prompt programming lang

    LLMs will continue to change the way we build software systems. They are not only useful as coding assistants, providing snipets of code, explanations, and code transformations, but they can also help replace components that could only previously be achieved with rule-based systems. Whether LLMs are used as coding assistants or software components, reliability remains an important concern. LLMs have a textual interface and the structure of useful prompts is not captured formally. Programming...
    Downloads: 5 This Week
    Last Update:
    See Project
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • 10
    OCaml

    OCaml

    The core OCaml system: compilers, runtime system, base libraries

    ...This makes it a good language for running critical code. At the same time, sophisticated inference makes the type system unobtrusive, creating a smooth developer experience. OCaml has two compilers. One is a bytecode compiler that generates small, portable executables and is very fast. The other is a native code compiler that produces more efficient machine code; its performance matches the highest standards of modern compilers. OCaml has great support for the most popular editors. VS Code is recommended for beginners, and for power users there is deep integration with Vim and Emacs. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 11
    V Programming Language

    V Programming Language

    Simple, fast, safe, compiled language for developing software

    Simple language for building maintainable programs. You can learn the entire language by going through the documentation over a weekend, and in most cases, there's only one way to do something. This results in simple, readable, and maintainable code. Despite being simple, V gives a lot of power to the developer and can be used in pretty much every field, including systems programming, webdev, gamedev, GUI, mobile, science, embedded, tooling, etc. V avoids doing unnecessary allocations in the first place by using value types, and string buffers, promoting a simple abstraction-free code style. ...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 12
    Lux

    Lux

    The Lux Programming Language

    Lux is a new programming language in the making. It's meant to be a functional, statically-typed Lisp that will run on several platforms, such as the Java Virtual Machine and JavaScript, Python, Lua, or Ruby interpreters. Lux is in the beta stage. The JVM compiler is pretty stable and the standard library has grown to a respectable size. Also, new experimental support for JavaScript, Python, Lua, and Ruby has been added. Read carefully before using this project, as the license disallows...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 13
    mruby

    mruby

    Lightweight Ruby

    ...It maintains compatibility with modern Ruby syntax while offering a significantly reduced footprint compared to the standard Ruby interpreter. The system includes its own virtual machine, bytecode compiler, and interactive shell, enabling developers to write, compile, and execute Ruby code efficiently. One of its core strengths is its embeddability, allowing developers to integrate scripting capabilities directly into applications written in C or C++. mruby also includes a package system called mrbgems, which enables modular extension of functionality through additional libraries. It supports compiling Ruby scripts into bytecode or even C source code, providing flexibility for deployment in different environments.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 14
    Lombok

    Lombok

    New additions to the Java programming language

    Project Lombok is a java library that automatically plugs into your editor and build tools, spicing up your java. Never write another getter or equals method again, with one annotation your class has a fully featured builder, Automate your logging variables, and much more. Project Lombok is available as a single jar file on the project site. It includes the APIs for development as an installer for IDE integration. On most systems, simply double-clicking the jar file will launch the installer. The installer will attempt to detect the location of a supported IDE. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    Ruby

    Ruby

    Ruby programming language

    ...Ruby-Talk, the primary mailing list for discussion of the Ruby language, climbed to an average of 200 messages per day in 2006. It has dropped in recent years as the size of the community pushed discussion from one central list into many smaller groups.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16
    Red Programming Language

    Red Programming Language

    Red is a next-generation programming language

    ...They are defined as a separate block of code inside a function's body and are called like regular functions (but without any arguments). So they are much lighter and faster than real function calls and require just one slot of stack space to store the return address.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17

    Xi Programming Language

    A general-purpose, mutliparadigm language.

    Xi is a programming language which attempts to play a similar role to languages such as C, C++, or D. It is initially designed to leverage the procedural and object-oriented paradigms. It aims to provide an expressive language based off of a simple, LL(1) grammar with a comprehensive class library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Ring

    Ring

    Simple and flexible programming language for applications development

    The Ring is a practical general-purpose multi-paradigm language. The supported programming paradigms are imperative, procedural, object-oriented, declarative using nested structures, functional, meta programming and natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 19
    CobaltLanguage
    ...It includes built-in standard libraries such as time, random, and math for common computational tasks without external dependencies. Cobalt also comes with a custom Windows-based IDE built using Tkinter, providing code editing, execution, and output viewing in one environment. The project is distributed as a ZIP package containing the language runtime and IDE. It is intended for beginners, students, and developers interested in experimenting with programming language development and software engineering concepts.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20

    EDITEL

    EDITEL is a screen editor/code generator for GnuCOBOL programmers

    One of the hardest things to do when coding with COBOL is translating a screen design into code. The process may take hours, not to say days. In my old BLIS-COBOL, COBOL 74 and COBOL 80 /85 days (and those last 2 had the SCREEN SECTION which helped a lot !), I recall spending a significant amount of time dedicated to that activity. Time that could be used for more productive activities like coding and resolving bugs, for instance.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 21
    OK

    OK

    Welcome to the future of programming languages

    ...It eliminates many common language features (e.g., ternary operators) in favour of a consistent, minimal syntax: for example it uses only switch statements for control flow and has only one comparison operator. OK? also treats errors as plain values (strings/arrays) and removes inheritance in favour of what it calls “evolution over composition.” The language emphasises readability and pushing logic out into functions so cases remain simple. It includes concurrency via a map function that executes callbacks in parallel. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Fennel

    Fennel

    Lua Lisp Language

    ...Zero overhead: Compiled code should be just as efficient as hand-written Lua. Compile-time macros: Ship compiled code with no runtime dependency on Fennel. Embeddable: Fennel is a one-file library as well as an executable. Embed it in other programs to support runtime extensibility and interactive development. Anywhere you can run Lua code, you can run Fennel code. Fennel is a lisp that compiles to Lua. It aims to be easy to use, expressive and has almost zero overhead compared to writing Lua directly. Building Fennel from source allows you to use versions of Fennel that haven't been released, and it makes contributing to Fennel easier.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 23
    MANOOL

    MANOOL

    Programming language with expressive power and a simple implementation

    ...MANOOL is meant to compare and compete directly with Python, PHP, Ruby, Perl, and Tcl, although incidentally it has some combination of unusual features. Example: {{extern "manool.org.18/std/0.2/all"} in WriteLine[Out; "Hello, world!"]} Explicitly stated design priorities of MANOOL: 1. implementation simplicity; 2. expressive power, usability, and general utility, attention to syntax and semantics details; 3. correctness, security, and overall quality of implementation, run-time reliability; 4. run-time performance and scalability; 5. consistency, completeness, orthogonality of features, and language elegance, conceptual economy and purity. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Dinrus

    Dinrus

    D in Russian

    Dinrus is a shortcut for 'D in Russian'. It is a sublanguage of D programming language for Russian speaking users. It is fully compatible with D1, but has its own runtime, garbage collection, and other modules.
    Downloads: 8 This Week
    Last Update:
    See Project
  • 25

    SPL Compiler

    A low-level system programming language with high-level syntax

    ... * Provide a stricter and more platform-independent type system than C. * Allow direct use of existing C and platform (e.g. Win32 API) libraries. This phrase from the "SPL Language Reference" says it all: "One could say SPL is what C should have been, were it not for the limitations of the time when C was designed".
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next