它现在不仅有真值表，还有主范式、最简范式、王浩算法、手动等值演算 | 离散数学 Open Project
☆17Sep 10, 2025Updated 10 months ago
Alternatives and similar repositories for truth-table-generator
Users that are interested in truth-table-generator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Generate truth table according to logic expressions☆14Dec 24, 2021Updated 4 years ago
- TongjiThesis Docker 环境 | Docker environment for TongjiThesis (Tongji University thesis LaTeX template)☆12Mar 28, 2026Updated 3 months ago
- ☆10Apr 21, 2021Updated 5 years ago
- 我看见你了，所以我收录你。I see you (ICU), so I digest you. https://digest.icu☆10Dec 10, 2021Updated 4 years ago
- A Python library for experimental data calculation, treatment and display, which can be used for College Physics Experiment, Analytical C…☆14Sep 29, 2018Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- demo: @greater_repeater_bot☆18May 14, 2023Updated 3 years ago
- 魔方机器人，查询魔方成绩/排名、生成打乱公式等功能。QQ群号374735267。☆15Jul 11, 2022Updated 4 years ago
- 推送rss到telegram和web☆24Oct 11, 2024Updated last year
- A GitHub-Based Open Source and free Online Judge.☆16Mar 11, 2025Updated last year
- Compare the given environment variable value across all the processes☆16Dec 5, 2024Updated last year
- Go编写的签到平台框架☆42Nov 20, 2021Updated 4 years ago
- A repository builder for ArchLinux☆13Feb 2, 2022Updated 4 years ago
- ☆13Apr 14, 2025Updated last year
- Harmonization of multi-site, multi-shell diffusion MRI☆14Oct 16, 2025Updated 9 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 第三代树洞加密算法概述☆32Mar 28, 2022Updated 4 years ago
- A Course Scheduling Helper Using Vue.js☆15Jan 24, 2019Updated 7 years ago
- ☆10May 15, 2021Updated 5 years ago
- 📄 同济大学本科生毕业设计论文模板 | Tongji University Undergraduate Thesis Template | Typst☆41May 31, 2026Updated last month
- ☆13Mar 26, 2026Updated 3 months ago
- A JDK version manager for Windows written in Kotlin Native☆14Jun 19, 2026Updated last month
- 集成基础的 Typst 中文排版支持，提供快速的中文排版体验。☆18Jul 2, 2026Updated 3 weeks ago
- Implementation codes for "Jointly estimating parametric maps of multiple diffusion models"☆10Jan 27, 2022Updated 4 years ago
- [ICSE '25] LLM Based Input Space Partitioning Testing for Library APIs☆13Jul 27, 2025Updated 11 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ACM-ICPC Template☆28Jun 3, 2026Updated last month
- 📑 Compact specification git commit tool, it has a variety of practical small functions. (Inspired by git-cz on Node.js)☆30May 23, 2026Updated 2 months ago
- AC No Code 是偷懒者最好的在OJ中写代码AC的方式: Write nothing; submit nowhere.☆10May 18, 2020Updated 6 years ago
- ☆13Dec 5, 2022Updated 3 years ago
- Connect other bots as pipes.☆11Nov 6, 2019Updated 6 years ago
- Jetpack Compose version of FlipperControl for UWP and FlipperView for Android.☆12Aug 8, 2021Updated 4 years ago
- source code of the paper "[CIKM 2023] Task-Difficulty-Aware Meta-Learning with Adaptive Update Strategies for User Cold-Start Recommendat…☆10Oct 27, 2023Updated 2 years ago
- Stable branch of nissy, a Rubik's cube solver and FMC assitant☆13Apr 19, 2026Updated 3 months ago
- E language in PHP☆12Dec 15, 2017Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Latest fish completions as a plugin☆13Updated this week
- 在 Telegram 上快速模仿迟先生卖弱。☆10Oct 28, 2021Updated 4 years ago
- Search for tabs in the opened window, may can also search for bookmarks and history in future versions.☆10Jun 2, 2021Updated 5 years ago
- Convert font buffers between TTF/WOFF/WOFF2☆17Dec 24, 2021Updated 4 years ago
- 你 打 字 带 空 格☆11Oct 2, 2023Updated 2 years ago
- have u ever thought about why there is not a task manager in Linux which can display the usage of per CPU just like Windows☆10Dec 25, 2023Updated 2 years ago
- 感受老胡的心路历程☆16Nov 25, 2022Updated 3 years ago