imbue-bit/phiLean external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

imbue-bit/phiLean

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/imbue-bit/phiLean)

Close

imbue-bit / phiLeanView on GitHubMore

• External links
• Readme badge

哲学的形式化验证器「phiLean」。

☆25Oct 26, 2025Updated 4 months ago

Alternatives and similar repositories for phiLean

Users that are interested in phiLean are comparing it to the libraries listed below

• SlimeNull / LightDarkModeSwitchAnimation

  View on GitHub
  ☆20Feb 15, 2025Updated last year
• Lianues / fast-tavern

  View on GitHub
  ☆23Feb 11, 2026Updated 3 weeks ago
• tyuhao / TYHfox

  View on GitHub
  A simple firefox theme
  ☆14Sep 21, 2025Updated 5 months ago
• whxaxes / wheels

  View on GitHub
  wheels
  ☆10Oct 14, 2015Updated 10 years ago
• Richasy / mpv-winui

  View on GitHub
  基于 MPV 的 WinUI 播放器
  ☆11May 25, 2025Updated 9 months ago
• mbnuqw / ws-detector

  View on GitHub
  Simple WebExtension for detecting ws connection
  ☆12Aug 27, 2019Updated 6 years ago
• ripienaar / nmfw

  View on GitHub
  A protobuf based microservice framework powered by NATS Micro
  ☆10Apr 1, 2023Updated 2 years ago
• uselibrary / Ping0Monitor

  View on GitHub
  分布式ping检测计划
  ☆12Jan 16, 2024Updated 2 years ago
• AircastDev / nats-jwt

  View on GitHub
  JWT library for creating NATS JWTs in Rust
  ☆12Jun 11, 2024Updated last year
• koishijs / koishi-plugin-puppeteer

  View on GitHub
  Browser service | 浏览器服务
  ☆13May 5, 2025Updated 10 months ago
• hkmujj / stop_words

  View on GitHub
  公安网备 敏感词过滤词
  ☆14Oct 7, 2018Updated 7 years ago
• Incloudify / consolify-frontend

  View on GitHub
  An Incloudify service console based on Vuetify.
  ☆11Oct 9, 2023Updated 2 years ago
• MLing592 / AvalonDock

  View on GitHub
  Our own development branch of the well known WPF document docking library
  ☆16May 10, 2025Updated 9 months ago
• cnblogs / suggestions

  View on GitHub
  博客园意见仓库，收集园友对园子的意见、吐槽与发展建议
  ☆10Dec 13, 2023Updated 2 years ago
• Clipteam / clipcc-extension

  View on GitHub
  ClipCC extension development kit.
  ☆12Aug 28, 2022Updated 3 years ago
• ASTWY / nonebot_plugin_bilibili_viode

  View on GitHub
  一个nonebot2插件，用于获取哔哩哔哩伪分享卡片
  ☆12Feb 24, 2024Updated 2 years ago
• amtoaer / bing-bong

  View on GitHub
  bing bong是一个用于支持RSS订阅的QQ（？）机器人
  ☆12Feb 17, 2022Updated 4 years ago
• miles-till / GLControl-Silk.NET

  View on GitHub
  Winforms control for OpenGL using Silk.NET
  ☆12Jun 17, 2023Updated 2 years ago
• pixel-Teee / GuGu

  View on GitHub
  ☆18Feb 27, 2026Updated last week
• qzsystem / qzkvm

  View on GitHub
  轻舟云kvm云主机管理系统
  ☆14May 25, 2022Updated 3 years ago
• Steve-xmh / scratch-source-comparer

  View on GitHub
  A javascript program to compare the same between two scratch project.
  ☆11Jan 7, 2023Updated 3 years ago
• samoatesgames / Open3DViewer

  View on GitHub
  An open source alternative to Microsofts '3D Viewer' application
  ☆13Feb 26, 2023Updated 3 years ago
• AlvinRey / QuickCutter.Avalonia

  View on GitHub
  FFmpeg GUI with Avalonia
  ☆13Apr 12, 2024Updated last year
• One-sixth / blender_mmd_tools_extra

  View on GitHub
  blender_mmd_tools enchance.
  ☆15Mar 30, 2023Updated 2 years ago
• MCSManager / Script

  View on GitHub
  MCSManager scripts & template files
  ☆13Updated this week
• Wodsoft / upf

  View on GitHub
  Universal Presentation Framework
  ☆17Sep 2, 2024Updated last year
• SaschaWillems / ModernVkTriangle

  View on GitHub
  ☆18Jan 3, 2026Updated 2 months ago
• ZacharyBear / glassmorphism

  View on GitHub
  ✨ Generate the glassmorphism CSS code you want
  ☆14Dec 26, 2025Updated 2 months ago
• zed-extensions / mcp-server-puppeteer

  View on GitHub
  An MCP server for Puppeteer
  ☆19Feb 25, 2026Updated last week
• ZeroGameStudio / ZSharp

  View on GitHub
  .NET integration for Unreal Engine.
  ☆17Updated this week
• BingyanStudio / github-annual-report-2025

  View on GitHub
  快来总结一下你的2025年吧！
  ☆39Dec 17, 2025Updated 2 months ago
• SithraBot / sithra-rs

  View on GitHub
  A cross-platform chatbot framework written in Rust, featuring a flexible dynamic plugin system.
  ☆18Sep 11, 2025Updated 5 months ago
• qian-o / Slangc.NET

  View on GitHub
  The .NET version of the Slang compiler, allowing the compilation of Slang code in a .NET environment.
  ☆28Feb 22, 2026Updated last week
• andy071001 / ab

  View on GitHub
  模拟apache benchmark的一个简单的网站压力测试程序，用python编写，可以自由选择发送请求数以及并发的线程数
  ☆15Aug 30, 2013Updated 12 years ago
• hudean / YzProject

  View on GitHub
  ☆17May 4, 2023Updated 2 years ago
• fthx / new-mail-indicator

  View on GitHub
  New email notification icon for GNOME Shell.
  ☆14Mar 21, 2025Updated 11 months ago
• pema99 / SlangUnityPlugin

  View on GitHub
  Plugin to use Slang shading language in Unity
  ☆22Jun 11, 2024Updated last year
• arfur-rs / arfur

  View on GitHub
  Rust + FRC = safe + composable + expressive
  ☆17Sep 4, 2023Updated 2 years ago
• mollnn / multiple-importance-reweight

  View on GitHub
  Code for SIGGRAPH 2025 (ToG) paper "Multiple Importance Reweighting for Path Guiding"
  ☆20May 20, 2025Updated 9 months ago