Search Results for "prog programming software"
Sort By:
182 projects for "prog programming software" with 2 filters applied:
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
$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.
-
1
Clerk
Moldable Live Programming for Clojure
Clerk is a notebook library for Clojure that enables interactive, reproducible, and version-control-friendly live programming. Notebook content is written in standard Clojure namespaces or Markdown with embedded Clojure code blocks and evaluates top-to-bottom for predictable behavior. Clerk notebooks are either regular Clojure namespaces (interspersed with markdown comments) or regular markdown files (interspersed with Clojure code fences). This also means Clerk notebooks are meant to be... -
2
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... -
3
Drogon
Drogon: A C++14/17/20 based HTTP web application framework
Drogon is a C++14/17-based HTTP application framework. Drogon can be used to easily build various types of web application server programs using C++. Drogon is the name of a dragon in the American TV series "Game of Thrones" that I really like. Drogon is a cross-platform framework, It supports Linux, macOS, FreeBSD, OpenBSD, HaikuOS, and Windows. Use a non-blocking I/O network lib based on epoll (kqueue under macOS/FreeBSD) to provide high-concurrency, high-performance network IO, please... -
4
nimforum
Lightweight alternative to Discourse written in Nim
NimForum is a lightweight forum software written in Nim, designed for simplicity and ease of deployment. It powers the official Nim programming language forum. -
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.
-
5
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... -
6
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... -
7
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. ... -
8
SDK .NET
Temporal .NET SDK
Temporal is a distributed, scalable, durable, and highly available orchestration engine used to execute asynchronous, long-running business logic in a scalable and resilient way. "Temporal .NET SDK" is the framework for authoring workflows and activities using .NET programming languages. -
9
napi-rs
A framework for building compiled Node.js add-ons in Rust via Node-API
NAPI-RS is a framework for building native Node.js modules using the Rust programming language, offering a safe and efficient way to write performance-critical code. -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
10
Catlab.jl
A framework for applied category theory in the Julia language
Catlab.jl is a framework for applied and computational category theory, written in the Julia language. Catlab provides a programming library and interactive interface for applications of category theory to scientific and engineering fields. It emphasizes monoidal categories due to their wide applicability but can support any categorical structure that is formalizable as a generalized algebraic theory. First and foremost, Catlab provides data structures, algorithms, and serialization for... -
11
InvertibleNetworks.jl
A Julia framework for invertible neural networks
Building blocks for invertible neural networks in the Julia programming language. -
12
DBOS Transact PY
Lightweight Durable Python Workflows
dbos-transact-py is the Python counterpart to dbos-transact-ts, offering durable transactional programming with automatic state persistence in PostgreSQL. It simplifies building resilient and idempotent applications by enabling Python functions to retain their state, restart after failure, and guarantee consistency. It's designed for data-heavy and fault-intolerant use cases. -
13
Result
The modelling for success/failure of operations in Kotlin and KMM
This is a tiny framework for modeling the success/failure of operations in Kotlin. Result is to provide a higher abstraction of operation that can be ended with a result of either success or failure. -
14
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... -
15
Netcap
A framework for secure and scalable network traffic analysis
The Netcap (NETwork CAPture) framework efficiently converts a stream of network packets into platform-neutral type-safe structured audit records that represent specific protocols or custom abstractions. These audit records can be stored on disk or exchanged over the network, and are well-suited as a data source for machine learning algorithms. Since parsing of untrusted input can be dangerous and network data is potentially malicious, a programming language that provides a garbage-collected... -
16
Rio
WebApps in pure Python. No JavaScript, HTML and CSS needed
Rio is a Python framework designed to build web applications without the need for HTML, CSS, or JavaScript. Inspired by frameworks like Flutter and React, Rio offers a declarative interface and reusable components, enabling developers to create dynamic web apps entirely in Python. It streamlines the development process by managing both frontend and backend seamlessly. -
17
Fury
A blazing fast multi-language serialization framework
Fury is a blazing-fast multi-language serialization framework powered by jit(just-in-time compilation) and zero-copy, providing up to 170x performance and ultimate ease of use. Based on efficient JIT, struct deserialization can get 170x speed up compared to other serialization frameworks. In serialization scenarios, Fury can achieve a 100x speed up compared to traditional serialization frameworks. If you use Java clusters on a large scale, this will save a lot of computing resources. -
18
miso
A tasty Haskell front-end framework
Miso is a small, production-ready, "isomorphic" Haskell front-end framework for quickly building highly interactive single-page web applications. It features a virtual-dom, recursive diffing / patching algorithm, attribute and property normalization, event delegation, event batching, SVG, Server-sent events, Websockets, type-safe servant-style routing and an extensible Subscription-based subsystem. Inspired by Elm, Redux and Bobril. Miso is pure by default, but side effects (like XHR) can be... -
19
TarpC
An RPC framework for Rust with a focus on ease of use
tarpc is an asynchronous RPC framework for Rust that embraces Rust’s type system and futures to generate ergonomic client and server stubs. Services are declared in pure Rust, and procedural macros expand those definitions into request/response types, trait implementations, and strongly typed stubs. The framework is transport-agnostic: it commonly uses Tokio with serde-based codecs, but you can plug in your own framing and serialization. It bakes in RPC concerns such as deadlines,... -
20
Visual Blocks
Visual Blocks for ML is a Google visual programming framework
Visual Blocks is a node-based, in-browser environment for building AI and data-processing workflows with drag-and-drop components. It lets you connect sources, transforms, models, and visualizers into a live graph, so changes propagate instantly and results are observable without writing glue code. Under the hood it leans on web-friendly runtimes (e.g., WebGPU/WebGL/WebNN or TensorFlow.js backends) to execute pipelines locally, which is great for demos, teaching, and privacy-sensitive... -
21
Standard Webhooks
The Standard Webhooks specification
Standard Webhooks is a community-driven specification and set of open-source tools designed to make webhooks consistent, secure, and interoperable across providers. The project defines strict guidelines covering aspects like signature formats, headers, timestamps, replay protection, and forward compatibility. It includes reference implementations for signature verification and signing across multiple languages such as Python, JavaScript/TypeScript, Go, Rust, Ruby, PHP, C#, Java, and Elixir,... -
22
NodeMCU
Lua based interactive firmware for ESP8266, ESP8285 and ESP32
NodeMCU is an open source Lua-based firmware for the ESP8266 WiFi SOC from Espressif and uses an on-module flash-based SPIFFS file system. NodeMCU is implemented in C and is layered on the Espressif NON-OS SDK. The firmware was initially developed as a companion project to the popular ESP8266-based NodeMCU development modules, but the project is now community-supported, and the firmware can now be run on any ESP module. -
23
AL-IV
ALFOUR Programming language. Simple, safe, power, multi-platform.
A programming language AL-IV (ALFOUR) is a high-level imperative object oriented programming language with minimal introduction level, easy porting to any platform claiming a very high level of safety and stability, with a controllable level of code protection, high efficiency of an executable code, full independence from a target platform, minimal enter level. -
24
cerberuscms2
Cerberus Content Management System
Cerberus Content Management System is a dynamic, secure and infinitely expandable CMS designed after a Unix-Like model. It is a custom written Web Application Framework ( W.A.F. ) with a consistent and custom written Pre-Hyper-Text-Post-Processor Programming Code Framework ( P.C.F. ). This Web Application Software Project' aim is to be the fastest and most secure Web Application Framework, Web Application Programming Code Framework, Text, Voice and Video Communications Platform and Content Management System in the world. The latest project version is programmed with the Pre-Hyper-Text-Post-Processor P.D.O. // P.H.P. ... -
25
Quil
Main repo, Quil source code
Quil blends Clojure's expressive functional programming with Processing’s creative graphics and animation capabilities, offering a DSL for drawing and interactive visuals in a dynamic, artistic way. In one hand Quil holds Processing, a carefully crafted API for making drawing and animation extremely easy to get your biscuit-loving chops around. In the other she clutches Clojure, an interlocking suite of exquisite language abstractions forged by an army of hammocks and delicately wrapped in...
