哲学的形式化验证器「phiLean」。
☆30Oct 26, 2025Updated 11 months ago
Alternatives and similar repositories for phiLean
Users that are interested in phiLean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🌺 GitHub profile☆43Jun 8, 2026Updated 3 months ago
- 开放信号聚合ensemble框架。☆37Feb 11, 2026Updated 7 months ago
- 愿世间再无痛苦，唯爱永不独行 · 炽烈已极☆16Jul 23, 2026Updated 2 months ago
- 由古埃及莎草纸得名，高效的AI Agent知识管理工具☆16Aug 28, 2026Updated last month
- Alpha研究平台☆21Sep 6, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 我的一些开源文档☆10Feb 18, 2025Updated last year
- A cross-platform rendering hardware interface for .NET with a shared C# API for graphics and compute across DirectX 12, Metal 4, and Vulk…☆183Updated this week
- 寻星SeekStar-浏览器和 Chat AI 解决的是“如何回答我已经能问出的问题”。SeekStar 要解决的是“如何让我发现自己还不知道该问的问题” 寻星 是一种面向未来的浏览器 / 搜索引擎形态构想。☆35Jul 19, 2026Updated 2 months ago
- 一个将 AnuNeko AI 作为 OpenAI API 替代品的服务器，允许您使用标准的 OpenAI 客户端库与 AnuNeko AI 模型进行交互。☆17Dec 26, 2025Updated 9 months ago
- 基于 MPV 的 WinUI 播放器☆12May 25, 2025Updated last year
- The official Visual Studio extension for Slang.☆13Jun 11, 2026Updated 3 months ago
- An open source alternative to Microsofts '3D Viewer' application☆15Feb 26, 2023Updated 3 years ago
- Api service for Seniverse v3 widget☆10Nov 4, 2019Updated 6 years ago
- Simple WebExtension for detecting ws connection☆12Aug 27, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- FFmpeg GUI with Avalonia☆13Apr 12, 2024Updated 2 years ago
- Winforms control for OpenGL using Silk.NET☆13Jun 17, 2023Updated 3 years ago
- A protobuf based microservice framework powered by NATS Micro☆10Apr 1, 2023Updated 3 years ago
- A simple firefox theme☆13Sep 21, 2025Updated last year
- 基于Open-AutoGLM的Gemini适配☆28Dec 26, 2025Updated 9 months ago
- 分布式ping检测计划☆12Jan 16, 2024Updated 2 years ago
- bing bong是一个用于支持RSS订阅的QQ（？）机器人☆12Feb 17, 2022Updated 4 years ago
- A package for ZeroBraneStudio to aid graphics programming in Lua (OpenGL, Vulkan etc.)☆22Aug 6, 2025Updated last year
- Universal Presentation Framework☆18Jul 15, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 公安网备 敏感词过滤词☆14Oct 7, 2018Updated 7 years ago
- JWT library for creating NATS JWTs in Rust☆12Jun 19, 2026Updated 3 months ago
- Evergine Low-Level API samples.☆21Aug 12, 2026Updated last month
- .Net wrapper for media encoders such as FFmpeg, X264 and X265☆36Aug 18, 2026Updated last month
- 基于深度强化学习的开源自动因子工厂。☆3,148Jun 12, 2026Updated 3 months ago
- blender_mmd_tools enchance.☆18Mar 30, 2023Updated 3 years ago
- 【中文，符号】自动转 [英文,符号]☆10Sep 27, 2025Updated last year
- ✨ Generate the glassmorphism CSS code you want☆14Dec 26, 2025Updated 9 months ago
- Browser service | 浏览器服务☆16May 5, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Managed wrappers around DirectX APIs.☆16Sep 20, 2026Updated last week
- Managed port of D3D12MemoryAllocator☆23Apr 8, 2026Updated 5 months ago
- 下一代可靠的洛谷存档平台☆166Updated this week
- Free, open-source Visual Novel/Galgame archive☆28Feb 18, 2026Updated 7 months ago
- ☆22Mar 22, 2025Updated last year
- 基于 Vue + FastAPI + AKShare 的开源量化分析☆30Mar 13, 2025Updated last year
- Tagged union for c#☆22Sep 28, 2025Updated last year