Search Results for "prog programming software" - Page 8
Sort By:
Showing 2988 open source projects for "prog programming software"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
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.
-
1
MLX42
Codam's own fixed, functioning alternative of the miniLibX
MLX42 is a modern C graphics and windowing library built on top of GLFW and inspired by the original MLX library used in 42 school projects. It aims to provide a higher-level, beginner-friendly abstraction for students learning about graphical programming, while also embracing modern practices like event-driven input, texture rendering, and transparency. MLX42 is structured to reduce boilerplate and simplify the creation of games or interactive applications in C, making it an excellent... -
2
fpm
Fortran Package Manager (fpm)
fpm is a package manager and build system designed to improve the Fortran programming experience. It simplifies the process of building, testing, and distributing Fortran projects by providing a standardized project structure and dependency management. Modeled after Rust's Cargo, fpm aims to modernize Fortran development and foster a more vibrant ecosystem. -
3
Elixir Language Server
A frontend-independent IDE "smartness" server for Elixir
Implementing features such as auto-complete or go-to-definition for a programming language is not trivial. Traditionally, this work had to be repeated for each development tool and it required a mix of expertise in both the targeted programming language and the programming language internally used by the development tool of choice. The Elixir Language Server (ElixirLS) provides a server that runs in the background, providing IDEs, editors, and other tools with information about Elixir Mix... -
4
ESP-IDF
Espressif IoT Development Framework
ESP-IDF (Espressif IoT Development Framework) is the official, open-source development framework for programming Espressif SoCs (such as ESP32, ESP32‑S2, ESP32‑C3 series). It provides toolchains, APIs, components, sample code, and workflows for building embedded IoT firmware, offering support for Wi‑Fi, Bluetooth, power management, and peripheral integration. As well as the esp-idf-template project mentioned in Getting Started, ESP-IDF comes with some example projects in the examples... -
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.
-
5
Codon
A high-performance, zero-overhead, extensible Python compiler
Codon is a high-performance Python compiler that compiles Python code to native machine code without any runtime overhead. Typical speedups over Python are on the order of 100x or more, on a single thread. Codon supports native multithreading which can lead to speedups many times higher still. The Codon framework is fully modular and extensible, allowing for the seamless integration of new modules, compiler optimizations, domain-specific languages and so on. We actively develop Codon... -
6
NVTX (NVIDIA Tools Extension Library)
C-based Application Programming Interface (API)
NVTX (NVIDIA Tools Extension) is a cross-platform API designed to annotate source code with rich metadata that can be consumed by developer profiling and debugging tools. It allows developers to insert markers, ranges, and events directly into their applications, providing contextual insight into how code executes on CPUs and GPUs. These annotations are visualized in tools such as NVIDIA Nsight Systems and Nsight Compute, enabling developers to identify performance bottlenecks, track... -
7
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... -
8
Apache Thrift
Language-independent stack for point-to-point RPC implementation
Apache Thrift is a software framework for scalable cross-language services development. Apache Thrift allows you to define data types and service interfaces in a simple definition file. Taking that file as input, the compiler generates code to be used to easily build RPC clients and servers that communicate seamlessly across programming languages. Thrift is a lightweight, language-independent software stack for point-to-point RPC implementation. -
9
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. -
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
10
nlvm
LLVM-based compiler for the Nim language
nlvm is an LLVM-based compiler for the Nim programming language, aiming to leverage LLVM's optimization capabilities for improved performance. -
11
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... -
12
Axon Framework
Framework for Evolutionary Message-Driven Microservices on the JVM
Axon provides a unified, productive way of developing Java applications that can evolve without significant refactoring from a monolith to Event-Driven microservices. Axon includes both a programming model as well as specialized infrastructure to provide enterprise-ready operational support for the programming model - especially for scaling and distributing mission-critical business applications. Axon is composed of the following concepts and products. Domain-Driven Design (DDD) defines many concepts and patterns that help design software effectively, in line with the business requirements. ... -
13
Easy-Vibe
Tutorial on Product Prototype, AI Capability Integration
Easy-Vibe is an open-source educational project designed to teach developers, product managers, and beginners how to build AI-powered applications using the emerging concept of “vibe coding,” a development approach that relies heavily on AI-assisted programming tools. The project provides a structured curriculum that guides learners from having no programming experience to building fully functional AI-integrated applications. Instead of focusing only on theoretical concepts, Easy-Vibe emphasizes practical, step-by-step tutorials that demonstrate how to transform product ideas into working software using modern AI coding tools and development workflows. ... -
14
Flyde
Visual programming for developers. Includes a VS Code extension
Built on a functional-reactive foundation, Flyde enables more than simple input/output flows. It supports everything you'd expect from a textual-based language; recursions, loops, and conditionals. Unlock new ways to think about, and debug your programs. Have an always-correct diagram of your program. Flyde’s flow-based, visual approach makes asynchronous and concurrent tasks simpler and more intuitive. In Flyde, nothing is hidden. From node implementation to runtime code. Easily access the... -
15
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. -
16
Zipkin
Distributed tracing system to gather timing data
Zipkin is a distributed tracing system. It helps gather timing data needed to troubleshoot latency problems in service architectures. Features include both the collection and lookup of this data. If you have a trace ID in a log file, you can jump directly to it. Otherwise, you can query based on attributes such as service, operation name, tags and duration. Some interesting data will be summarized for you, such as the percentage of time spent in a service, and whether or not operations... -
17
Autocxx
Tool for safe ergonomic Rust/C++ interop driven from existing C++
autocxx is an open source Rust tool and procedural macro designed to enable automatic, safe interoperability between C++ and Rust. It integrates the functionality of bindgen (for parsing and generating Rust bindings from C++ headers) with cxx (for safe and idiomatic Rust–C++ communication), automating the creation of bridges between the two languages. With autocxx, developers can include C++ headers directly in Rust source code and automatically generate bindings for the corresponding C++... -
18
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... -
19
Ktor
Framework for quickly creating connected applications in Kotlin
Create asynchronous client and server applications. Anything from microservices to multiplatform HTTP client apps in a simple way. Open Source, free, and fun. Ktor is built from the ground up using Kotlin and Coroutines. You get to use a concise, multiplatform language, as well as the power of asynchronous programming with an intuitive imperative flow. Ktor allows you to use only what you need, and to structure your application the way you need it. In addition, you can also extend Ktor with... -
20
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... -
21
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... -
22
TinyGo
Go compiler for small place
TinyGo brings the Go programming language to embedded systems and to the modern web by creating a new compiler based on LLVM. You can compile and run TinyGo programs on over 60 different microcontroller boards such as the BBC micro:bit and the Arduino Uno. TinyGo can also produce WebAssembly (WASM) code which is very compact in size. You can compile programs for web browsers, as well as for server and edge computing environments that support the WebAssembly System Interface (WASI) family of... -
23
Ramda
A practical functional library for JavaScript programmers
Ramda is a practical functional library for JavaScript programmers. There are already several excellent libraries with a functional flavor. Typically, they are meant to be general-purpose toolkits, suitable for working in multiple paradigms. Ramda has a more focused goal. We wanted a library designed specifically for a functional programming style, one that makes it easy to create functional pipelines, one that never mutates user data. The primary distinguishing features of Ramda are: Ramda... -
24
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... -
25
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...
