Search Results for "linux programming" - Page 4

Showing 5117 open source projects for "linux programming"

View related business solutions
  • The AI workplace management platform Icon
    The AI workplace management platform

    Plan smart spaces, connect teams, manage assets, and get insights with the leading AI-powered operating system for the built world.

    By combining AI workflows, predictive intelligence, and automated insights, OfficeSpace gives leaders a complete view of how their spaces are used and how people work. Facilities, IT, HR, and Real Estate teams use OfficeSpace to optimize space utilization, enhance employee experience, and reduce portfolio costs with precision.
    Learn More
  • Outbound sales software Icon
    Outbound sales software

    Unified cloud-based platform for dialing, emailing, appointment scheduling, lead management and much more.

    Adversus is an outbound dialing solution that helps you streamline your call strategies, automate manual processes, and provide valuable insights to improve your outbound workflows and efficiency.
    Learn More
  • 1
    Faust

    Faust

    Functional programming language for signal processing

    Faust (Functional Audio Stream) is a functional programming language for sound synthesis and audio processing with a strong focus on the design of synthesizers, musical instruments, audio effects, etc. Faust targets high-performance signal processing applications and audio plug-ins for a variety of platforms and standards. The core component of Faust is its compiler. It allows to "translate" any Faust digital signal processing (DSP) specification to a wide range of non-domain specific...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 2
    Qdrant

    Qdrant

    Vector Database for the next generation of AI applications

    Qdrant is a vector similarity engine & vector database. It deploys as an API service providing search for the nearest high-dimensional vectors. With Qdrant, embeddings or neural network encoders can be turned into full-fledged applications for matching, searching, recommending, and much more! Provides the OpenAPI v3 specification to generate a client library in almost any programming language. Alternatively, utilize ready-made client for Python or other programming languages with additional...
    Downloads: 72 This Week
    Last Update:
    See Project
  • 3
    JuliaMono

    JuliaMono

    repository for JuliaMono, a monospaced font

    JuliaMono, a font for programming. JuliaMono is a monospaced typeface designed for programming in text editing environments that require a wide range of specialist and technical Unicode characters. Repository for JuliaMono, a monospaced font with reasonable Unicode support. JuliaMono is a monospaced typeface designed for programming and in other text editing environments that require a wide range of specialist and technical Unicode characters. It was presented at the 2020 JuliaCon conference...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    .NET Runtime

    .NET Runtime

    Cross-platform runtime for cloud, mobile, desktop, and IoT apps

    .NET is a free, cross-platform, open source developer platform for building many different types of applications. With .NET, you can use multiple languages, editors, and libraries to build for web, mobile, desktop, games, and IoT. You can write .NET apps in C#, F#, or Visual Basic. C# is a simple, modern, object-oriented, and type-safe programming language. F# is a cross-platform, open-source, functional programming language for .NET. It also includes object-oriented and imperative...
    Downloads: 21 This Week
    Last Update:
    See Project
  • Next-Gen Encryption for Post-Quantum Security | CLEAR by Quantum Knight Icon
    Next-Gen Encryption for Post-Quantum Security | CLEAR by Quantum Knight

    Lock Down Any Resource, Anywhere, Anytime

    CLEAR by Quantum Knight is a FIPS-140-3 validated encryption SDK engineered for enterprises requiring top-tier security. Offering robust post-quantum cryptography, CLEAR secures files, streaming media, databases, and networks with ease across over 30 modern platforms. Its compact design, smaller than a single smartphone image, ensures maximum efficiency and low energy consumption.
    Learn More
  • 5
    core.logic

    core.logic

    A logic programming library for Clojure & ClojureScript

    core.logic brings logic programming to Clojure and ClojureScript through an implementation of miniKanren, enabling relational, constraint-based, and nominal logic programming. It allows complex reasoning and declarative problem-solving directly in Clojure. core.unify provides a la carte unification facilities that are not deeply tied into the operation of a logic engine. While core.logic does provide a similar simple unifier interface with support for specifying fine-grained constraints, if...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    NetCDF.jl

    NetCDF.jl

    NetCDF support for the julia programming language

    NetCDF support for the Julia programming language, there is a high-level and a medium-level interface for writing and reading netcdf files. The dimensions "x1" and "t" of the variable are called "x1" and "t" in this example. If the dimensions do not exist yet in the file, they will be created. The dimension "x1" will be of length 10 and have the values 11..20, and the dimension "t" will have length 20 and the attribute "units" with the value "s".
    Downloads: 3 This Week
    Last Update:
    See Project
  • 7
    Cats

    Cats

    Lightweight, modular, extensible library for functional programming

    Cats is a library which provides abstractions for functional programming in the Scala programming language. The name is a playful shortening of the word category. Scala supports both object-oriented and functional programming, and this is reflected in the hybrid approach of the standard library. Cats strives to provide functional programming abstractions that are core, binary compatible, modular, approachable and efficient. A broader goal of Cats is to provide a foundation for an ecosystem...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Solidity

    Solidity

    The Smart Contract Programming Language

    Solidity is a statically-typed curly-braces programming language designed for developing smart contracts that run on Ethereum. Solidity 0.8.4 adds custom structured errors, allows more flexible configuration of the SMTChecker and fixes a bug in the Solidity ABI decoder v2. Read more about the bug here. With v0.8.4, errors can be defined inside and outside of contracts (including interfaces and libraries). This provides a convenient and gas-efficient way to explain to users why an operation...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 9

    DXVK

    Vulkan-based implementation of D3D9, D3D10 and D3D11 for Linux / Wine

    DXVK is a Vulkan-based translation layer for Direct3D 9 through 11, for use on Linux with Wine. Direct3D is a graphics application programming interface built for Windows and is used for rendering three-dimensional graphics in applications. It is typically useful in applications where performance is vital, such as in three-dimensional games. This project aims to provide support for Direct3D11, feature level 11_1, and Direct3D10, feature level 10_1.
    Downloads: 402 This Week
    Last Update:
    See Project
  • Turn traffic into pipeline and prospects into customers Icon
    Turn traffic into pipeline and prospects into customers

    For account executives and sales engineers looking for a solution to manage their insights and sales data

    Docket is an AI-powered sales enablement platform designed to unify go-to-market (GTM) data through its proprietary Sales Knowledge Lake™ and activate it with intelligent AI agents. The platform helps marketing teams increase pipeline generation by 15% by engaging website visitors in human-like conversations and qualifying leads. For sales teams, Docket improves seller efficiency by 33% by providing instant product knowledge, retrieving collateral, and creating personalized documents. Built for GTM teams, Docket integrates with over 100 tools across the revenue tech stack and offers enterprise-grade security with SOC 2 Type II, GDPR, and ISO 27001 compliance. Customers report improved win rates, shorter sales cycles, and dramatically reduced response times. Docket’s scalable, accurate, and fast AI agents deliver reliable answers with confidence scores, empowering teams to close deals faster.
    Learn More
  • 10
    Cortex Analyzers

    Cortex Analyzers

    Cortex Analyzers Repository

    Analyzers can be written in any programming language supported by Linux such as Python, Ruby, Perl, etc. Refer to the How to Write and Submit an Analyzer page for details on how to write and submit one.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 11
    Spring Framework

    Spring Framework

    Comprehensive programming and configuration model for modern apps

    The Spring Framework provides a comprehensive programming and configuration model for modern Java-based enterprise applications, on any kind of deployment platform. A key element of Spring is infrastructural support at the application level: Spring focuses on the "plumbing" of enterprise applications so that teams can focus on application-level business logic, without unnecessary ties to specific deployment environments.
    Downloads: 24 This Week
    Last Update:
    See Project
  • 12

    Halide

    A language for fast, portable data-parallel computation

    Halide is a programming language for fast, portable data-parallel computation. It was designed to make writing high-performance image and array processing code much easier on modern machines. It works on all major operating systems and with several CPU architectures (X86, ARM, MIPS, Hexagon, PowerPC) and GPU Compute APIs (CUDA, OpenCL, OpenGL, among others). It isn't a standalone programming language however; rather it is embedded in C++ which means that you write C++ code, building an...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 13
    Convex.jl

    Convex.jl

    A Julia package for disciplined convex programming

    Convex.jl is a Julia package for Disciplined Convex Programming (DCP). Convex.jl makes it easy to describe optimization problems in a natural, mathematical syntax, and to solve those problems using a variety of different (commercial and open-source) solvers. Convex.jl works by transforming the problem—which possibly has nonsmooth, nonlinear constructions like the nuclear norm, the log determinant, and so forth—into a linear optimization problem subject to conic constraints. This...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 14
    Pyro

    Pyro

    Deep universal probabilistic programming with Python and PyTorch

    Pyro is a flexible, universal probabilistic programming language (PPL) built on PyTorch. It allows for expressive deep probabilistic modeling, combining the best of modern deep learning and Bayesian modeling. Pyro is centered on four main principles: Universal, Scalable, Minimal and Flexible. Pyro is universal in that it can represent any computable probability distribution. It scales easily to large datasets with minimal overhead, and has a small yet powerful core of composable...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    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: 2 This Week
    Last Update:
    See Project
  • 16
    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. The Chez Scheme implementation consists of a compiler,...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 17
    KernelAbstractions.jl

    KernelAbstractions.jl

    Heterogeneous programming in Julia

    KernelAbstractions (KA) is a package that enables you to write GPU-like kernels targetting different execution backends. KA is intended to be a minimal and performant library that explores ways to write heterogeneous code.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 18
    Sonic Pi

    Sonic Pi

    Sonic Pi is your free code-based music creation and performance tool

    Sonic Pi is a new kind of musical instrument. Instead of strumming strings or whacking things with sticks - you write code, live. Sonic Pi is a complete open source programming environment originally designed to explore and teach programming concepts within schools through the process of creating new sounds. In addition to being an engaging education resource it has evolved into an extremely powerful and performance-ready live coding instrument suitable for professional artists and DJs....
    Downloads: 20 This Week
    Last Update:
    See Project
  • 19
    CUDA-QX

    CUDA-QX

    Accelerated libraries for quantum-classical computing built on CUDA-Q

    CUDA-QX is a collection of accelerated libraries built on top of the CUDA-Q platform, designed to enable rapid development of hybrid quantum-classical applications. It extends the CUDA-Q programming model by providing optimized implementations of domain-specific quantum computing primitives and workflows. The libraries are intended to help researchers and developers leverage GPUs, CPUs, and quantum processing units together in a unified computational model. CUDA-QX focuses on key areas such...
    Downloads: 11 This Week
    Last Update:
    See Project
  • 20
    Hopp

    Hopp

    The best OSS remote pair programming app

    Hopp is an open-source remote pair programming application designed to enable developers to collaborate in real time with high-quality screen sharing and low-latency communication. Built using modern technologies such as Tauri, WebRTC, and LiveKit, it focuses on delivering a fast and seamless experience for distributed teams working together on code. The platform allows multiple users to join shared sessions, making it suitable not only for traditional pair programming but also for mob...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 21
    CodeGeeX4

    CodeGeeX4

    CodeGeeX4-ALL-9B, a versatile model for all AI software development

    CodeGeeX4 is the fourth-generation open source multilingual code large language model (LLM) developed by ZhipuAI. Designed as a powerful AI coding assistant, it supports over 100 programming languages and has been trained on a massive code and natural language corpus. Compared to its predecessors, CodeGeeX4 introduces improved reasoning, stronger alignment with developer needs, and better performance on real-world programming benchmarks. It supports tasks such as code completion, generation...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 22
    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...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 23
    Vinix

    Vinix

    An effort to write a modern, fast, and useful operating system

    Vinix is an experimental Unix-like operating system written in V, a statically typed compiled programming language known for its simplicity and performance. The project aims to create a minimalistic and efficient OS that adheres to Unix principles while leveraging the modern features of the V language. Vinix serves as both a proof of concept for system programming in V and a platform for exploring OS design concepts.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 24
    SuperCollider

    SuperCollider

    Audio server, programming language, and IDE for sound synthesis

    ...You can write your own UGens in C++, and users have already contributed several hundred more to the sc3-plugins repository. sclang, an interpreted programming language. It is focused on sound, but not limited to any specific domain. sclang controls scsynth via Open Sound Control. You can use it for algorithmic composition and sequencing, finding new sound synthesis methods, connecting your app to external hardware.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 25
    SpinalHDL

    SpinalHDL

    Scala based HDL

    SpinalHDL is a hardware description (HDL) framework embedded in Scala, enabling hardware designers to build digital circuits with modern programming abstractions. Instead of writing in Verilog or VHDL directly, users describe hardware components and their interconnects using Scala code and Spinal’s domain-specific library, which then emits synthesizable hardware (e.g. as Verilog). Because SpinalHDL is embedded in Scala, it allows reuse of functional abstractions, parameterization, modular...
    Downloads: 3 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB