Search Results for "prog programming software" - Page 2
Sort By:
Showing 348 open source projects for "prog programming software"
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.
-
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
1
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... -
2
MirageOS
MirageOS is a library operating system that constructs unikernels
...This lets your services run more efficiently, securely and with finer control than with a full conventional software stack. -
3
SpaceX prepare for Clean Architecture
Clean Architecture Modular Project: MVVM + Jetpack Compose
The purpose of this project is to consolidate some of the learned insights throughout the years about the Clean Architecture principles and reflect those lessons on Android, taking advantage of the Kotlin programming language features too. This project summarises some of the general use cases and demands on a typical production project using: Jetpack Compose, Functional Programming, MVVM, Kotlin Coroutines, and Kotlin Flows (check the branches section for more information). -
4
Google Style Guides
Style guides for Google-originated open source projects
Google Styleguide is a comprehensive collection of coding style guides created and maintained by Google to ensure consistency, readability, and maintainability across its vast array of software projects. These guides define best practices and conventions for writing code in multiple programming languages, from C++ and Python to JavaScript, Go, and Swift. By adhering to these standards, developers can more easily collaborate, review code, and maintain high-quality software across teams and open source contributions. Each guide covers a wide range of topics, including naming conventions, file organization, indentation, documentation, and usage of specific language features. ... -
Add Two Lines of Code. Get Full APM.Works out of the box for Rails, Django, Express, Phoenix, and more. Monitoring exceptions and performance in no time.
-
5
ZIO
A type-safe, composable library for async and concurrent programming
ZIO is a purely functional, type-safe Scala library that provides an Effect (ZIO[R,E,A]) abstraction for asynchronous, concurrent programming. It offers resource safety, fiber-based concurrency, strong error handling, and deterministic testing—all with zero external dependencies. Ideal for building scalable backend systems with compositional architecture. -
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
PortableGL
An implementation of OpenGL 3.x-ish in clean C
PortableGL is a single-header, software-only implementation of a subset of OpenGL (specifically the GL 2.1 pipeline), designed to run entirely on the CPU. This lightweight graphics library allows OpenGL-style rendering without GPU acceleration, making it ideal for educational use, debugging, embedded systems, and retro-style software rendering. Because it mirrors OpenGL syntax and design, it can act as a drop-in CPU renderer for testing or deploying 3D graphics on platforms without GPU support. -
8
iText
iText for Java represents the next level of SDKs for developers
iText for Java represents the next level of SDKs for developers who want to take advantage of the benefits PDF can bring. Equipped with a better document engine, high and low-level programming capabilities and the ability to create, edit, and enhance PDF documents, iText can be a boon to nearly every workflow. iText Suite refers to the complete line of products comprising the open-source iText Core PDF library and its add-ons. The iText Suite is a fully-featured SDK for PDF development that allows you to seamlessly embed extensive PDF functionality into your software or workflows. ... -
9
ToaruOS
Hobby operating system, bootloader, kernel, drivers, C library
ToaruOS is a "complete" operating system for x86-64 PCs and experimental support for ARMv8. While many independent, hobby, and research OSes aim to experiment with new designs, ToaruOS is intended as an educational resource, providing a representative microcosm of functionality found in major desktop operating systems. The OS includes a kernel, bootloader, dynamic shared object linker, C standard library, its own composited windowing system, a dynamic bytecode-compiled programming language,... -
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
10
Scalaz
Principled Functional Programming in Scala
Scalaz is a foundational functional-programming library for Scala that provides type classes, data types, and syntax to write pure, composable code. It implements classic abstractions such as Functor, Applicative, Monad, Monoid, Foldable, and Traverse, along with powerful transformers (ReaderT, StateT, WriterT, OptionT, and more) to structure effects. The library offers rich data structures—\/ (disjunction), Validation, NonEmptyList, IList, and Free—that help model errors, invariants, and... -
11
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... -
12
core.async
Facilities for async programming and communication in Clojure
core.async is a Clojure library that brings asynchronous programming and communication to both Clojure and ClojureScript, enabling developers to write concurrent code using channels, go blocks, and CSP-style constructs rather than callbacks or threads. This project follows the version scheme MAJOR.MINOR.COMMITS where MAJOR and MINOR provide some relative indication of the size of the change, but do not follow semantic versioning. In general, all changes endeavor to be non-breaking (by moving... -
13
The Agda standard library
The Agda standard library
The standard library aims to contain all the tools needed to write both programs and proofs easily. 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... -
14
QuantumOptics.jl
Library for the numerical simulation of closed as well as open quantum
QuantumOptics.jl is a numerical framework written in the Julia programming language that makes it easy to simulate various kinds of open quantum systems. It is inspired by the Quantum Optics Toolbox for MATLAB and the Python framework QuTiP. QuantumOptics.jl optimizes processor usage and memory consumption by relying on different ways to store and work with operators. The framework comes with a plethora of pre-defined systems and interactions making it very easy to focus on the physics, not... -
15
Javassist
Java bytecode engineering toolkit
Javassist (JAVA programming ASSISTant) makes Java bytecode manipulation simple. It is a class library for editing bytecodes in Java; it enables Java programs to define a new class at runtime and to modify a class file when the JVM loads it. Unlike other similar bytecode editors, Javassist provides two levels of API: source level and bytecode level. If the users use the source- level API, they can edit a class file without knowledge of the specifications of the Java bytecode. The whole API is... -
16
Go Tools
Various packages and tools that support the Go programming language
This subrepository holds the source for various packages and tools that support the Go programming language. Some of the tools, godoc and vet for example, are included in binary Go distributions. Others, including the Go guru and the test coverage tool, can be fetched with go get. Packages include a type-checker for Go and an implementation of the Static Single Assignment form (SSA) representation for Go programs. This repository uses prettier to format JS and CSS files. The version of... -
17
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. -
18
Awesome Network Analysis
A curated list of awesome network analysis resources
awesome-network-analysis is a curated list of resources focused on network and graph analysis, including libraries, frameworks, visualization tools, datasets, and academic papers. It covers multiple programming languages and domains like sociology, biology, and computer science. This repository serves as a central reference for researchers, analysts, and developers working with network data. -
19
mo - Monads
Monads and popular FP abstractions, powered by Go 1.18+ Generics
mo - Monads is a functional programming utility library for Go that introduces monads and related abstractions using modern Go generics. The project brings well-known FP constructs such as Option, Result, Either, Future, IO, and Task into the Go ecosystem to help developers write safer and more composable code. By leveraging generics introduced in Go 1.18+, the library provides strong type safety without relying on reflection or code generation. It is particularly useful for managing... -
20
huihut interview
A summary of C/C++ technical interview basics
interview is a curated repository of technical interview questions, solutions, and explanations covering a wide range of topics in computer science and software engineering. It aims to help developers prepare for job interviews by providing sample problems in algorithms, data structures, system design, databases, and programming language intricacies, often with code snippets and discussion. The repo is designed so learners can practice real interview scenarios, compare approaches, and internalize foundational concepts that are frequently tested by tech companies. ... -
21
QR Code generator library
High-quality QR Code generator library in Java, TypeScript/JavaScript
This project aims to be the best, clearest library for generating QR Codes. My primary goals are flexible options and absolute correctness. The secondary goals are compact implementation size and good documentation comments. This work is an independent implementation based on reading the official ISO specification documents. I believe that my library has a more intuitive API and shorter code length than competing libraries out there. The library is designed first in Java and then ported to... -
22
pybind11
Seamless operability between C++11 and Python
Pybind11 is a lightweight, header‑only C++ library that simplifies and streamlines creating Python bindings for C++11+ code. It uses template meta-programming to automatically infer types, minimizing boilerplate compared to Boost.Python, and works seamlessly with major build systems -
23
FunctionalPlus
Functional Programming Library for C++
Great code should mostly be self-documenting, but while using C++ in reality you can find yourself dealing with low-level stuff like iterators or hand-written loops that distract from the actual essence of your code. FunctionalPlus is a small header-only library supporting you in reducing code noise and in dealing with only one single level of abstraction at a time. By increasing brevity and maintainability of your code it can improve productivity (and fun!) in the long run. It pursues these... -
24
iText Community for .NET
iText for .NET is the .NET version of the iText library
iText for .NET is the .NET version of the iText library, formerly known as iTextSharp, which it replaces. iText represents the next level of SDKs for developers who want to take advantage of the benefits PDF can bring. Equipped with a better document engine, high and low-level programming capabilities and the ability to create, edit, and enhance PDFs. -
25
NotyKT
Complete Kotlin-stack (Backend + Android) application
NotyKT is the complete Kotlin-stack note-taking application built to demonstrate a use of Kotlin programming language in server-side and Modern Android development tools. Dedicated to all Android Developers.
