它现在不仅有真值表，还有主范式、最简范式、王浩算法、手动等值演算 | 离散数学 Open Project
☆17Sep 10, 2025Updated 11 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 4 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
- demo: @greater_repeater_bot☆18May 14, 2023Updated 3 years 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.
- This repo contains the benchmarks for Enzyme on GPU's☆11Updated this week
- ☆22Sep 3, 2022Updated 3 years ago
- 服务端-客户端架构的洛谷冬日绘板工具☆24Dec 31, 2021Updated 4 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
- Community newsletters, special issues, etc. for public platforms☆10Aug 25, 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.
- ☆17May 18, 2022Updated 4 years ago
- A repository builder for ArchLinux☆13Feb 2, 2022Updated 4 years ago
- ☆32Feb 15, 2026Updated 5 months ago
- 第三代树洞加密算法概述☆32Mar 28, 2022Updated 4 years ago
- A Course Scheduling Helper Using Vue.js☆15Jan 24, 2019Updated 7 years ago
- Utility for displaying which compiler was used for creating an ELF file + basic info☆25Dec 28, 2025Updated 7 months ago
- Dark Plasma Theme☆20Jan 29, 2026Updated 6 months ago
- A raindrop sound synthesizer based on approximation of acoustic model. Developed using JUCE.☆20Mar 24, 2023Updated 3 years ago
- A JDK version manager for Windows written in Kotlin Native☆14Aug 3, 2026Updated last week
- 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.
- 集成基础的 Typst 中文排版支持，提供快速的中文排版体验。☆18Jul 2, 2026Updated last month
- Tell the user to install an ad blocker before continuing viewing your site!☆12Jan 10, 2021Updated 5 years 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 last year
- ACM-ICPC Template☆28Jun 3, 2026Updated 2 months ago
- 📑 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
- ☆13Dec 5, 2022Updated 3 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
- 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.
- E language in PHP☆12Dec 15, 2017Updated 8 years ago
- Latest fish completions as a plugin☆13Aug 7, 2026Updated last 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
- ☆11Apr 29, 2024Updated 2 years ago
- BiBLaTeX style for Springer Lecture Notes in Computer Science☆18Jul 18, 2026Updated 3 weeks ago