Search Results for "linux programming" - Page 6
Sort By:
Showing 5260 open source projects for "linux programming"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
Mecha
A parser combinator library for Zig
A parser combinator library for the Zig programming language. Time to make your own parser mech. -
2
STLINK
Open source STM32 MCU programming toolset
stlink is an open source toolset to program and debug STM32 devices and boards manufactured by STMicroelectronics. It supports several so-called STLINK programmer boards (and clones thereof) which use a microcontroller chip to translate commands from USB to JTAG/SWD. There are four generations available on the market which are all supported by this toolset. -
3
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. It also has... -
4
Go 101
An up-to-date (unofficial) knowledge base for Go programming
Go 101 is a series of books on Go programming. Currently, the following books are available. Go (Fundamentals) 101, which focuses on Go syntax/semantics (except custom generics related) and all kinds of runtime related things. Go Generics 101, which explains Go custom generics in detail. Go Optimizations 101, which provides some code performance optimization tricks, tips, and suggestions. Go Details & Tips 101, which collects many details and provides several tips in Go programming. These... -
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.
-
5
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... -
6
OCaml
The core OCaml system: compilers, runtime system, base libraries
OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety. OCaml’s powerful type system means more bugs are caught at compile-time, and large, complex codebases are easier to maintain. This makes it a good language for running critical code. At the same time, sophisticated inference makes the type system unobtrusive, creating a smooth developer experience. OCaml has two compilers. One is a bytecode compiler that generates small,... -
7
List of Free Learning Resources
Freely available programming books
List of Free Learning Resources is a curated open-source collection of free programming resources, including books, tutorials, and courses across many languages and disciplines. Maintained by the community, it organizes materials by topic, language, and skill level, making it easy to discover learning resources. The repository includes content on software development, computer science, data science, and more. It is continuously updated with new resources contributed by developers worldwide.... -
8
Voqal
Natural speech programming assistant for the software developers
Voqal is a programming assistant built for software developers looking to enhance their productivity with natural speech programming. Using Voqal, you can navigate, write, run, and debug software in JetBrains IDEs using your voice. Write code faster, reduce repetitive strain injuries, and improve focus and productivity. Voqal is promptable and privacy-focused, allowing you to customize your experience and control your data. -
9
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. -
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
AMDGPU.jl
AMD GPU (ROCm) programming in Julia
AMD GPU (ROCm) programming in Julia. -
11
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... -
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
YueScript
A Moonscript dialect compiles to Lua
A language that compiles to Lua. Yuescript is a Moonscript dialect. It is derived from Moonscript language 0.5.0 and continuously adopts new features to be more up-to-date. Moonscript is a language that compiles Lua. Since the original Moonscript has been used to write web framework lapis and run a few business websites like itch.io and streak.club with some large code bases. The original language is getting too hard to adopt new features for those that may break the stability of existing... -
14
ProjectLearn.io
A curated list of project tutorials for project-based learning
ProjectLearn.io is an open-source repository that aggregates curated tutorials focused on project-based programming education. The project organizes learning resources where users build complete applications from scratch, helping learners acquire practical development experience rather than relying solely on theoretical tutorials. The repository includes projects across multiple domains such as web development, mobile development, machine learning, artificial intelligence, and game... -
15
CUDA.jl
CUDA programming in Julia
High-performance GPU programming in a high-level language. JuliaGPU is a GitHub organization created to unify the many packages for programming GPUs in Julia. With its high-level syntax and flexible compiler, Julia is well-positioned to productively program hardware accelerators like GPUs without sacrificing performance. The latest development version of CUDA.jl requires Julia 1.8 or higher. If you are using an older version of Julia, you need to use a previous version of CUDA.jl. This will... -
16
Moon Repo
A build system and monorepo management tool for the web ecosystem
Moon is a build system and project management tool designed to handle monorepos, providing efficient workflows and task orchestration for large-scale projects. -
17
PyQuil
A Python library for quantum programming using Quil
PyQuil is a Python library for quantum programming using Quil, the quantum instruction language developed at Rigetti Computing. PyQuil serves three main functions. PyQuil has a ton of other features, which you can learn more about in the docs. However, you can also keep reading below to get started with running your first quantum program. Without installing anything, you can quickly get started with quantum programming by exploring our interactive Jupyter Notebook tutorials and examples. To... -
18
gosec
Golang security checker
A project devoted to secure programming in the Go language. Licensed under the Apache License, Version 2.0 (the "License"). You may not use this file except in compliance with the License. You can integrate third-party code analysis tools with GitHub code scanning by uploading data as SARIF files. The workflow shows an example of running the gosec as a step in a GitHub action workflow that outputs the results.sarif file. The workflow then uploads the results.sarif file to GitHub using the... -
19
Quick Reference
Documentation, cheatsheets, and quick references for developers
Reference is an open-source collection of documentation, cheatsheets, and quick references for developers. It aggregates useful programming knowledge, syntax guides, and best practices across various programming languages, tools, and frameworks. -
20
Rakudo
Rakudo – Raku on MoarVM, JVM, and JS
This is Rakudo, a Raku Programming Language compiler for the MoarVM, JVM, and Javascript virtual machines. Rakudo is distributed under the terms of the Artistic License 2.0. For more details, see the full text of the license in the file LICENSE. This directory contains only the Rakudo compiler itself; it does not contain any of the modules, documentation, or other items that would normally come with a full Raku distribution. If you're after more than just the bare compiler, please download... -
21
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". -
22
sectorlisp
Bootstrapping LISP in a Boot Sector
The sectorlisp project is a minimal implementation of the Lisp programming language designed to fit within extremely constrained environments. It is engineered to run in very small memory footprints, making it suitable for educational purposes and experimentation with low-level programming concepts. The project demonstrates how a functional programming language can be implemented with minimal resources while still retaining core features. It focuses on simplicity, providing a stripped-down... -
23
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... -
24
tree-sitter
An incremental parsing system for programming tools
Tree-sitter is a parser generator tool and an incremental parsing library. It can build a concrete syntax tree for a source file and efficiently update the syntax tree as the source file is edited. General enough to parse any programming language. Fast enough to parse on every keystroke in a text editor. Robust enough to provide useful results even in the presence of syntax errors. Dependency-free so that the runtime library (which is written in pure C) can be embedded in any application.... -
25
HAXE
The cross-platform toolkit
Haxe is an open source high-level strictly-typed programming language with a fast optimizing cross-compiler. Haxe can build cross-platform applications targeting JavaScript, C++, C#, Java, JVM, Python, Lua, PHP, Flash, and allows access to each platform's native capabilities. Haxe has its own VMs (HashLink and NekoVM) but can also run in interpreted mode. Haxe is useful in a wide variety of domains; games, web, mobile, desktop, command-line and cross-platform APIs. Take a look at who is...
