哲学的形式化验证器「phiLean」。
☆29Oct 26, 2025Updated 9 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☆40Jun 8, 2026Updated 2 months ago
- CJQuant | 为场外基金设计的量化交易 SDK。☆25May 23, 2026Updated 2 months ago
- Leverage the novel features and advanced financial mathematics introduced in Uniswap V4 to effectively mitigate just-in-time (JIT) liquid…☆242Jan 14, 2026Updated 7 months ago
- 由古埃及莎草纸得名，高效的AI Agent知识管理工具☆16Aug 7, 2026Updated last week
- 快来总结一下你的2025年吧！☆39Mar 16, 2026Updated 5 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 我的一些开源文档☆10Feb 18, 2025Updated last year
- 寻星SeekStar-浏览器和 Chat AI 解决的是“如何回答我已经能问出的问题”。SeekStar 要解决的是“如何让我发现自己还不知道该问的问题” 寻星 是一种面向未来的浏览器 / 搜索引擎形态构想。通过AI驱动的3D 语义望远镜：把互联网万物折叠成可漫游的星空。输…☆34Jul 19, 2026Updated 3 weeks ago
- teacache for lumina-image-2 in comfyui☆20Feb 2, 2026Updated 6 months ago
- 【HACKATHON 预备营】飞桨启航计划集训营☆17Mar 10, 2026Updated 5 months ago
- 北京理工大学(BIT)计算机科学与技术(CS)学习资料。这些是我学习下来的作业，课本，考卷等等，分享给你们，少走弯路。有些付费的，花时间找的课本等等，学弟妹们可以淘淘金。给个star⭐不迷路。☆24Aug 24, 2025Updated 11 months ago
- 基于 MPV 的 WinUI 播放器☆12May 25, 2025Updated last year
- The official Visual Studio extension for Slang.☆13Jun 11, 2026Updated 2 months ago
- A terminal music player written in the Rust language.☆13Feb 11, 2022Updated 4 years ago
- J.A.R.V.I.S. Just A Rather Very Intelligent System,永久记忆AI聊天智能机器人,Perpetual Memory AI Chatbot☆27May 18, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An open source alternative to Microsofts '3D Viewer' application☆15Feb 26, 2023Updated 3 years ago
- Our own development branch of the well known WPF document docking library☆17Mar 24, 2026Updated 4 months ago
- Simple WebExtension for detecting ws connection☆12Aug 27, 2019Updated 6 years ago
- FFmpeg GUI with Avalonia☆13Apr 12, 2024Updated 2 years ago
- Winforms control for OpenGL using Silk.NET☆13Jun 17, 2023Updated 3 years ago
- Rasen - A reactive rendering framework☆21Updated this week
- A simple firefox theme☆13Sep 21, 2025Updated 10 months ago
- 分布式ping检测计划☆12Jan 16, 2024Updated 2 years ago
- bing bong是一个用于支持RSS订阅的QQ（？）机器人☆12Feb 17, 2022Updated 4 years ago
- 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.
- Universal Presentation Framework☆18Jul 15, 2026Updated last month
- 公安网备 敏感词过滤词☆14Oct 7, 2018Updated 7 years ago
- ☆18Jan 3, 2026Updated 7 months ago
- Evergine Low-Level API samples.☆21Updated this week
- extension for render guitar tab in vscode webview via alphatab.js☆20Aug 18, 2024Updated 2 years ago
- 基于深度强化学习的开源自动因子工厂。☆3,017Jun 12, 2026Updated 2 months ago
- blender_mmd_tools enchance.☆17Mar 30, 2023Updated 3 years ago
- WebGPU native for C#☆33Aug 10, 2026Updated last week
- Axono——轻量级的人工智能推理库喵~☆27Mar 21, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- RWKV-based Text-to-Speech implementation in Rust☆28Oct 14, 2025Updated 10 months ago
- ✨ Generate the glassmorphism CSS code you want☆14Dec 26, 2025Updated 7 months ago
- Browser service | 浏览器服务☆14May 5, 2025Updated last year
- Managed port of D3D12MemoryAllocator☆24Apr 8, 2026Updated 4 months ago
- Free, open-source Visual Novel/Galgame archive☆28Feb 18, 2026Updated 6 months ago
- a simple demo to implement a deep learning frame based on static graph☆21Apr 7, 2022Updated 4 years ago
- ☆21Mar 22, 2025Updated last year