根据逻辑表达式生成对应真值表 (Generate corresponding truth table from logical expression)
☆75Jul 5, 2022Updated 4 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:
- 杭电新版教务系统自动学评教 油猴脚本☆28Apr 7, 2023Updated 3 years ago
- 杭电助手官方后端指南（Go）☆16Jan 15, 2022Updated 4 years ago
- Track Genshin Impact stats in your browser.☆155Sep 5, 2024Updated last year
- 中央认证服务 / Central Authentication Service☆11Mar 17, 2024Updated 2 years ago
- ☆12Aug 26, 2022Updated 3 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.
- 杭电中央认证cas及相关应用登录一把梭☆11Nov 13, 2022Updated 3 years ago
- Release of HDU HealthCheckin☆22Dec 25, 2022Updated 3 years ago
- 从Go语言入门编程世界 —— 为零基础打造的编程入门小册☆13Jul 15, 2023Updated 3 years ago
- ☆12Aug 20, 2024Updated last year
- HGAME2022 官方 + 校内参赛选手 Writeup☆13Feb 18, 2022Updated 4 years ago
- 轻量的MC服务器yggdrasil验证/皮肤加载解决方案☆54Sep 21, 2023Updated 2 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.☆12Updated this week
- Zombie chan revive!☆27Feb 27, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 一个 QQ 机器人，目前有 复读撤回、情话、外卖 roll 点、随机@等功能☆10Feb 28, 2023Updated 3 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆26Feb 7, 2025Updated last year
- 让 Java 1.8 也能像 Kotlin 一样使用 Sealed Class。Make Java 1.8 use Sealed Class like Kotlin☆12Aug 31, 2022Updated 3 years ago
- 支持超大连接数的websocket服务，灵感来着1m-go-websocket（1百万go websocket）☆17Nov 4, 2022Updated 3 years ago
- A cloudflare worker that implements the vless server☆17Jan 22, 2025Updated last year
- A small Kotlin multiplatform library to provide a "chat-like" console on various platforms.☆11Jun 29, 2024Updated 2 years ago
- 一个能帮你更优雅浏览网站的可视化工具，但并不能帮做你想要的！☆21Dec 23, 2022Updated 3 years ago
- A style guide for Haskell code.☆14May 26, 2025Updated last year
- Graph for BGP and OSPF Network☆26Mar 12, 2026Updated 4 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 帮助HDUer走出ISE的阴影，拥抱Vivado☆19Jan 22, 2025Updated last year
- 🧹 Customizable MitM proxy / 可定制化的中间人代理☆31Oct 21, 2024Updated last year
- ☆26Aug 14, 2024Updated last year
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 7 years ago
- "EPUB is a bitch of a format for anything where layout matters." - u/CookbookMike☆14May 27, 2025Updated last year
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- The frontend of Peking University Website.☆15Dec 10, 2025Updated 7 months ago
- 喜鹊派员工餐配方存档☆11Jun 13, 2024Updated 2 years ago
- A low level, expressive language☆14Dec 12, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 个人主页介绍与个人文章站源码(Github Pages)。☆14Jun 8, 2026Updated last month
- blogs about Coimpiler & Virtual Machine☆12Jun 15, 2025Updated last year
- Abandonware Collection☆20Sep 2, 2024Updated last year
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago
- 记录自己从0基础重新学习协程的心得体会☆13Nov 8, 2022Updated 3 years ago
- ☆13Jan 6, 2023Updated 3 years ago
- ☆15Dec 31, 2023Updated 2 years ago