#Apache 2.0

FStarLang

FStar

★ 3,104

A Proof-oriented Programming Language. [fstar-mode.el]: Emacs mode for F* [fstar-vscode-assistant]: VS Code plugin for F* More details on [editor support] are available on the [F\* wiki].

GoogleCloudPlatform

professional-services

★ 3,073

Common solutions and tools developed by Google Cloud's Professional Services team. This repository and its contents are not an officially supported Google product.

music-assistant

server

★ 3,070

Music Assistant is a free, opensource Media library manager that connects to your streaming services and a wide range of connected speakers. The server is the beating heart, the core of Music Assistant and must run on an always-on device like a Raspberry Pi, a NAS or an Intel NUC or alike.

apache

cloudstack

★ 3,058

Apache CloudStack is an opensource Infrastructure as a Service (IaaS) cloud computing platform.

envoyproxy

gateway

★ 3,030

Manages Envoy Proxy as a Standalone or Kubernetes-based Application Gateway.

VibiumDev

vibium

★ 2,933

The verification layer for coding agents

CanineHQ

canine

★ 2,932

A developer friendly PaaS for your Kubernetes. Deploy applications with git push, manage services through an intuitive web interface, and use the full power of Kubernetes without writing YAML.

foss42

apidash

★ 2,909

API Dash is a beautiful AI-powered open-source cross-platform (Desktop & Mobile) API Client built using Flutter which can help you easily create & customize your HTTP & GraphQL API requests, visually inspect responses and generate API integration code. A lightweight alternative to postman/insomnia.

Project-N-E-K-O

N.E.K.O

★ 2,896

A catgirl who lives with you in real time - reaching out first, sharing your media, and actually getting things done, powered by an embodied emotional engine.🐱❤一只会主动找你玩的 AI 猫娘。

radixark

miles

★ 2,886

Miles is an enterprise-facing reinforcement learning framework for LLM and VLM post-training, forked from and co-evolving with slime.

obi1kenobi

trustfall

★ 2,884

A query engine for any combination of data sources. Query your files and APIs as if they were databases!

chauncygu

collection-claude-code-source-code

★ 2,831

A collection of the Claude Code open source. No annotations, docs, or build tooling have been added, use claude-code-source-code for the researched and annotated version.

opensolon

solon

★ 2,777

Java enterprise application development framework for full scenario: Restrained, Efficient, Open, Ecologicalll!!! 700% higher concurrency 50% memory savings Startup is 10 times faster. Packing 90% smaller; Compatible with java8 ~ java25; Supports LTS. (Replaceable spring).

FluidInference

FluidAudio

★ 2,762

Frontier CoreML audio models in your apps - text-to-speech, speech-to-text, voice activity detection, and speaker diarization. In Swift, powered by SOTA open source.

makecindy

cindy

★ 2,686

Consider it done. The open-source AI agent that works out of the box AI Agent .

open-telemetry

opentelemetry-java-instrumentation

★ 2,625

OpenTelemetry auto-instrumentation and instrumentation libraries for Java.

pnnbao97

VieNeu-TTS

★ 2,573

Vietnamese TTS with instant voice cloning • On-device • Real-time CPU inference • 24kHz audio quality • Chuyển văn bản thành giọng nói tiếng Việt • Text to speech tiếng Việt • TTS tiếng Việt

pac4j

pac4j

★ 2,524

Security engine for Java (authentication, authorization, multi frameworks): OpenID Connect, SAML2, CAS, OAuth, LDAP, JWT...

mirage-project

mirage

★ 2,490

Mirage Persistent Kernel: Compiling LLMs into a MegaKernel. Quickstart Mirage allows you to compile LLMs from the Hugging Face model zoo into a megakernel using just a few dozen lines of Python-mainly to define the kernel s inputs and outputs.

lupinemachines

lupine

★ 2,427

LUPINE is a GPU over IP bridge allowing GPUs on remote machines to be attached to CPU-only machines.