daidr/truth-table 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

daidr/truth-table

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/daidr/truth-table)

Close

daidr / truth-tableView on GitHubMore

• External links
• Readme badge

根据逻辑表达式生成对应真值表 (Generate corresponding truth table from logical expression)

☆74Jul 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.

• wujunyi792 / share-my-status-plus

  View on GitHub
  ☆17Jun 12, 2026Updated 3 months ago
• Xav1erSue / NewjwHDUAutoChoose

  View on GitHub
  杭电新版教务系统自动学评教 油猴脚本
  ☆28Apr 7, 2023Updated 3 years ago
• hduhelp / backend_guide

  View on GitHub
  杭电助手官方后端指南（Go）
  ☆16Jan 15, 2022Updated 4 years ago
• daidr / paimon-webext

  View on GitHub
  Track Genshin Impact stats in your browser.
  ☆154Sep 5, 2024Updated 2 years ago
• NekoWheel / NekoCAS

  View on GitHub
  中央认证服务 / Central Authentication Service
  ☆11Mar 17, 2024Updated 2 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• MarisaKirisame / DefComBlog

  View on GitHub
  ☆12Aug 26, 2022Updated 4 years ago
• niltok / itp-ard

  View on GitHub
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Sep 7, 2022Updated 4 years ago
• HDU-HealthCheckin / HealthCheckin-Release

  View on GitHub
  Release of HDU HealthCheckin
  ☆22Dec 25, 2022Updated 3 years ago
• wujunyi792 / flamego-quick-template

  View on GitHub
  😎✌️A flamego template with some useful thing.
  ☆13Apr 20, 2023Updated 3 years ago
• endpot / SpiderX-Frontend

  View on GitHub
  View the demo
  ☆10Nov 10, 2023Updated 2 years ago
• Glease / TC4Tweaks

  View on GitHub
  A mod that adds a bit of functionality and a bit of performance into thaumcraft 4.
  ☆13Aug 17, 2026Updated last month
• MarisaKirisame / zombie

  View on GitHub
  Zombie chan revive!
  ☆27Feb 27, 2024Updated 2 years ago
• aFlyBird0 / bird_qq_bot

  View on GitHub
  一个 QQ 机器人，目前有 复读撤回、情话、外卖 roll 点、随机@等功能
  ☆10Feb 28, 2023Updated 3 years ago
• anqur / lyzh

  View on GitHub
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆26Feb 7, 2025Updated last year
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run 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.
• KunMinX / SealedClass4Java

  View on GitHub
  让 Java 1.8 也能像 Kotlin 一样使用 Sealed Class。Make Java 1.8 use Sealed Class like Kotlin
  ☆12Aug 31, 2022Updated 4 years ago
• widaT / crab

  View on GitHub
  支持超大连接数的websocket服务，灵感来着1m-go-websocket（1百万go websocket）
  ☆17Nov 4, 2022Updated 3 years ago
• abersheeran / vless-ws

  View on GitHub
  A cloudflare worker that implements the vless server
  ☆17Jan 22, 2025Updated last year
• kobjects / konsole

  View on GitHub
  A small Kotlin multiplatform library to provide a "chat-like" console on various platforms.
  ☆12Jun 29, 2024Updated 2 years ago
• BaiMeow / NetworkMonitor

  View on GitHub
  Graph for BGP and OSPF Network
  ☆27Jul 31, 2026Updated last month
• andreasabel / haskell-style-guide

  View on GitHub
  A style guide for Haskell code.
  ☆14May 26, 2025Updated last year
• camera-2018 / frontend-interview

  View on GitHub
  我的前端面经
  ☆32Mar 14, 2025Updated last year
• ice1000 / copilot-learning-materials

  View on GitHub
  My type-ups for copilot to learn from.
  ☆11Aug 30, 2022Updated 4 years ago
• MZhao-ouo / For_HDU_ISE_Victims

  View on GitHub
  帮助HDUer走出ISE的阴影，拥抱Vivado
  ☆19Jan 22, 2025Updated last year
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• wuhan005 / Houki

  View on GitHub
  🧹 Customizable MitM proxy / 可定制化的中间人代理
  ☆30Oct 21, 2024Updated last year
• Losses / gladest

  View on GitHub
  "EPUB is a bitch of a format for anything where layout matters." - u/CookbookMike
  ☆14Aug 13, 2026Updated last month
• alcides / RefinementTypesTutorial

  View on GitHub
  A Python implementation of the Refinement Types Tutorial.
  ☆10Feb 4, 2021Updated 5 years ago
• IzzelAliz / Arcturus

  View on GitHub
  User defined intrinsics, tailrec optimization
  ☆12Nov 26, 2022Updated 3 years ago
• endpot / ImageX

  View on GitHub
  A free image host built with laravel and MinIO
  ☆24Sep 2, 2024Updated 2 years ago
• happymimimix / Git-Auto-Updater

  View on GitHub
  A magical repository that can upgrade your Git from 2.45.0 to 2.45.1 automatically with the Git RCE glitch.
  ☆18Apr 14, 2025Updated last year
• Glavo / kala-template

  View on GitHub
  ☆11Sep 15, 2024Updated 2 years ago
• bs-community / skinview-utils

  View on GitHub
  Utilities for working with Minecraft skins
  ☆19Mar 12, 2026Updated 6 months ago
• CatMe0w / SkinMeAgain

  View on GitHub
  Bring Back the Lost Minecraft Skins for SkinMe (Mod) 1.3.x to 1.5.x
  ☆19May 7, 2026Updated 4 months ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• PKUOSC / Mirror-Web

  View on GitHub
  The frontend of Peking University Website.
  ☆15Dec 10, 2025Updated 9 months ago
• Phuker / BanBadWebsites

  View on GitHub
  又一个屏蔽中文世界爬虫、机器翻译等 SEO 垃圾网站的浏览器用户脚本。
  ☆19Dec 15, 2025Updated 9 months ago
• dannypsnl / k

  View on GitHub
  k theorem prover
  ☆11Aug 16, 2022Updated 4 years ago
• Quick-Bin / qbin-pages

  View on GitHub
  Qbin的内容存储库，用于存放创建的所有HTML和静态资源文件。作为Qbin开源HTML编辑与分享平台的一部分。
  ☆12Sep 9, 2025Updated last year
• HPDell / ctyp

  View on GitHub
  集成基础的 Typst 中文排版支持，提供快速的中文排版体验。
  ☆18Sep 4, 2026Updated 2 weeks ago
• Lakr233 / MAGPIE

  View on GitHub
  喜鹊派员工餐配方存档
  ☆12Jun 13, 2024Updated 2 years ago
• SlugLab / wss-ebpf

  View on GitHub
  eBPF version of https://github.com/brendangregg/wss
  ☆11Jan 26, 2023Updated 3 years ago