Search Results for "apache 4"
Sort By:
Showing 720 open source projects for "apache 4"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
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.
-
1
Lean 4
Lean 4 programming language and theorem prover
Lean 4 is both a programming language and an interactive theorem prover, designed to support formal reasoning while also functioning as an efficient and extensible general-purpose language. The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to... -
2
.ignore 4.x
.ignore support plugin for IntelliJ IDEA
.ignore support plugin for IntelliJ IDEA . Entries inspection (duplicated, covered, unused, incorrect syntax, relative entries) with quick-fix actions. Comments and brackets support. Navigation to entries in Project view. Renaming entries from a dot-ignore file. Close opened ignored files action. Custom user templates with import/export features. -
3
VvvebJs
Drag and drop website builder javascript library
Drag and drop website builder javascript library. Components and blocks/snippets drag and drop. Undo/Redo operations. One or two panels interface. File manager and component hierarchy navigation. Add a new page. Live code editor. Image upload with example PHP script included. Page download or export HTML or save the page on the server with example PHP script included. Components/Blocks list search. Bootstrap 4 components. Youtube, Google maps, Charts.js, etc widgets. By default, the editor... -
4
Amazon Neptune SigV4 Signer
A library for Amazon Neptune that enables AWS Signature Version
A library for sending AWS Signature Version 4 signed requests over HTTP to Amazon Neptune. This package provides signers that can be used with various implementations of HttpRequests. AWS Identity and Access Management (IAM) is an AWS service that helps an administrator securely control access to AWS resources. IAM administrators control who can be authenticated (signed in) and authorized (have permissions) to use Neptune resources. IAM is an AWS service that you can use with no additional... -
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
Docker-Android
Android in docker solution with noVNC supported and video recording
Docker-Android is a docker image built to be used for everything related to mobile website testing and Android project. You can use cadvisor combined with influxdb / Prometheus and grafana if needed to monitor each running container. Docker-Android are being used by 100+ countries around the world. noVNC to see what happen inside docker container. Emulator for different devices/skins, such as Samsung Galaxy S6, LG Nexus 4, HTC Nexus One and more. Ability to connect to Selenium Grid. Ability... -
6
dperf
DPDK based 100Gbps network performance and load testing software
dperf is a DPDK based 100Gbps network performance and load testing software. Based on DPDK, dperf can generate huge traffic with a single x86 server: tens of millions of HTTP CPS๏ผhundreds of Gbps throughput and billions of concurrent connections. Provides detailed statistics and identify every packet loss. Support multiple scenarios. Load testing and stability testing for Layer 4 Load Balancer and other Layer 4 gateways. Network performance testing for servers on cloud. Performance test of... -
7
Dyad
Free, local, open-source AI app builder
Dyad is a free, local, open source AI app builder that lets you go from idea to full-stack application entirely on your machine, no coding required, just chat with AI. You can build unlimited apps with real-time previews, instant undo, and responsive, frictionless workflows. Deep Supabase integration means you can create UI and backend logic in one cohesive environment, while the model-agnostic architecture lets you connect to any AI, whether cloud-based (Gemini 2.5 Pro, GPT-4.1, Claude... -
8
Pyro
Deep universal probabilistic programming with Python and PyTorch
Pyro is a flexible, universal probabilistic programming language (PPL) built on PyTorch. It allows for expressive deep probabilistic modeling, combining the best of modern deep learning and Bayesian modeling. Pyro is centered on four main principles: Universal, Scalable, Minimal and Flexible. Pyro is universal in that it can represent any computable probability distribution. It scales easily to large datasets with minimal overhead, and has a small yet powerful core of composable... -
9
Besu Ethereum Client
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client
...Instructions for how to get started with developing on the Besu codebase. Please also read the wiki for more details on how to submit a pull request (PR). Besu is an Apache 2.0 licensed, MainNet compatible, Ethereum client written in Java. Participation in private networks is typically restricted in some way, so the volume of traffic is much lower than on Mainnet, resulting in lower system requirements. Depending on your environment and network setup, the minimum Java Virtual Machine (JVM) memory requirement for private networks is 4 GB. -
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.
-
10
MockK
Mocking library for Kotlin
All you need to get started is just to add a dependency to MockK library. Simplest example. By default mocks are strict, so you need to provide some behavior. -
11
OpenRewrite
Automated mass refactoring of source code
The OpenRewrite project is a mass source code refactoring ecosystem. Reduce 1000s of hours of static code analysis fixes to minutes. Turn a four-month migration project into four hours of work. Patch security vulnerabilities across 100s of repositories at once. OpenRewrite automates code refactoring and remediation tasks for you, enabling developers to deliver more business value. OpenRewrite's refactoring engine and recipes will always be open-source. Build tool plugins like OpenRewrite... -
12
tinylog
tinylog is a lightweight logging framework for Java, Kotlin, Scala
Simplify your logging with tinylog. The lightweight logging framework can be used with Java, Kotlin, Scala, and any other JVM language. tinylog is open source and runs wherever Java is used: JVM, GraalVM, and Android. -
13
Amazon SSM Agent
An agent to enable remote management of your EC2 instances
AWS Systems Manager is a secure end-to-end management solution for hybrid cloud environments. AWS Systems Manager is the operations hub for your AWS applications and resources, and is broken into four core feature groups. Aggregate data in a single console and gain actionable insights across AWS services such as Amazon CloudWatch, AWS CloudTrail, and AWS Config, as well as third-party tools. Leverage operational data to easily manage applications and identify issues quickly across associated... -
14
CodiumAI PR-Agent
AI-Powered tool for automated pull request analysis
CodiumAI PR-Agent is an open-source tool aiming to help developers review pull requests faster and more efficiently. It automatically analyzes the pull request and can provide several types of commands. See the Usage Guide for instructions how to run the different tools from CLI, online usage, Or by automatically triggering them when a new PR is opened. You can try GPT-4 powered PR-Agent, on your public GitHub repository, instantly. Just mention @CodiumAI-Agent and add the desired command in... -
15
uvloop
Ultra fast asyncio event loop
uvloop is an ultra-fast, drop-in replacement of the built-in asyncio event loop. Together with asyncio and the power of async/await in Python 3.5, uvloop makes it easier than ever to write high-performance Python networking code. uvloop makes asyncio incredibly fast-- 2 to 4 times faster than nodejs, or any other Python asynchronous framework. The performance of asyncio when it is uvloop-based is almost comparable to that of Go programs. uvloop is written in Cython and is built on top... -
16
JetCache
JetCache is a Java cache framework
JetCache is a Java cache abstraction that provides uniform usage for different caching solutions. It provides more powerful annotations than those in Spring Cache. The annotations in JetCache support native TTL, two-level caching, and automatically refresh in distributed environments, also you can manipulate Cache instances by your code. Currently, there are four implementations: RedisCache, TairCache(not open source on github), CaffeineCache (in memory) and a simple LinkedHashMapCache (in... -
17
Emoji
A library to add Emoji support to your Android / JVM Application
A Kotlin Multiplatform library to add Emoji support to your Android App / JVM Backend. Check out the sample jvm module for text parsing/searching functionality. PopupWindow which overlays over the soft keyboard. Normal view which is used by EmojiPopup and can also be used as a standalone to select emojis via categories. The library has 4 different sprites providers to choose from (iOS, Google, Facebook & Twitter). The emoji's are packaged as pictures and loaded at runtime. If you want to use... -
18
Docker images for Selenium Grid Server
Docker images for the Selenium Grid Server
Grid 4 has the ability to start Docker containers on-demand, this means that it starts a Docker container in the background for each new session request, the test gets executed there, and when the test completes, the container gets thrown away. This execution mode can be used either in the Standalone or Node roles. The "dynamic" execution mode needs to be told what Docker images to use when the containers get started. Additionally, the Grid needs to know the URI of the Docker daemon. If you... -
19
Generative AI Examples
Generative AI Examples is a collection of GenAI examples
Efficiently integrate secure, performant, and cost-effective Generative AI workflows into business value. Detailed framework of composable building blocks for state-of-the-art generative AI systems including LLMs, data stores, and prompt engines. Architectural blueprints of retrieval-augmented generative AI component stack structure and end-to-end workflows. A four-step assessment for grading generative AI systems around performance, features, trustworthiness and enterprise-grade readiness. -
20
Mentat
Mentat - The AI Coding Assistant
Mentat is the AI tool that assists you with any coding task, right from your command line. Unlike Copilot, Mentat coordinates edits across multiple locations and files. And unlike ChatGPT, Mentat already has the context of your project, no copy and pasting is required. Run Mentat from within your project directory. Mentat uses Git, so if your project doesn't already have Git set up, run git init. List the files you would like Mentat to read and edit as arguments. Mentat will add each of them... -
21
Pyrra
Making SLOs with Prometheus manageable, accessible, and easy to use
Making SLOs with Prometheus manageable, accessible, and easy to use for everyone. When running Pyrra outside of Kubernetes, the SLO object can be provided through a YAML file read from the file system. For this, one container or binary needs to be started with the API argument and the reconciler with the filesystem argument. Here, Pyrra will save the generated recording rules to disk where they can be picked up by a Prometheus instance. While running Pyrra on its own works, there won't be... -
22
BCC (BPF Compiler Collection)
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
BCC is a toolkit that simplifies creating efficient kernel tracing, monitoring, and manipulation programs by leveraging extended Berkeley Packet Filters (eBPF). It includes a rich set of example tools and scripting interfaces in C, Python, and Lua. BCC makes BPF programs easier to write, with kernel instrumentation in C (and includes a C wrapper around LLVM), and front-ends in Python and lua. It is suited for many tasks, including performance analysis and network traffic control. With a... -
23
Contour
Modern C++ Terminal Emulator
contour is a modern and actually fast, modal, virtual terminal emulator, for everyday use. It is aimed at power users with a modern feature mindset. Available on all 4 major platforms, Linux, OS/X, FreeBSD, Windows. GPU-accelerated rendering. Font ligatures support (such as in Fira Code). Unicode: Emoji support (-: ๐ ๐ ๐ ๐ช - including ZWJ, VS15, VS16 emoji :-) Unicode: Grapheme cluster support. Bold and italic fonts. High-DPI support. Vertical Line Markers (quickly jump to markers in your... -
24
Swoole
Coroutine-based concurrency library for PHP
Build high-performance, scalable, concurrent TCP, UDP, Unix Socket, HTTP, WebSocket services with PHP and easy to use coroutine, fiber API. Write your next scalable async application server with PHP coroutine and PHP fiber API. Compared with other async programming frameworks or softwares such as Nginx, Tornado, Node.js, Swoole has the built-in PHP coroutine, fiber and async support, multiple threads I/O modules. You can use sync or async, coroutine, fiber API to write the applications or... -
25
ts-blank-space
A small, fast, pure JavaScript type-stripper
ts-blank-space is a fast type-stripping compiler that converts TypeScript to JavaScript. It supports a modern subset of TypeScript by erasing the types and replacing them with whitespace. That's it. It is not a type checker and does not perform any other code transformations. The underlying technique can improve build performance and simplify development. The implementation is pure TypeScript. It is simple enough to read and understand in a few minutes because it is only 700 lines of code...
