auto generate truth tables
☆52Jul 1, 2022Updated 3 years ago
Alternatives and similar repositories for truths
Users that are interested in truths are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A capacity expansion model of the electricity system for arbitrary world regions, written in Julia 1.x.☆12Mar 15, 2021Updated 5 years ago
- pytest-plus adds new features to pytest☆12Oct 27, 2025Updated 6 months ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 4 months ago
- Example of clingo usage on website as a client-side JS program☆14Aug 27, 2019Updated 6 years ago
- Automated judging system for programming contests☆14Dec 7, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Python code to calculate and display the radial wavefunction and associated probabilities of Hydrogen. This is a two particle system so c…☆11Oct 30, 2018Updated 7 years ago
- An open-source platform to demonstrate the capabilities of a Granular Certificate registry that conforms to the EnergyTag Standards and A…☆13Mar 18, 2026Updated last month
- Code for the paper "Spatio-temporal load shifting for truly clean computing"☆14Feb 4, 2025Updated last year
- A PHP exam with questions from beginner to expert level curated by @codehakase☆12Feb 23, 2017Updated 9 years ago
- Matplotlib tips and examples☆11Jun 9, 2020Updated 5 years ago
- ☆14Sep 9, 2024Updated last year
- A proposed workflow for using Git subtree with shared code☆20May 28, 2012Updated 13 years ago
- rhetoric, ethics, epistemology, aesthetics, logic, heuristics, causality, neurophilosophy☆13Jan 25, 2020Updated 6 years ago
- High-level HTTP clients for Python.☆17Apr 14, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Python versions of all typeset code blocks from the book, Algorithms for Optimization.☆19Mar 20, 2024Updated 2 years ago
- Low-carbon Expansion Generation Optimization (LEGO) model☆10Nov 16, 2022Updated 3 years ago
- Code for experiments on transformers using Markovian data.☆22Nov 22, 2024Updated last year
- Async first supervisord HTTP API Client for PHP 7☆16Dec 15, 2023Updated 2 years ago
- Resources for configuring VSCodium for writing in LaTeX, Markdown, and Python.☆20Nov 6, 2025Updated 6 months ago
- This data release is meant to accompany and document the paper: https://arxiv.org/abs/2004.11997 Collecting Entailment Data for Pretrain…☆14Sep 29, 2020Updated 5 years ago
- Lua api for the mongrel2 zeromq handler interface☆39Dec 21, 2011Updated 14 years ago
- Linear Algebra tutorials written in pure Julia. This repository contains tutorials that go alongside the textbook Introduction to Linear …☆16Jul 27, 2020Updated 5 years ago
- Three-Dimensional Vector Operations in R☆17Mar 11, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A list of readings that I will update over time☆14Jul 11, 2019Updated 6 years ago
- Module to create static html reports☆14Jul 2, 2024Updated last year
- Orchestrate Modal and OpenAI workloads with Dagster☆13Dec 11, 2024Updated last year
- Build and run a PyPSA network from an Excel table; suitable for users with little programming experience☆19Feb 26, 2025Updated last year
- ☆11Nov 13, 2015Updated 10 years ago
- This is the official repository for the STEMFIE App. STEMFIE is a construction set toy made with FreeCAD, similar to LEGO Technic.☆13Jan 30, 2025Updated last year
- A JupyterHub authenticator using Kerberos☆12Updated this week
- Repositório do curso "Computação Científica com Python, com aplicações à Oceanografia e à Biologia"☆13Jun 28, 2023Updated 2 years ago
- A neural RST discourse parser with well pre-trained XLNet.☆17Jun 13, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Python toolbox for COPASI☆13Jun 5, 2024Updated last year
- Git Repo for simulating Boolean Models☆39Nov 7, 2025Updated 5 months ago
- A simple GUI for wireviz☆39Apr 14, 2026Updated 3 weeks ago
- golang tool for #gitflow #semanticversioning #semver #git #cli #versioncontrol #developertool☆16Jun 21, 2023Updated 2 years ago
- Image Upscaler with Tile Controlnet Fully Integrated in Huggingface Diffusers☆20Jan 11, 2026Updated 3 months ago
- ReportParse is a unified NLP analyzer for corporate sustainability reports☆21Sep 18, 2024Updated last year
- An object-oriented Agent Based Model for land use/land cover change and multisector dynamics☆18Mar 28, 2024Updated 2 years ago