哲学的形式化验证器「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 last month
- 为 RWKV 设计的「Deep Think」实现。☆26Dec 7, 2025Updated 7 months ago
- Leverage the novel features and advanced financial mathematics introduced in Uniswap V4 to effectively mitigate just-in-time (JIT) liquid…☆241Jan 14, 2026Updated 6 months ago
- 由古埃及莎草纸得名，高效的AI Agent知识管理工具☆15Updated this week
- Alpha研究平台☆21Sep 6, 2021Updated 4 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.
- 快来总结一下你的2025年吧！☆39Mar 16, 2026Updated 4 months ago
- Zenith.NET is a modern, cross-platform graphics and compute library for .NET. It provides a unified GPU programming interface supporting …☆142Updated this week
- 基于 MPV 的 WinUI 播放器☆12May 25, 2025Updated last year
- The official Visual Studio extension for Slang.☆12Jun 11, 2026Updated last month
- 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
- Our own development branch of the well known WPF document docking library☆16Mar 24, 2026Updated 4 months ago
- FFmpeg GUI with Avalonia☆13Apr 12, 2024Updated 2 years ago
- Winforms control for OpenGL using Silk.NET☆13Jun 17, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A protobuf based microservice framework powered by NATS Micro☆10Apr 1, 2023Updated 3 years ago
- A simple firefox theme☆13Sep 21, 2025Updated 10 months ago
- 基于Open-AutoGLM的Gemini适配☆28Dec 26, 2025Updated 7 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 11 months ago
- A package for ZeroBraneStudio to aid graphics programming in Lua (OpenGL, Vulkan etc.)☆22Aug 6, 2025Updated 11 months ago
- Universal Presentation Framework☆18Jul 15, 2026Updated 2 weeks ago
- A modern GUI application for Gemini CLI, built with Electron, React, and shadcn/ui.☆34Aug 3, 2025Updated 11 months ago
- ☆18Jan 3, 2026Updated 6 months ago
- JWT library for creating NATS JWTs in Rust☆12Jun 19, 2026Updated last month
- 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.
- only manage prompts, the future of LLMs is prompt engineering.☆36Jun 11, 2025Updated last year
- 基于深度强化学习的开源自动因子工厂。☆2,946Jun 12, 2026Updated last month
- WebGPU native for C#☆25Jun 30, 2026Updated 3 weeks ago
- RWKV-based Text-to-Speech implementation in Rust☆28Oct 14, 2025Updated 9 months ago
- ✨ Generate the glassmorphism CSS code you want☆14Dec 26, 2025Updated 7 months ago
- Managed wrappers around DirectX APIs.☆16Jul 9, 2026Updated 2 weeks ago
- Managed port of D3D12MemoryAllocator☆24Apr 8, 2026Updated 3 months ago
- Free, open-source Visual Novel/Galgame archive☆29Feb 18, 2026Updated 5 months ago
- ☆17May 4, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆21Mar 22, 2025Updated last year
- ☆30Mar 4, 2026Updated 4 months ago
- Tagged union for c#☆22Sep 28, 2025Updated 10 months ago
- A javascript program to compare the same between two scratch project.☆11Jan 7, 2023Updated 3 years ago
- This project provides a professional-grade solution for bypassing **Cloudflare Turnstile (5s Challenge)** and advanced fingerprinting sys…☆40Dec 19, 2025Updated 7 months ago
- 轻舟云kvm云主机管理系统☆14May 25, 2022Updated 4 years ago
- New email notification icon for GNOME Shell.☆15Mar 21, 2025Updated last year