Search Results for "instruction programming language" - Page 2

Showing 2457 open source projects for "instruction programming language"

View related business solutions
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Try it free
  • 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
  • 1
    ClojureScript

    ClojureScript

    Compiler for Clojure that targets JavaScript

    ...It is designed to emit JavaScript code which is compatible with the advanced compilation mode of the Google Closure optimizing compiler. Clojure is a dynamic, general-purpose programming language supporting interactive development. Clojure is a functional programming language featuring a rich set of immutable, persistent data structures. As a dialect of Lisp, it has a code-as-data philosophy and a powerful macro system. Clojure is a dynamic, general-purpose programming language supporting interactive development. ...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 2
    Action! Programming Language

    Action! Programming Language

    Action! - The Native Programming Language for Atari 8-bit Computers

    Action! is a programming language for the Atari 8-bit family of microcomputers. It features an integrated editor, a debugger, and a 6502 compiler. Action! was created by Clinton Parker and released on cartridge by Optimized Systems Software (OSS) in 1983. Its syntax is similar to that of ALGOL 68.  Action! is significant for its high performance, which allows games and graphics demos to be written in a high-level language without the use of hand-written assembly language code. ...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 3
    Lean 4

    Lean 4

    Lean 4 programming language and theorem prover

    Lean 4 is both a programming language and an interactive theorem prover, designed to support formal reasoning while also functioning as an efficient and extensible general-purpose language. 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.
    Downloads: 15 This Week
    Last Update:
    See Project
  • 4
    Quine Relay

    Quine Relay

    An uroboros program with 100+ programming languages

    quine-relay is an esoteric programming project that produces a single program which, when run, outputs the same program in another programming language; and that next-language version, when run, outputs itself in yet another language—and so on—cycling through many languages until returning to the original. It is effectively a “relay” of quines across dozens (or hundreds) of languages.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
    Start Free Trial
  • 5
    PLT (Programming Languages Theory)

    PLT (Programming Languages Theory)

    Programming Language Theory

    Curated roadmap to Programming Language Theory, collecting seminal papers, books, and resources into a navigable structure for self-study. It spans foundational topics like lambda calculus, type systems, interpreters, compilers, and formal semantics, while also pointing to contemporary areas such as effect systems, dependent types, and verification. Each section clusters materials by theme so learners can build understanding step by step instead of grazing at random.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Huatuo-Llama-Med-Chinese

    Huatuo-Llama-Med-Chinese

    Instruction-tuning LLM with Chinese Medical Knowledge

    ...The goal of the project is to improve the reliability and domain expertise of language models when answering medical questions or assisting with healthcare-related tasks. By combining domain-specific training data with instruction-tuning techniques, the project produces models capable of generating more accurate medical responses than general-purpose models.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Unison

    Unison

    A friendly programming language from the future

    Unison is an open source functional programming language based on a simple idea with big implications: code is content-addressed and immutable. Unison’s core idea is that code is immutable and identified by its content. This lets us reimagine many aspects of how a programming language works. We simplify codebase management, Unison has no builds, no dependency conflicts, and renaming things is trivial.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 8
    Carp

    Carp

    A functional, systems programming language with linear types

    Carp is a statically typed, functional programming language designed for real-time and systems programming. It features a Lisp-like syntax, strong compile-time checks, and linear type semantics that ensure memory safety without a garbage collector. Carp targets C as its backend, generating performant and predictable native code while offering functional abstractions and interactive development via REPL.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 9
    langrocks

    langrocks

    Tools like web browser, computer access and code runner for LLMs

    Langrocks is a programming language experimentation toolkit that enables developers to create, test, and optimize custom programming languages.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 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
  • 10
    Agda

    Agda

    Agda is a dependently typed programming language

    Agda is a dependently typed, total functional programming language and interactive theorem prover based on Martin-Löf’s type theory. It allows expressing programs and proofs in the same language, using the Curry–Howard correspondence. It features interactive development via Emacs, Atom, or VS Code. Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. ...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 11
    Ruby

    Ruby

    Ruby programming language

    A dynamic, open source programming language with a focus on simplicity and productivity. It has an elegant syntax that is natural to read and easy to write. Ruby is a language of careful balance. Its creator, Yukihiro “Matz” Matsumoto, blended parts of his favorite languages (Perl, Smalltalk, Eiffel, Ada, and Lisp) to form a new language that balanced functional programming with imperative programming.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 12
    Zen C

    Zen C

    Write like a high-level language, run like C

    Zen C is a minimal yet expressive implementation of the C programming language that aims to balance simplicity with practical capability, making it ideal for educational use, language experimentation, and small-scale systems programming. It provides a clean syntax and semantics that closely mirror classic C while enforcing stricter rules to eliminate common pitfalls like undefined behaviors or hidden conversions that often cause bugs.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 13

    Seagull Programming Language

    A modern programming language which compiles to Fortran.

    Seagull is a modern and fast programming language which transpiles to Fortran. Seagull aims to provide a modern and intuitive ecosystem, tooling, and syntax on top of the Fortran backend, leveraging from its high numerical speed. Seagull is modular, and all functions are grouped into modules. Visit the official website for more information: https://seagull.ct.ws
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Jeltz Programming Language

    Jeltz Programming Language

    Jeltz glue programming language, minimal functional, easily embeddable

    Jeltz is a minimal programming language where everything is either a function or an invocation. The goal is to code the interpreter in many languages so that it can be easily embedded. It is useful for task automation and is designed to be extensible. The memory manager uses dynamic scoping; each invocation consists of a module and a method and has an optional body that introduces a new context.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15

    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
  • 16
    Python

    Python

    The Python programming language

    Python is a powerful, high-level programming language known for its readability, simplicity, and versatility. It supports multiple programming paradigms including procedural, object-oriented, and functional styles. CPython, the reference implementation, is developed and maintained by the Python Software Foundation and the global open-source community. The language includes a vast standard library that accelerates development by providing built-in modules for file handling, networking, data manipulation, and more. ...
    Downloads: 14 This Week
    Last Update:
    See Project
  • 17
    BAML

    BAML

    The AI framework that adds the engineering to prompt engineering

    ...The framework enables developers to define prompt logic in a dedicated language while integrating it into applications written in various programming languages such as Python, TypeScript, Ruby, and Go. BAML also allows developers to specify which models are used for each prompt and how outputs should be validated or structured. By converting prompt engineering into a more formal programming workflow, the framework improves reliability, debugging, and maintainability of AI systems.
    Downloads: 20 This Week
    Last Update:
    See Project
  • 18
    Chinese-LLaMA-Alpaca-3

    Chinese-LLaMA-Alpaca-3

    Chinese Llama-3 LLMs) developed from Meta Llama 3

    Chinese-LLaMA-Alpaca-3 is an open-source project that provides Mandarin-focused large language models based on Meta’s LLaMA-3 architecture, with both foundational and instruction-tuned variants to support high-quality Chinese natural language understanding and generation. It extends the original LLaMA models with expanded Chinese vocabularies and additional pretraining on Chinese corpora to improve semantic encoding and decoding specifically for Chinese text. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Chez Scheme

    Chez Scheme

    A programming language and an implementation of that language

    Chez Scheme is both a programming language and an implementation of that language, with supporting tools and documentation. As a superset of the language described in the Revised6 Report on the Algorithmic Language Scheme (R6RS), Chez Scheme supports all standard features of Scheme, including first-class procedures, proper treatment of tail calls, continuations, user-defined records, libraries, exceptions, and hygienic macro expansion.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 20
    Objeck

    Objeck

    Objeck is a modern object-oriented programming language

    General-purpose object-oriented and functional programming language. Designed to be intuitive, lightweight, cross-platform and fast. The Objeck compiler produces two types of binaries. The first is an executable and the second type is a library. Libraries can be linked into executables by passing the names of libraries to the compiler. Objeck can be built for a variety of targets. The language is implemented in C++, assembly (i.e., generated machine code) and assisted by code generators for bindings to SDL2 and GTK 3/4.
    Downloads: 19 This Week
    Last Update:
    See Project
  • 21
    Racket

    Racket

    The Racket repository

    Racket is a general-purpose programming language and an ecosystem for language-oriented programming. This repository holds the source code for the core of Racket plus some related packages. The rest of the Racket distribution source code is in other repositories, mostly under the Racket GitHub organization. Racket programmers typically program with functions, records, objects, exceptions, regular expressions, modules, and threads.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 22
    Lua

    Lua

    The Lua development repository, as seen by the Lua team

    Lua is a powerful, efficient, lightweight, embeddable scripting language. It supports procedural programming, object-oriented programming, functional programming, data-driven programming, and data description. Lua combines simple procedural syntax with powerful data description constructs based on associative arrays and extensible semantics. Lua is dynamically typed, runs by interpreting bytecode with a register-based virtual machine, and has automatic memory management with incremental garbage collection, making it ideal for configuration, scripting, and rapid prototyping. ...
    Downloads: 18 This Week
    Last Update:
    See Project
  • 23
    Dasar Pemrograman Golang

    Dasar Pemrograman Golang

    Source Code E-book Dasar Pemrograman Golang

    Goal, or Go is a programming language that was born in 2009. The goal has many advantages, as evidenced by a large number of large companies using this language in the development of their products, up to the level of production of course. This ebook is one of the many references that can be used as learning material for Go programming. The topics provided vary greatly from basic ( from 0), to adventurous chapters.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 24
    Mecha

    Mecha

    A parser combinator library for Zig

    A parser combinator library for the Zig programming language. Time to make your own parser mech.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 25
    php-src

    php-src

    The PHP Interpreter

    This is the official source repository of PHP, a popular open-source server-side scripting language primarily used for web development. PHP powers a significant portion of the web, including platforms like WordPress, Drupal, and Laravel. The repository includes the core language engine, standard libraries, and tools for compilation and deployment across systems.
    Downloads: 3 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB