Search Results for "linux programming" - Page 4
Sort By:
Showing 5260 open source projects for "linux programming"
View related business solutions-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
1
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. -
2
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... -
3
SocratiCode
Enterprise-grade (40m+ LOC) codebase intelligence
SocratiCode is an AI-assisted learning tool that applies the Socratic method to programming education, guiding users through problem-solving rather than directly providing answers. It encourages critical thinking by asking structured questions that lead developers toward discovering solutions on their own. The system is designed to improve understanding of programming concepts through iterative reasoning and dialogue. It can be used to practice coding challenges, debug logic, and explore... -
4
zerolang
The programming language for agents
zerolang, also called Zero, is an experimental agent-first programming language from Vercel Labs. It explores what programming might look like when AI agents are treated as primary users from the start. The language aims to be small, regular, and easy for agents to learn from examples, diagnostics, and documentation. Its tooling is designed to expose structured facts for checking, running, formatting, debugging, repair, graph inspection, and size reporting. The project is pre-1 and... -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
5
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... -
6
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... -
7
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... -
8
Nerd Fonts
Iconic font aggregator, collection, & patcher. 3,600+ icons
Nerd Fonts patches developer targeted fonts with a high number of glyphs (icons). Specifically to add a high number of extra glyphs from popular ‘iconic fonts’ such as Font Awesome, Devicons, Octicons, and others. 50+ patched and ready-to-use programming fonts. 3600+ icons combined from popular sets. Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more. Nerd Fonts... -
9
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... -
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
10
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... -
11
Flix
The Flix Programming Language
Flix is a statically typed programming language combining functional, imperative, and logic paradigms, with first‑class Datalog constraints and a polymorphic effect system. Designed to run on the JVM, Flix enforces purity tracking at compile time, supports algebraic data types, tail‑call elimination, and allows entire Datalog programs as values. -
12
MetaCall Core
The ultimate polyglot programming experience
A polyglot runtime that enables seamless execution of multiple programming languages within the same environment, improving interoperability between different codebases. -
13
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. Basic Go Programming topics discussed are very basic, and suitable for people... -
14
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. The same core idea forms the basis for a runtime that robustly supports dynamic code... -
15
Wasp
A programming language that understands what a web app is
Wasp (Web Application Specification Language) is a declarative DSL (domain-specific language) for developing, building and deploying modern full-stack web apps with less code. Concepts such as app, page, user, login, frontend, production, etc. are baked into the language, bringing a new level of expressiveness and allowing you to get more work done with fewer lines of code. While describing high-level features with Wasp, you still write the rest of your logic in your favorite technologies... -
16
Crossbeam
Tools for concurrent programming in Rust
This crate provides a set of tools for concurrent programming. Crossbeam supports stable Rust releases going back at least six months, and every time the minimum supported Rust version is increased, a new minor version is released. Currently, the minimum supported Rust version is 1.36. Crossbeam welcomes contribution from everyone in the form of suggestions, bug reports, pull requests, and feedback. We also have the RFCs repository for more high-level discussion, which is the place where we... -
17
bazzite
Bazzite is a cloud native image built upon Fedora Atomic Desktops
Bazzite is a custom Fedora Silverblue variant that provides an immutable desktop operating system tailored for developers and power users. It integrates a curated set of tools and configurations to enhance productivity and streamline the development workflow. -
18
Vibe Vibe
The First Systematic Vibe Coding Tutorial
Vibe Vibe is an open-source educational platform and tutorial system designed to teach AI-assisted programming, also known as “vibe coding,” through a structured and beginner-friendly learning path. The project is aimed at users with little to no programming experience, guiding them from initial ideas to fully deployed applications using natural language interactions with AI tools. It introduces a paradigm shift where coding becomes a conversational process, allowing users to build software... -
19
Yampa
Functional Reactive Programming domain-specific language
Yampa is a Functional Reactive Programming (FRP) library for Haskell, specifically designed for modeling hybrid systems that involve both continuous and discrete time behaviors, such as games, simulations, robotics, and reactive systems. Based on the concept of signal functions, Yampa offers a declarative way to model time-varying values and their transformations, making it easier to manage complex time-based logic without resorting to imperative state management. It is grounded in strong... -
20
Node.js Basics
Node.js Basics ( v24.x )
Node.js Basics is an extensive learning repository covering Node.js programming, server development, APIs, and common interview topics. Its material addresses event-driven programming, callbacks, callback hell, asynchronous behavior, commands, APIs, programming exercises, and frequently asked questions. Separate reference files collect multiple-choice questions, data-structure material, design-pattern notes, and practical Node.js examples. The repository also contains sample projects for... -
21
Lambda Builders
Python library to compile, build & package AWS Lambda functions
Python library to compile, build & package AWS Lambda functions for several runtimes & frameworks. AWS Lambda Builders also supports Custom workflow through a Makefile. Lambda Builders is the brains behind the sam build command from AWS SAM CLI. Lambda Builders is a Python library. It additionally exposes a JSON-RPC 2.0 interface to use in other languages. Build Actions could be implemented in any programming language. Preferably in the language that they are building. Some build actions... -
22
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. That is, instead of a “minimalist” language, which is the way... -
23
MicroPython
Python implementation for microcontrollers and constrained systems
MicroPython is a lean and efficient implementation of the Python 3 programming language that includes a small subset of the Python standard library and is optimised to run on microcontrollers and in constrained environments. The MicroPython pyboard is a compact electronic circuit board that runs MicroPython on the bare metal, giving you a low-level Python operating system that can be used to control all kinds of electronic projects. MicroPython is packed full of advanced features such as an... -
24
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... -
25
Java Basics
Large educational repository for learning and reviewing modern Java
Java Basics is a large educational repository for learning and reviewing modern Java, currently presented around Java 25. It combines conceptual notes, code examples, programming exercises, interview questions, and multiple-choice material. Core topics include collections, strings, object-oriented programming, multithreading, and general Java programming. Separate resources cover JDBC, JSP, Servlets, Hibernate, and common design patterns. The repository also contains dedicated Java program...
