Showing 1069 open source projects for "instruction programming language"

View related business solutions
  • 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
  • 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
  • 1
    Gonum

    Gonum

    Set of numeric libraries for the Go programming language

    Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more. Gonum is a set of packages designed to make writing numerical and scientific algorithms productive, performant, and scalable. Gonum contains libraries for matrices and linear algebra; statistics, probability distributions, and sampling; tools for function differentiation, integration, and optimization; network creation and analysis; and more. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 2
    ChrysaLisp

    ChrysaLisp

    Parallel OS, with GUI, Terminal, OO Assembler, Class libraries

    ChrysaLisp is a 64-bit, MIMD, multi-CPU, multi-threaded, multi-core, multi-user parallel operating system with features such as a GUI, terminal, OO Assembler, class libraries, C-Script compiler, Lisp interpreter, debugger, profiler, vector font engine, and more. It supports MacOS, Windows, and Linux for x64, Riscv64, and Arm64 and eventually will move to bare metal. It also allows the modeling of various network topologies and the use of ChrysaLib hub nodes to join heterogeneous host...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 3
    Gleam

    Gleam

    A friendly language for building type-safe, scalable systems!

    Gleam's powerful static type system helps find and prevent bugs at compile time, long before it reaches your users. It also serves as a productive refactoring tool, enabling programmers to confidently make large changes to unfamiliar code, quickly and with low risk. For problems, the type system can't solve (such as your server being hit by a bolt of lightning) the Erlang virtual machine provides well-tested mechanisms for gracefully handling failure. Hunting down bugs can be stressful so...
    Downloads: 8 This Week
    Last Update:
    See Project
  • 4
    Visual Regression Tracker

    Visual Regression Tracker

    Backend and Frontend application for tracking differences via image

    ...Use implemented libraries to integrate with existing automated suites by adding assertions based on image comparison. We provide native integration with automation libraries, core SDK and Rest API interfaces that allow the system to be used with any existing programming language.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 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
  • 5
    Go SQLBuilder

    Go SQLBuilder

    Powerful SQL string builder library plus a zero-config ORM

    Go-SQLBuilder is a flexible and powerful SQL string builder library for the Go programming language. It aids developers in constructing SQL queries programmatically, ensuring code readability and maintainability.
    Downloads: 12 This Week
    Last Update:
    See Project
  • 6
    Fission

    Fission

    Fast and Simple Serverless Functions for Kubernetes

    ...Fission works on a Kubernetes cluster anywhere: on your laptop, in any public cloud, or in a private data-center. Write your application with the flexibility of deploying it anywhere. Fission is extensible to any programming language (Python, NodeJS, Go, C#, PHP are supported today). It abstracts away containers by default, but you can build your own containers if you need to.
    Downloads: 11 This Week
    Last Update:
    See Project
  • 7
    SymbolicUtils.jl

    SymbolicUtils.jl

    Symbolic expressions, rewriting and simplification

    SymbolicUtils is a practical symbolic programming utility in Julia. It lets you create, rewrite and simplify symbolic expressions, and generate Julia code from them. SymbolicUtils.jl provides various utilities for symbolic computing. SymbolicUtils.jl is what one would use to build a Computer Algebra System (CAS). If you're looking for a complete CAS, similar to SymPy or Mathematica, see Symbolics.jl.
    Downloads: 10 This Week
    Last Update:
    See Project
  • 8

    Protocol Buffers

    Google's data interchange format

    Protocol Buffers are Google’s fast and simple, language- and platform-neutral, extensible mechanism for serializing structured data. It allows you to define how your data should be structured once, and then using a special generated source code, you can then easily write and read your structured data to and from a variety of data streams and using a variety of languages. Protocol Buffers currently supports a wide array of languages, including C++, Java, Python, Ruby, and many others with...
    Downloads: 16 This Week
    Last Update:
    See Project
  • 9
    InvertibleNetworks.jl

    InvertibleNetworks.jl

    A Julia framework for invertible neural networks

    Building blocks for invertible neural networks in the Julia programming language.
    Downloads: 4 This Week
    Last Update:
    See Project
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
    Start Free
  • 10
    The Agda standard library

    The Agda standard library

    The Agda standard library

    ...While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead. Agda is a dependently typed programming language. It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic group at Chalmers. Other languages in this tradition are Alf, Alfa, Agda 1, Cayenne. Some other loosely related languages are Coq, Epigram, Idris, and Lean.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 11
    gpt-engineer

    gpt-engineer

    Full stack AI software engineer

    gpt-engineer is an open-source platform designed to help developers automate the software development process using natural language. The platform allows users to specify software requirements in plain language, and the AI generates and executes the corresponding code. It can also handle improvements and iterative development, giving users more control over the software they’re building. Built with a terminal-based interface, gpt-engineer is customizable, enabling developers to experiment with AI-assisted programming and refine their development process. ...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 12
    PureScript

    PureScript

    A strongly-typed language that compiles to JavaScript

    Compile to readable JavaScript and reuse existing JavaScript code easily. An extensive collection of libraries for development of web applications, web servers, apps and more. Excellent tooling and editor support with instant rebuilds. An active community with many learning resources. Build real-world applications using functional techniques and expressive types, such as: Algebraic data types and pattern matching. Row polymorphism and extensible records. Higher kinded types and type classes...
    Downloads: 9 This Week
    Last Update:
    See Project
  • 13
    YAO

    YAO

    Yao A low code engine to create web services and dashboard

    ...Yao is a low-code engine that creates a database model, writes API services, and describes dashboard interface just by JSON for web & hardware, no code, and 10x productivity. Yao is based on the flow-based programming idea, developed in the Go language, and supports multiple ways to expand the data stream processor. This makes Yao extremely versatile, which can replace programming languages ​​in most scenarios, and is 10 times more efficient than traditional programming languages ​​in terms of reusability and coding efficiency; application performance and resource ratio Better than PHP, JAVA and other languages. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 14
    CP Editor

    CP Editor

    The IDE for competitive programming

    CP Editor is designed for competitive programming. It helps you focus on your algorithms and automates the compilation, execution and testing of your code. It can fetch test cases from different platforms and submit solutions to Codeforces. It automates all that's reasonably possible and allows you to purely focus on your code. Say no to manual efforts of running and testing your code against expected outputs. It can fetch test cases automatically from almost all competitive programming...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 15
    LangChainGo

    LangChainGo

    LangChain for Go, the easiest way to write LLM-based programs in Go

    LangChainGo is a Go-based implementation of the LangChain framework, designed to help developers build applications powered by large language models using the Go programming language. It provides a modular architecture that allows developers to combine components such as language models, chains, agents, memory systems, and vector stores into flexible workflows. The framework emphasizes composability, making it easy to create complex pipelines that integrate LLMs with external data sources, APIs, and tools. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 16
    webR

    webR

    The statistical language R compiled to WebAssembly via Emscripten

    webR is a project that compiles the R statistical programming language into WebAssembly, enabling it to run entirely within web browsers or JavaScript environments without requiring a server-side installation. By using Emscripten to adapt R’s C, C++, and Fortran codebase, webR creates a fully functional runtime that can execute R scripts directly in the browser. The project includes a web-based integrated development environment that uses tools like xterm.js and CodeMirror, allowing users to interact with R through a familiar console and editor interface. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 17
    Fury

    Fury

    A blazing fast multi-language serialization framework

    Fury is a blazing-fast multi-language serialization framework powered by jit(just-in-time compilation) and zero-copy, providing up to 170x performance and ultimate ease of use. Based on efficient JIT, struct deserialization can get 170x speed up compared to other serialization frameworks. In serialization scenarios, Fury can achieve a 100x speed up compared to traditional serialization frameworks. If you use Java clusters on a large scale, this will save a lot of computing resources.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 18
    mruby

    mruby

    Lightweight Ruby

    mruby is a lightweight implementation of the Ruby programming language designed for embedding and integration into applications, particularly in resource-constrained environments such as embedded systems or game engines. 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. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Mangle

    Mangle

    Go library for Datalog-style logical reasoning and domain modeling

    Mangle is a programming language developed by Google for deductive database programming, serving as an advanced extension of Datalog. It is designed to unify and query data from multiple sources in a structured, declarative way while allowing developers to model complex relationships and domain knowledge beyond binary predicates. Mangle enhances traditional Datalog by introducing features such as aggregation, function calls, and optional type-checking, which make it more practical for modern data-intensive applications. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Zeebe

    Zeebe

    Distributed Workflow Engine for Microservices Orchestration

    Automate processes at scale with unprecedented performance and resilience. Zeebe is the workflow and decision engine that powers Camunda Platform 8. Zeebe’s cloud-native design provides the performance, resilience, and security enterprises need to future-proof their process orchestration efforts. Zeebe distributes data across all brokers in a cluster with storage directly on the server filesystem. If one broker goes down, another can replace it with no data loss. This pre-configured...
    Downloads: 27 This Week
    Last Update:
    See Project
  • 21
    AWS SDK for Go v2

    AWS SDK for Go v2

    AWS SDK for the Go programming language

    Welcome to the AWS SDK for Go. The AWS SDK for Go V2 provides APIs and utilities that developers can use to build Go applications that use AWS services, such as Amazon Elastic Compute Cloud (Amazon EC2) and Amazon Simple Storage Service (Amazon S3). The SDK removes the complexity of coding directly against a web service interface. It hides a lot of the lower-level plumbing, such as authentication, request retries, and error handling. The SDK also includes helpful utilities. For example, the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Sourcery

    Sourcery

    Meta-programming for Swift, stop writing boilerplate code

    Sourcery is a code generator for Swift language, built on top of Apple's own SwiftSyntax. It extends the language abstractions to allow you to generate boilerplate code automatically. It's used in over 40,000 projects on both iOS and macOS and it powers some of the most popular and critically-acclaimed apps you have used (including Airbnb, Bumble, New York Times). Its massive community adoption was one of the factors that pushed Apple to implement derived Equality and automatic Codable...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 23
    Radare2

    Radare2

    UNIX-like reverse engineering framework and command-line toolset

    A free/libre toolchain for easing several low-level tasks like forensics, software reverse engineering, exploiting, and debugging. It is composed by a bunch of libraries (which are extended with plugins) and programs that can be automated with almost any programming language. It is recommended to install it from git, alternatively, you can pick the last release (every 6 weeks) from Github. Batch, Commandline, visual, and panels interactive modes. Embedded webserver with js scripting and WebUI. Assemble and disassemble a large list of CPUs. Runs on Windows and any other UNIX flavor out there. ...
    Downloads: 37 This Week
    Last Update:
    See Project
  • 24
    Clash

    Clash

    Haskell to VHDL/Verilog/SystemVerilog compiler

    Clash is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. It provides a familiar structural design approach to both combinational and synchronous sequential circuits. The Clash compiler transforms these high-level descriptions to low-level synthesizable VHDL, Verilog, or SystemVerilog. Clash is an open-source project, licensed under the permissive BSD2 license, and actively maintained by QBayLogic. ...
    Downloads: 9 This Week
    Last Update:
    See Project
  • 25
    Nushell

    Nushell

    A new type of shell

    NuShell (often shortened to “Nu”) is a modern, cross-platform shell written in Rust that treats all data as structured tables rather than plain text. It supports pipelines on rich typed data, has built-in commands for JSON/CSV/SQL/excel, and offers scripting, autocompletion, scoped variables, and strong error handling—bridging the gap between shell scripting and programming.
    Downloads: 23 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB