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.☆11Mar 15, 2021Updated 5 years ago
- Supplemental code and data for the paper: Turning the spotlight on California’s (dirty) nighttime emissions☆10May 3, 2019Updated 6 years ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 2 months ago
- The notebooks in this repository are recipes for energy and climate modelers. They require open source software and they can run locally …☆19Updated this week
- Example of clingo usage on website as a client-side JS program☆14Aug 27, 2019Updated 6 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Code for doing Argument Structure Prediction using Residual Networks and (almost) without symbolic features☆11May 24, 2023Updated 2 years ago
- Reasoning on the response of logical signaling networks with Answer Set Programming☆15Feb 10, 2026Updated last month
- An open-source platform to demonstrate the capabilities of a Granular Certificate registry that conforms to the EnergyTag Standards and A…☆12Mar 18, 2026Updated last week
- Code for the paper "Spatio-temporal load shifting for truly clean computing"☆14Feb 4, 2025Updated last year
- Repository of the pipeline of computational methods for logical modelling of biological networks that are deregulated in diseases, develo…☆10Mar 14, 2026Updated last week
- Exemplos para praticar TDD com Pytest☆13Jun 2, 2018Updated 7 years ago
- Create and analyze argument graphs and serialize them via Protobuf☆10Mar 18, 2026Updated last week
- a very lightweight markdown docs site reader☆18Oct 9, 2017Updated 8 years ago
- A proposed workflow for using Git subtree with shared code☆20May 28, 2012Updated 13 years ago
- 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.
- An R shiny app to explore the influence of the normality and independence assumptions (and their violation) on the validity (i.e. the typ…☆13Aug 24, 2020Updated 5 years ago
- In-development, open-source textbook on modelling energy systems☆22Oct 13, 2025Updated 5 months ago
- Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic…☆12Updated this week
- Synthesis and Reprogramming of Most Permissive Boolean Networks☆16Feb 23, 2026Updated last month
- Python versions of all typeset code blocks from the book, Algorithms for Optimization.☆17Mar 20, 2024Updated 2 years ago
- ☆12Dec 23, 2022Updated 3 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
- Run multiple python linters easily☆27Jul 22, 2020Updated 5 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.
- 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
- 实现数据大屏可视化☆13Jun 9, 2022Updated 3 years ago
- Sensor Placement 基于NSGA2算法的供水管网水质监测点布局☆11May 17, 2020Updated 5 years ago
- Module to create static html reports☆14Jul 2, 2024Updated last year
- Ideal gas simulation in a 3D system at temperature T and volume L^3, where L is the length of the walls.☆13Mar 11, 2022Updated 4 years ago
- A curated list of resources focused on Machine Learning in Geospatial Data Science.☆10Jun 21, 2018Updated 7 years ago
- Build and run a PyPSA network from an Excel table; suitable for users with little programming experience☆18Feb 26, 2025Updated last year
- 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 neural RST discourse parser with well pre-trained XLNet.☆17Jun 13, 2022Updated 3 years ago
- 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.
- A JupyterHub authenticator using Kerberos☆12Jul 16, 2019Updated 6 years ago
- A Python toolbox for COPASI☆13Jun 5, 2024Updated last year
- Cybersecurity Data Mining Competition 2016☆11Jan 19, 2019Updated 7 years ago
- ☆19Oct 12, 2016Updated 9 years ago
- python reader for Andor sif file☆13Sep 28, 2020Updated 5 years ago
- A Batch download and processing tool to download Polar Geospatial Center derived high resolution ArcticDEM elevation datasets☆15Aug 13, 2020Updated 5 years ago
- Model to evaluate policies for reducing greenhouse gas emissions from light duty vehicles☆20Nov 7, 2025Updated 4 months ago