The AI-native JSON Gantt chart engine. Dependency-free interactive timelines with React, script-tag, CLI, topological DAG solver, and formal JSON schema.
Rust CLI and MCP server that plans, applies and rolls back changes to an OWL ontology, reporting blast radius and emitting checkable Lean 4 proofs.
BKN Foundry is the Ontology back-end foundation of OpenBKN. It transforms ontology-driven business semantics into runtime services: data, logic, actions, security governance, and observability.
Complete standalone setup for Auslogics 2025, featuring all essential plugins and effects. Ready-to-run desktop installation build.
OpenAI-compatible Logicc adapter with account pooling, credential refresh, and a local web console.
Red Dead Repemption VR mod for Quest 3/Quest 3s Standalone
Votre agence de lead gen, son logiciel local et votre agent IA. Guided CLI, 39 methods and French SOP library.
Self-hostable workflow orchestrator for teams whose main work isn't orchestration. Declarative YAML over your scripts, SSH commands, containers, etc; keep workflows separate from business logic. One binary, no database, runs on limited H/W resources. Alternative to Airflow / Cron / Job Scheduler.
Cadence is a distributed, scalable, durable, and highly available orchestration engine to execute asynchronous long-running business logic in a scalable and resilient way.
State machines, statecharts, and actors for complex logic
—
A native C++ port of Gran Turismo 2 for Web, Steam Deck, MacOS, Windows PC, PCVR and Quest 3 Standalone VR
《中国人》(ZhongGuoRen) —— 中国社会隐性潜规则、人情世故、双轨博弈与老实人破局生存指南(含 AI 技能与系统提示词)
💬 Create Dialogs, Visual Novels, RPGs, and manage Characters with Godot to create your Game!
A flow chart editing framework focus on business customization. 专注于业务自定义的流程图编辑框架,支持实现脑图、ER图、UML、工作流等各种图编辑场景。
Builds Armbian Linux images for Amlogic, Rockchip, and Allwinner ARM devices, mainly TV boxes and SBCs.
Digital logic design tool and simulator
⚛️ The Stremio Core: types, addon system, UI models, core logic
Awesome Jev: source-backed open-source ecosystem radar, plain-language project discovery, and automatic GitHub sync
补全 Audi MHI2Q / MIB2 High AUG22 的 CarPlay AltScreen 逻辑,让 CarPlay 第二屏显示在 Virtual Cockpit 仪表盘。Completes CarPlay AltScreen logic for Audi MHI2Q / MIB2 High AUG22, displaying the CarPlay secondary screen on the Virtual Cockpit.
Complex code hides connections, workflows, and business risks.Unvibe complex code. Trace business workflows.
A logical, reasonably standardized, but flexible project structure for doing and sharing data science work.
Ruta de estudio basada en ejercicios de código de la comunidad MoureDev para aprender y practicar lógica usando cualquier lenguaje de programación.
Curated list of Agent Skills centered on people, relationships, commemorative scenes, and methodological perspectives
A minimal Python framework for building custom AI inference servers with full control over logic, batching, and scaling.
Supports running FnNAS on Amlogic, Allwinner, and Rockchip devices. Support a311d, s922x, s905x3, s905x2, s912, s905d, s905x, s905w, s905, s905l, rk3588, rk3568, rk3399, rk3328, h6, etc.
A generic, spec-compliant, thorough implementation of the OAuth request-signing logic
Rust for native business logic, Flutter for flexible and beautiful GUI
People have dreamed of running macOS on iPad for more than a decade. Today, that dream comes true. With Virtual Mac, iPad finally breaks free from iPadOS, enabling pro apps like Xcode, Terminal, Final Cut Pro, Logic Pro, and Pixelmator Pro to run directly on device. Requires iPad Pro (M1, M2) or iPad Air (M1) running iPadOS 14 up to 16.3.1.
ObsPy: A Python Toolbox for seismology/seismological observatories.
ABC: System for Sequential Logic Synthesis and Formal Verification
The Mercury logic programming system.
A paper list of spiking neural networks, including papers, codes, and related websites. 本仓库收集脉冲神经网络相关的顶会顶刊以及CNS论文和代码,正在持续更新中。
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
0️⃣ Composable UI engine for Vue. Build complex interfaces with reusable state, logic, and primitives—without being locked into components or styles.
A Playground for Firmware development for RTL8372/RTL8373 based 2.5GBit Switches
A desktop shell language and runtime where animation does not depend on logic. Rust, wgpu, layer-shell, SDF — an alternative to Quickshell.
illogical-impulse on Windows 11: packaging and the GUI setup
OEA:一键识别终末地档案库,并同步到 OEM(终末地地图集),助力每一个全收集梦想!
Galactic Racer HOSAS/HOTAS Bridge is a Windows utility that converts flight sticks, throttles, rudder pedals, and mapped buttons into Xbox and keyboard inputs for Star Wars: Galactic Racer, with custom HOSAS driving logic, HOTAS support and a few other goodies I've fit in there. Hoping smarter folks than I can make this even better!
Uniform Manifold Approximation and Projection
Plano is an AI-native proxy server and data plane for agentic apps. Smart LLM routing, observability, agent orchestration, and guardrails so you stay focused on your agents core logic.
A digital logic designer and circuit simulator.
Ejercicios de código semanales en 2023 de la comunidad MoureDev para practicar lógica en cualquier lenguaje de programación.
Business logic with ease ☄️
TypeDB: Built for systems, not records
Source code for Gramps Genealogical program
:iphone: Curated list of THE BEST FOSS Android apps to maximize your freedom & privacy!
Supports running OpenWrt on Amlogic, Allwinner, and Rockchip devices. Support a311d, s922x, s905x3, s905x2, s912, s905d, s905x, s905w, s905, s905l, rk3588, rk3568, rk3399, rk3328, h6, etc.
SaaS Boilerplate - Open Source and free SaaS stack that lets you build SaaS products faster in React, Django and AWS. Focus on essential business logic instead of coding repeatable features!
Kotlin Multiplatform lifecycle-aware business logic components (aka BLoCs) with routing (navigation) and pluggable UI (Jetpack Compose, SwiftUI, JS React, etc.)
🔥 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 ~ java26; Supports LTS. (Replaceable spring)
The Flix Programming Language
An open-source platform for legally compliant email archiving.
NeuroKit2: The Python Toolbox for Neurophysiological Signal Processing
Geometry library for topological robustness
A high-performance Postgres replication engine written in Rust. Embed it in your Rust application or run it as a standalone binary.
Smarty is a template engine for PHP, facilitating the separation of presentation (HTML/CSS) from application logic.
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
An implementation and definition of the Rust trait system using a PROLOG-like logic solver