根据逻辑表达式生成对应真值表 (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:
- 中央认证服务 / 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
- 杭电中央认证cas及相关应用登录一把梭☆11Nov 13, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 使用coder templates在pve或docker中开发，配置好国内常用代理、镜像、源☆18Mar 2, 2025Updated last year
- 😎✌️A flamego template with some useful thing.☆13Apr 20, 2023Updated 3 years ago
- HGAME2022 官方 + 校内参赛选手 Writeup☆13Feb 18, 2022Updated 4 years ago
- View the demo☆10Nov 10, 2023Updated 2 years ago
- A mod that adds a bit of functionality and a bit of performance into thaumcraft 4.☆12Jan 10, 2026Updated 4 months ago
- Zombie chan revive!☆27Feb 27, 2024Updated 2 years ago
- Graph for BGP and OSPF Network☆25Mar 12, 2026Updated 2 months ago
- 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
- 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.
- Avalonia Internationalizing for ReactiveUi and Prism☆11Apr 13, 2026Updated last month
- 支持超大连接数的websocket服务，灵感来着1m-go-websocket（1百万go websocket）☆17Nov 4, 2022Updated 3 years ago
- Project linked to HDUHelp's tweet☆25Apr 8, 2021Updated 5 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
- 要是不做开源的话，我可能早就财务自由了吧？😅☆19Dec 20, 2021Updated 4 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 7 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- User defined intrinsics, tailrec optimization☆12Nov 26, 2022Updated 3 years ago
- A free image host built with laravel and MinIO☆24Sep 2, 2024Updated last year
- Bring Back the Lost Minecraft Skins for SkinMe (Mod) 1.3.x to 1.5.x☆19May 7, 2026Updated 2 weeks ago
- A small Kotlin multiplatform library to provide a "chat-like" console on various platforms.☆11Jun 29, 2024Updated last year
- 帮助HDUer走出ISE的阴影，拥抱Vivado☆19Jan 22, 2025Updated last year
- 又一个屏蔽中文世界爬虫、机器翻译等 SEO 垃圾网站的浏览器用户脚本。☆20Dec 15, 2025Updated 5 months ago
- k theorem prover☆11Aug 16, 2022Updated 3 years ago
- 喜鹊派员工餐配方存档☆11Jun 13, 2024Updated last year
- 密码学补完计划：一个长得像文件资源管理器的密码学学习网页。☆31Feb 9, 2026Updated 3 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.
- Qbin的内容存储库，用于存放创建的所有HTML和静态资源文件。作为Qbin开源HTML编辑与分享平台的一部分。☆12Sep 9, 2025Updated 8 months ago
- 嗯，ai也需要一点情趣，你说是吧☆28May 30, 2025Updated 11 months ago
- arxiv翻译修复器！☆22Nov 13, 2024Updated last year
- 一个尝试在保护用户隐私的前提下，提供各类功能的类命令行Telegram机器人。☆12Aug 14, 2024Updated last year
- Abandonware Collection☆20Sep 2, 2024Updated last year
- 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