CluvexStudio / Strata
An open-source file manager for Android: two panes, archives, APK and DEX editing, a code editor, network storages and an encrypted vault. No ads, no accounts, no tracking.
CluvexStudio / Strata
m-uvex / loaf-fm
A beautiful and fast rust-based material 3e file manager for linux.
AntoGA / agents-contract
AGENTS.md contract for AI coding agents + zero-dependency linter + SessionStart hook. Works with Claude Code, Codex, Cursor, Copilot.
JoasASantos / Malvex
AI-driven malware analysis framework with 30+ integrated tools, web REPL, and MCP server
ReactiveX / RxJava
RxJava – Reactive Extensions for the JVM – a library for composing asynchronous and event-based programs using observable sequences for the Java VM.
ReactiveX / RxAndroid
RxJava bindings for Android
anchore / grype
A vulnerability scanner for container images and filesystems
convex / convex-backend
The open-source reactive database for app developers
DevExpress / testcafe
A Node.js tool to automate end-to-end web testing.
reactiveui / ReactiveUI
A composable, cross-platform MVVM framework for .NET inspired by functional reactive programming. It moves mutable state out of the user interface, keeps each feature's logic in one readable place, and makes applications easier to test. Supports WPF, WinForms, WinUI, .NET MAUI, Avalonia, Uno Platform, Blazor and Android.
cvxpy / cvxpy
A Python-embedded modeling language for convex optimization problems.
LFDT-web3j / web3j
Lightweight Java and Android library for integration with Ethereum clients
ReactiveX / RxPY
ReactiveX for Python
convex / chef
The only AI app builder that knows backend
dcajasn / Riskfolio-Lib
Portfolio Optimization in Python
SpinalHDL / VexRiscv
A FPGA friendly 32 bit RISC-V CPU implementation
pngwn / MDsveX
A markdown preprocessor for Svelte.
Vexa-ai / vexa
Open-source meeting transcription API for Google Meet, Microsoft Teams & Zoom. Auto-join bots, real-time WebSocket transcripts, MCP server for AI agents. Self-host or use hosted SaaS.
marlboro-advance / mpvEx
A beautiful media player for android, based on mpv-android and built with Jetpack Compose. Forked from mpvKt
skfolio / skfolio
Python library for portfolio optimization built on top of scikit-learn
CluvexStudio / Aether
A Rust userspace WARP core for censored networks, built around MASQUE over HTTP/3 and HTTP/2.
cvxpy / cvxpylayers
Differentiable convex optimization layers
LukeMathWalker / pavex
A backend framework for Rust professionals
opensheetmusicdisplay / opensheetmusicdisplay
OpenSheetMusicDisplay renders sheet music in MusicXML format in browsers and headless with NodeJS. Based on VexFlow, OSMD is brought to you by PhonicScore.com.
monix / monix
Asynchronous, Reactive Programming for Scala and Scala.js.
DevExpress / DevExtreme
HTML5 JavaScript Component Suite for Responsive Web Development
reactivemarbles / DynamicData
Reactive collections based on Rx.Net
Vexu / arocc
A modern fully featured C compiler.
vexorian / dizquetv
Create live TV channels from your own media. Access the streams using the simulated HDHomerun tuner or the generated M3U URl.
guacsec / guac
GUAC aggregates software security metadata into a high fidelity graph database.
owasp-dep-scan / dep-scan
OWASP dep-scan is a next-generation security and risk audit tool based on known vulnerabilities, advisories, and license limitations for project dependencies. Both local repositories and container images are supported as the input, and the tool is ideal for integration.
SarahWeiii / CoACD
[SIGGRAPH2022] Approximate Convex Decomposition for 3D Meshes with Collision-Aware Concavity and Tree Search
M2Team / NanaBox
The third-party lightweight XAML-based out-of-box-experience oriented Hyper-V virtualization software based on Host Compute System API, Remote Desktop ActiveX control and XAML Islands
SciML / Optimization.jl
Mathematical Optimization in Julia. Local, global, gradient-based and derivative-free. Linear, Quadratic, Convex, Mixed-Integer, and Nonlinear Optimization in one simple, fast, and differentiable interface.
LiuYuYang01 / ThriveX-Blog
🎉 ThriveX 是一个年轻、高颜值、全开源、永不收费的现代化博客管理系统。它采用前后端分离开发模式，是一个 NextJS + Spring Boot 的产物
convex / better-auth
Convex + Better Auth 🔥
ebrahimpichka / awesome-optimization
A curated list of mathematical optimization courses, lectures, books, notes, libraries, frameworks and software.
litex-hub / linux-on-litex-vexriscv
Linux on LiteX-VexRiscv
ddemidov / vexcl
VexCL is a C++ vector expression template library for OpenCL/CUDA/OpenMP
samber / ro
🏎️ Streams & Reactive Programming paradigm for Go: declarative and composable API for event-driven applications
cvxgrp / scs
Splitting Conic Solver
criyle / go-judge
Sandbox service built on Linux container technologies with simple REST and gRPC API
reactiveui / Camelotia
A cross-platform sample application built with ReactiveUI. Camelotia is a file manager for cloud storage providers and local file systems, demonstrating reactive MVVM architecture, testable view models and shared code across desktop UI frameworks.
chainloop-dev / chainloop
Agentic SDLC infrastructure. Define guardrails. Collect signals. Enforce continuously. Signed records of what your AI coding agents and CI/CD pipelines did, checked against policies as code, with the loop closed in CI/CD. AI sessions, SBOMs, VEX, SARIF and SLSA provenance, built on Sigstore and in-toto. Apache 2.0.
CycloneDX / specification
OWASP CycloneDX is a full-stack Bill of Materials (BOM) standard that provides advanced supply chain capabilities for cyber risk reduction. SBOM, SaaSBOM, HBOM, AI/ML-BOM, CBOM, OBOM, MBOM, VDR, and VEX
CycloneDX / cyclonedx-cli
CycloneDX CLI tool for SBOM analysis, merging, diffs and format conversions.
cvanaret / Uno
With Uno, finally take full control of your SQP/barrier solver for nonlinearly constrained optimization
optimatika / ojAlgo
Pure Java LP, QP and MIP solvers plus fast linear algebra. Zero dependencies, MIT licensed. Mathematical optimization and linear algebra for the JVM.
whirlchat / whirl
The AI chat app that sweats the details. Every top model, real memory, living documents, and your own tools.
CluvexStudio / ZedSecure
Multi-core VPN client for Android and desktop: Xray, sing-box, Psiphon, Tor, DNS tunnels, WireGuard/AmneziaWG, OpenConnect, IKEv2
NuvexNetwork / nuvex-services
Off-chain services for Nuvex. This repository does not deploy programs and it is not a source of protocol truth.
NuvexNetwork / nuvex
Solana-native verifiable compute and oracle protocol. Programs accept a job, an input, constraints, and a callback. Randomness is the first job. An active node can fulfill a VRF request with an ECVRF proof after it locks the configured stake and sends a heartbeat. Fees still do not move.
NuvexNetwork / nuvex-docs
The Nuvex documentation site. The protocol, the website, and the off-chain services are separate repositories.
NuvexNetwork / nuvex-web
The Nuvex website. It does not read chain state and it does not submit transactions. The protocol, the documentation site, and the off-chain services are separate repositories.
zeitvex / RC_WheelLeg
关键词：ROBOCON、四足、四轮足、仿生足式、强化学习、RL、Mjlab、Mujoco、Odin1、sim2sim、sim2real。
lavavex / rpcs3-PS5
EXPERIMENTAL: RPCS3 as a native PS5 title (RADV Vulkan, Big Picture Mode). Source only, personal use.
Abhinavexists / lev
An open System One decision model
emaspa / openxlr
A Wave Link replacement for Linux: a PipeWire mixer with effects and an OpenDeck plugin for any microphone, plus full control of Elgato XLR interfaces and Wave microphones
apimartvexqqoe / happyhorse-1.1-prompt-gallery
AI API gateway / relay: 307 models behind one OpenAI-compatible key. image2.5 $0.0085/image, Seedance 2.0 Mini $0.01056/sec, LLM from $0.0228/M tokens. USD settlement, pay-as-you-go, $1 minimum top-up.
sherifican / Agent-FleetOps
Operational tooling & discipline for multi-agent AI engineering fleets — mutation-proven guards, a Textual terminal monitor, generalized skills, and specs. Every check ships with proof it can fail.