根据逻辑表达式生成对应真值表 (Generate corresponding truth table from logical expression)
☆74Jul 5, 2022Updated 3 years ago
Alternatives and similar repositories for truth-table
Users that are interested in truth-table are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 杭电新版教务系统自动学评教 油猴脚本☆29Apr 7, 2023Updated 3 years ago
- 中央认证服务 / Central Authentication Service☆12Mar 17, 2024Updated 2 years ago
- Track Genshin Impact stats in your browser.☆156Sep 5, 2024Updated last year
- ☆12Aug 26, 2022Updated 3 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 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.
- 杭电中央认证cas及相关应用登录一把梭☆11Nov 13, 2022Updated 3 years ago
- Release of HDU HealthCheckin☆22Dec 25, 2022Updated 3 years ago
- 使用coder templates在pve或docker中开发，配置好国内常用代理、镜像、源☆18Mar 2, 2025Updated last year
- 😎✌️A flamego template with some useful thing.☆13Apr 20, 2023Updated 3 years ago
- 轻量的MC服务器yggdrasil验证/皮肤加载解决方案☆54Sep 21, 2023Updated 2 years ago
- 我的前端面经☆31Mar 14, 2025Updated last year
- Zombie chan revive!☆27Feb 27, 2024Updated 2 years ago
- Graph for BGP and OSPF Network☆24Mar 12, 2026Updated last month
- 一个 QQ 机器人，目前有 复读撤回、情话、外卖 roll 点、随机@等功能☆11Feb 28, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A cloudflare worker that implements the vless server☆17Jan 22, 2025Updated last year
- A well-documented minimal dependently-typed language for my friend Lyzh☆26Feb 7, 2025Updated last year
- 支持超大连接数的websocket服务，灵感来着1m-go-websocket（1百万go websocket）☆17Nov 4, 2022Updated 3 years ago
- 一个能帮你更优雅浏览网站的可视化工具，但并不能帮做你想要的！☆23Dec 23, 2022Updated 3 years ago
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- 🧹 Customizable MitM proxy / 可定制化的中间人代理☆33Oct 21, 2024Updated last year
- "EPUB is a bitch of a format for anything where layout matters." - u/CookbookMike☆14May 27, 2025Updated 11 months ago
- XiaoMi Cloud Service☆12Mar 17, 2026Updated last month
- A small Kotlin multiplatform library to provide a "chat-like" console on various platforms.☆11Jun 29, 2024Updated 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.
- 帮助HDUer走出ISE的阴影，拥抱Vivado☆19Jan 22, 2025Updated last year
- 又一个屏蔽中文世界爬虫、机器翻译等 SEO 垃圾网站的浏览器用户脚本。☆20Dec 15, 2025Updated 4 months ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆68Jul 21, 2025Updated 9 months ago
- YOLO detector, keras + tensorflow, base on YAD2K☆10May 23, 2018Updated 7 years ago
- 喜鹊派员工餐配方存档☆11Jun 13, 2024Updated last year
- A low level, expressive language☆14Dec 12, 2024Updated last year
- 免费的CAJ转PDF且不限制大小，CAJ转PDF在线转换PDF文字可复制且保留书签和目录。同时还提供CAJ文件在线阅读浏览功能，支持Windows，Mac，iPhone，Android，iPad，Pad，Linux，鸿蒙OS以及其他操作系统！☆17Mar 8, 2023Updated 3 years ago
- Submit your health status to your fucking department everyday☆11Aug 24, 2022Updated 3 years ago
- 嗯，ai也需要一点情趣，你说是吧☆26May 30, 2025Updated 11 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- arxiv翻译修复器！☆22Nov 13, 2024Updated last year
- Abandonware Collection☆20Sep 2, 2024Updated last year
- HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.☆24Sep 25, 2011Updated 14 years ago
- This repository is working for converting create statement of mysql to go struct.☆10Mar 3, 2021Updated 5 years ago
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago
- ☆17Dec 7, 2023Updated 2 years ago
- 🔮 Container-based remote code runner. / 基于容器的远程代码运行器☆46Nov 29, 2024Updated last year