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)

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

• Xav1erSue / NewjwHDUAutoChoose

  View on GitHub
  杭电新版教务系统自动学评教 油猴脚本
  ☆29Apr 7, 2023Updated 2 years ago
• NekoWheel / NekoCAS

  View on GitHub
  中央认证服务 / Central Authentication Service
  ☆12Mar 17, 2024Updated 2 years ago
• daidr / paimon-webext

  View on GitHub
  Track Genshin Impact stats in your browser.
  ☆156Sep 5, 2024Updated last year
• MarisaKirisame / DefComBlog

  View on GitHub
  ☆12Aug 26, 2022Updated 3 years ago
• wujunyi792 / hdu-cas-helper

  View on GitHub
  杭电中央认证cas及相关应用登录一把梭
  ☆11Nov 13, 2022Updated 3 years ago
• HDU-HealthCheckin / HealthCheckin-Release

  View on GitHub
  Release of HDU HealthCheckin
  ☆22Dec 25, 2022Updated 3 years ago
• dev-easily / coder-templates

  View on GitHub
  使用coder templates在pve或docker中开发，配置好国内常用代理、镜像、源
  ☆17Mar 2, 2025Updated last year
• aFlyBird0 / from-golang-to-the-code-world

  View on GitHub
  从Go语言入门编程世界 —— 为零基础打造的编程入门小册
  ☆13Jul 15, 2023Updated 2 years ago
• hduhelp / hdu-cli

  View on GitHub
  ☆12Aug 20, 2024Updated last year
• wujunyi792 / flamego-quick-template

  View on GitHub
  😎✌️A flamego template with some useful thing.
  ☆13Apr 20, 2023Updated 2 years ago
• Li4n0 / My-CTF-Challenges

  View on GitHub
  My CTF Challenges
  ☆16Nov 6, 2024Updated last year
• camera-2018 / frontend-interview

  View on GitHub
  我的前端面经
  ☆32Mar 14, 2025Updated last year
• 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.
  ☆12Jan 10, 2026Updated 2 months ago
• BaiMeow / NetworkMonitor

  View on GitHub
  Graph for BGP and OSPF Network
  ☆24Mar 12, 2026Updated last week
• abersheeran / vless-ws

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

  View on GitHub
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Feb 7, 2025Updated last year
• KunMinX / SealedClass4Java

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

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

  View on GitHub
  Project linked to HDUHelp's tweet
  ☆25Apr 8, 2021Updated 4 years ago
• wujunyi792 / peppaPigViewer

  View on GitHub
  一个能帮你更优雅浏览网站的可视化工具，但并不能帮做你想要的！
  ☆23Dec 23, 2022Updated 3 years ago
• Losses / gladest

  View on GitHub
  "EPUB is a bitch of a format for anything where layout matters." - u/CookbookMike
  ☆14May 27, 2025Updated 9 months ago
• wuhan005 / Houki

  View on GitHub
  🧹 Customizable MitM proxy / 可定制化的中间人代理
  ☆32Oct 21, 2024Updated last year
• lsongdev / miservice-go

  View on GitHub
  XiaoMi Cloud Service
  ☆11Mar 17, 2026Updated last week
• 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 11 months ago
• IzzelAliz / Arcturus

  View on GitHub
  User defined intrinsics, tailrec optimization
  ☆12Nov 26, 2022Updated 3 years ago
• bs-community / skinview-utils

  View on GitHub
  Utilities for working with Minecraft skins
  ☆18Mar 12, 2026Updated last week
• Glavo / kala-template

  View on GitHub
  ☆11Sep 15, 2024Updated last year
• anqur / TinyLean

  View on GitHub
  Tiny theorem prover with syntax like Lean 4 in <1K LOC
  ☆68Jul 21, 2025Updated 8 months ago
• dannypsnl / k

  View on GitHub
  k theorem prover
  ☆11Aug 16, 2022Updated 3 years ago
• hellokaton / pixiv-helper

  View on GitHub
  A Chrome Extension for Pixiv Illustrations
  ☆20Nov 5, 2025Updated 4 months ago
• health4work / health4work

  View on GitHub
  Health For Work
  ☆18Jul 14, 2022Updated 3 years ago
• XiaocongDong / svelte-bookshop

  View on GitHub
  A demo bookshop application based on svelte
  ☆12Dec 5, 2022Updated 3 years ago
• winderica / DailyReport

  View on GitHub
  Submit your health status to your fucking department everyday
  ☆11Aug 24, 2022Updated 3 years ago
• RimoChan / arxiv-translate-fix

  View on GitHub
  arxiv翻译修复器！
  ☆22Nov 13, 2024Updated last year
• skywind3000 / abandonware

  View on GitHub
  Abandonware Collection
  ☆20Sep 2, 2024Updated last year
• JaimieMurdock / HK

  View on GitHub
  HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.
  ☆24Sep 25, 2011Updated 14 years ago
• Yimismi / sql2go

  View on GitHub
  This repository is working for converting create statement of mysql to go struct.
  ☆10Mar 3, 2021Updated 5 years ago
• HoTT / HoTT-2023

  View on GitHub
  Conference on Homotopy Type Theory 2023
  ☆13Jan 24, 2024Updated 2 years ago