Search Results for "linux programming" - Page 5
Sort By:
Showing 2585 open source projects for "linux programming"
View related business solutions-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
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. Static site generator... -
2
CodeMirror 5
In-browser code editor (version 5, legacy)
CodeMirror is a versatile text editor implemented in JavaScript for the browser. It is specialized for editing code, and comes with a number of language modes and addons that implement more advanced editing functionality. A rich programming API and a CSS theming system are available for customizing CodeMirror to fit your application, and extending it with new functionality. CodeMirror 5 is a JavaScript library that provides an embeddable code editor for web applications, featuring... -
3
Starlark in Go
Starlark in Go: the Starlark configuration language, implemented in Go
starlark-go is the official Go implementation of the Starlark programming language, a Python-like, dynamically typed configuration and scripting language originally developed for the Bazel build system. Starlark combines Python’s expressiveness and readability with deterministic execution, making it ideal for defining build configurations, scripting automation, and embedding domain-specific logic in applications. The Go-based interpreter allows developers to run or embed Starlark programs... -
4
Codespell
Check code for common misspellings
Codespell is a lightweight, open-source spell checker designed specifically for detecting and correcting common misspellings in source code, documentation, and text files. Unlike traditional spell checkers, Codespell is optimized for codebases, ensuring that it correctly identifies and suggests fixes for typographical errors without introducing false positives. It integrates easily into CI/CD pipelines, enabling developers to maintain clean and professional code and documentation. By... -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
5
GritQL
GritQL is a query language for searching, linting, and modifying code
GritQL is a query language designed to facilitate human-AI collaboration by providing an intuitive interface for querying and retrieving structured data. It acts as a bridge between AI models and databases, enabling natural language interaction with structured data sources. -
6
Spring Integration
Provides an extension of the Spring programming model
Extends the Spring programming model to support the well-known Enterprise Integration Patterns. Spring Integration enables lightweight messaging within Spring-based applications and supports integration with external systems via declarative adapters. Those adapters provide a higher-level of abstraction over Spring’s support for remoting, messaging, and scheduling. Spring Integration’s primary goal is to provide a simple model for building enterprise integration solutions while maintaining... -
7
30 Seconds of Code
Coding articles to level up your development skills
30-seconds-of-code is a popular repository offering a vast collection of concise, reusable JavaScript code snippets that can be read and understood in 30 seconds or less. It covers a broad range of everyday programming tasks, from array manipulation to DOM handling. Ideal for learners and professionals alike, it promotes clean coding and fast prototyping by focusing on clarity and brevity. -
8
Luau
Fast, small, safe, gradually typed embeddable scripting language
It is designed to be backward compatible with Lua 5.1, as well as incorporating some features from future Lua releases, but also expands the feature set (most notably with type annotations). Luau is largely implemented from scratch, with the language runtime being a very heavily modified version of Lua 5.1 runtime, with a completely rewritten interpreter and other performance innovations. The runtime mostly preserves Lua 5.1 API, so existing bindings should be more or less compatible with a... -
9
CadQuery
A python parametric CAD scripting framework based on OCCT
CadQuery is an intuitive, easy-to-use Python library for building parametric 3D CAD models. It has several goals. Build models with scripts that are as close as possible to how you’d describe the object to a human, using a standard, already established programming language. Create parametric models that can be very easily customized by end users. Output high-quality CAD formats like STEP and AMF in addition to traditional STL. Provide a non-proprietary, plain text model format that can be... -
Enterprise-grade ITSM, for every businessFreshservice 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.
-
10
Vavr
Object-functional library that runs with Java 8+
Vavr core is a functional library for Java. It helps to reduce the amount of code and to increase the robustness. A first step towards functional programming is to start thinking in immutable values. Vavr provides immutable collections and the necessary functions and control structures to operate on these values. The results are beautiful and just work. The Vavr binaries can be found on Maven Central. Beside with Gradle and Maven they work also standalone. The documentation gives an overview... -
11
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... -
12
rust-analyzer
A Rust compiler front-end for IDEs
...It also contains some tips & tricks to help you be more productive when using rust-analyzer. rust-analyzer is an implementation of Language Server Protocol for the Rust programming language. It provides features like completion and goto definition for many code editors, including VS Code, Emacs and Vim. For VS Code, install rust-analyzer extension from the marketplace. Prebuilt language server binaries for Windows, Linux and Mac are available on the releases page. -
13
dgs-framework
GraphQL for Java with Spring Boot made easy
The DGS Framework (Domain Graph Service) is a GraphQL server framework for Spring Boot, developed by Netflix. Annotation based Spring Boot programming model. Test framework for writing query tests as unit tests. Gradle Code Generation plugin to create types from schema. Easy integration with GraphQL Federation. Integration with Spring Security. GraphQL subscriptions (WebSockets and SSE). File uploads, error handling, and many extension points. The DGS framework project started at Netflix in... -
14
Idris 2
A purely functional programming language with first class types
In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct. In Idris, types are first-class constructs in the language. This means types can be passed as arguments to functions, and returned from... -
15
Geany
A fast and lightweight IDE
Geany is a powerful, stable and lightweight programmer's text editor that provides tons of useful features without bogging down your workflow. It runs on Linux, Windows and macOS, is translated into over 40 languages, and has built-in support for more than 50 programming languages. -
16
GoAWK
A POSIX-compliant AWK interpreter written in Go, with CSV support
GoAWK now uses a bytecode compiler and includes native support for CSV files. AWK is a fascinating text processing language, and The AWK Programming Language is a wonderfully concise book describing it. The A, W, and K in AWK stand for the surnames of the three original creators: Alfred Aho, Peter Weinberger, and Brian Kernighan. Kernighan is also an author of The C Programming Language (“K&R”), and the two books have that same each-page-packs-a-punch feel. AWK was released in 1977, which... -
17
Grails
Grails - the Web Application Framework
Grails is an open‑source, full‑stack web application framework built on the Groovy language and the Java platform. It emphasizes “coding by convention” to streamline development by reducing configuration, leveraging Spring Boot, Hibernate, and integrated DSLs for rapid productivity. Supports expressive DSLs for validation, querying, and view rendering. High‑productivity web framework adopting “coding by convention” paradigm. Rich IDE support across IntelliJ IDEA, Eclipse, Sublime, and... -
18
jsii
jsii allows code in any language to naturally interact with JavaScript
jsii allows code in any language to naturally interact with JavaScript classes. It is the technology that enables the AWS Cloud Development Kit to deliver polyglot libraries from a single codebase! A class library written in TypeScript can be used in projects authored in TypeScript or Javascript (as usual), but also in C# (and other languages from the .NET family), Go, Java, Python, etc. More languages will be added in the future! Due to JSON marshaling costs and the absence of a distributed... -
19
Microsoft Kiota
OpenAPI based HTTP Client code generator
Microsoft Kiota is an open-source tool that generates client libraries from OpenAPI descriptions, making it easier to interact with RESTful APIs. It is designed to work seamlessly with Microsoft Graph and other API ecosystems, providing strongly typed SDKs in multiple programming languages. Kiota simplifies API consumption by automating the creation of client libraries, reducing the manual effort needed to integrate with APIs. -
20
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... -
21
fastn
(Alpha stage software) fastn - Full-stack Web Development Made Easy
ftd is a programming language for building user interfaces and content-centric websites. ftd is easy to learn, especially for nonprogrammers, but it does not compromise on what you can build with it. fastn is a web framework, a content management system, and an integrated development environment for ftd. fastn is a web server, that compiles ftd to HTML/CSS/JS and can be deployed on your server, or on fastn cloud by FifthTry. ftd is designed with minimal and uniform syntax, and at first... -
22
Libros de Programación en Español
List of programming books in Spanish for free
Libros de Programación en Español is a curated list of free programming books in Spanish, organized by topic and technology so learners can find high-quality materials without cost. The README is structured as an index with general programming books, followed by sections for specific languages such as JavaScript, TypeScript, Python, Ruby, Rust, PHP, Haskell, Go, Kotlin, Java, and R.Each entry includes the book title, author, and a link to the official or legal free version (PDF, HTML, eBook,... -
23
ServiceTalk
A networking framework that evolves with your application
ServiceTalk is a JVM network application framework with APIs tailored to specific protocols (e.g. HTTP/1.x, HTTP/2.x, etc…) and supports multiple programming paradigms. ServiceTalk is intended to provide a common and extensible networking abstraction on top of a lower-level networking framework (e.g. Netty). Netty is a great low-level networking framework, but when used for service-to-service communication it presents a few opportunities for improvement. Fully asynchronous and requires... -
24
Shapeless
Generic programming for Scala
Shapeless is a powerful generic programming library for Scala, enabling compile-time abstraction and manipulation of types. It provides features such as HLists (heterogenous lists), generic derivation of type class instances, dependent types, and polymorphic functions—allowing developers to write boilerplate-free, type-safe code. -
25
LeetCode Master
About "Code Thoughts" LeetCode Practice Guide: 200 classic questions
leetcode-master is a comprehensive collection of LeetCode solutions written in C++ and organized as a structured learning path for coding interview preparation. The repository contains detailed explanations, categorized problem sets, and step-by-step reasoning behind solutions, making it an effective study companion for developers preparing for technical interviews. Problems are grouped by topic—such as arrays, linked lists, dynamic programming, greedy algorithms, and graph theory—so...
