哲学的形式化验证器「phiLean」。
☆30Oct 26, 2025Updated 10 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☆41Jun 8, 2026Updated 3 months ago
- 开放信号聚合ensemble框架。☆37Feb 11, 2026Updated 6 months ago
- ☆22Feb 15, 2025Updated last year
- 由古埃及莎草纸得名，高效的AI Agent知识管理工具☆16Aug 28, 2026Updated last week
- 「Low-Rank Decay」的官方实现。☆19Nov 25, 2025Updated 9 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 寻星SeekStar-浏览器和 Chat AI 解决的是“如何回答我已经能问出的问题”。SeekStar 要解决的是“如何让我发现自己还 不知道该问的问题” 寻星 是一种面向未来的浏览器 / 搜索引擎形态构想。☆34Jul 19, 2026Updated last month
- 基于 MPV 的 WinUI 播放器☆12May 25, 2025Updated last year
- The official Visual Studio extension for Slang.☆13Jun 11, 2026Updated 2 months ago
- An open source alternative to Microsofts '3D Viewer' application☆15Feb 26, 2023Updated 3 years ago
- Code to generate Weaver, a Letta agent with a reverence for complete and accurate knowledge graphs built in neo4j.☆22Sep 10, 2025Updated 11 months ago
- Api service for Seniverse v3 widget☆10Nov 4, 2019Updated 6 years ago
- Our own development branch of the well known WPF document docking library☆17Mar 24, 2026Updated 5 months ago
- Simple WebExtension for detecting ws connection☆12Aug 27, 2019Updated 7 years ago
- FFmpeg GUI with Avalonia☆13Apr 12, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Winforms control for OpenGL using Silk.NET☆13Jun 17, 2023Updated 3 years ago
- A simple firefox theme☆13Sep 21, 2025Updated 11 months ago
- With just one line of code, your MCP or agent can record and manage user preferences with the user profile MCP, without requiring any dat…☆22Aug 7, 2025Updated last year
- 分布式ping检测计划☆12Jan 16, 2024Updated 2 years ago
- 为 OIer 提供一个完整、便捷的 BZOJ 离线题库使用平台。☆45May 21, 2020Updated 6 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 last month
- ☆19Jan 3, 2026Updated 8 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- JWT library for creating NATS JWTs in Rust☆12Jun 19, 2026Updated 2 months ago
- Evergine Low-Level API samples.☆21Aug 12, 2026Updated 3 weeks ago
- wheels☆10Oct 14, 2015Updated 10 years ago
- .Net wrapper for media encoders such as FFmpeg, X264 and X265☆36Aug 18, 2026Updated 2 weeks ago
- ☆16Mar 1, 2026Updated 6 months ago
- blender_mmd_tools enchance.☆17Mar 30, 2023Updated 3 years ago
- WebGPU native for C#☆33Aug 26, 2026Updated last week
- 下一代可靠的洛谷存档平台☆152Aug 29, 2026Updated last week
- ✨ Generate the glassmorphism CSS code you want☆14Dec 26, 2025Updated 8 months 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.
- Browser service | 浏览器服务☆15May 5, 2025Updated last year
- Free, open-source Visual Novel/Galgame archive☆28Feb 18, 2026Updated 6 months ago
- ☆17May 4, 2023Updated 3 years ago
- ☆22Mar 22, 2025Updated last year
- 基于 Vue + FastAPI + AKShare 的开源量化分析☆30Mar 13, 2025Updated last year
- Tagged union for c#☆22Sep 28, 2025Updated 11 months ago
- A javascript program to compare the same between two scratch project.☆11Jan 7, 2023Updated 3 years ago