Video about NP-completeness, circuit SAT and "reversing time"
☆15Aug 18, 2024Updated last year
Alternatives and similar repositories for np-completeness
Users that are interested in np-completeness are comparing it to the libraries listed below
Sorting:
- ☆12Sep 21, 2023Updated 2 years ago
- Curso de Introducción a Python, usando Jupyter notebooks☆11Apr 19, 2023Updated 2 years ago
- scriptable runtime-writable livecd / hardware wrangler☆25Updated this week
- Java Data Loss Prevention (DLP) SDK - Nightfall Developer Platform☆11Mar 27, 2023Updated 2 years ago
- This repository provides basic scripts that apply the Impulse Pattern Formulation (IPF) in different programming languages. Thus, it help…☆12Jun 13, 2025Updated 8 months ago
- Automated OpenBSD configuration☆11Jul 26, 2025Updated 7 months ago
- 🎹🎵🎶 A platform to make Original and Cover Visible and Valuable.☆13Nov 8, 2022Updated 3 years ago
- Official implementation of the paper "On the Importance of Environments in Human-Robot Coordination", published in RSS 2021.☆16May 1, 2024Updated last year
- 🔣 ISAAC is a fast, seedable, cryptographically secure pseudo-random number generator (CSPRNG) and synchronous stream cipher.☆41Jun 24, 2023Updated 2 years ago
- Cheat Sheets (Chuletas) en Castellano☆12Feb 11, 2024Updated 2 years ago
- A simple Python library for compartment models☆11Aug 23, 2021Updated 4 years ago
- ☆11Oct 8, 2023Updated 2 years ago
- ☆13May 28, 2018Updated 7 years ago
- Connection provers in Rust☆14Mar 13, 2024Updated last year
- V2 of CodeGraphy. VSCode force-based graph extension for displaying file connections☆13Jun 10, 2023Updated 2 years ago
- Repository for my Hypothesis training course☆11Sep 30, 2016Updated 9 years ago
- Dynamically build a chain of DSP with poly~ objects inside poly~ objects☆10Aug 1, 2019Updated 6 years ago
- A repetition detector written in Rust☆14Mar 16, 2017Updated 8 years ago
- perl web interface to OpenBSD's sqlports☆10Jun 28, 2023Updated 2 years ago
- This is an augmented copy of avelino/awesome-go☆14Jul 9, 2018Updated 7 years ago
- Ejemplos y ejercicios resueltos en Java del módulo Programación del CFGS Despliegue de Aplicaciones Web☆14Oct 29, 2025Updated 4 months ago
- ☆11Apr 4, 2023Updated 2 years ago
- Benchmarks for Business Document Foundation Models☆10Apr 4, 2024Updated last year
- ☆13Dec 9, 2019Updated 6 years ago
- Prototype of TypeChat in Python☆11Oct 21, 2023Updated 2 years ago
- How to create a valid polyglot HTML/JS/WebAssembly module -☆12Oct 15, 2020Updated 5 years ago
- ☆12Nov 1, 2023Updated 2 years ago
- ☆18Jul 3, 2022Updated 3 years ago
- ACL24☆11Jun 7, 2024Updated last year
- ☆12Mar 4, 2025Updated 11 months ago
- Code for EMNLP'24 paper - On Diversified Preferences of Large Language Model Alignment☆16Aug 6, 2024Updated last year
- ☆13Mar 27, 2019Updated 6 years ago
- fast, responsive and verbose image viewer☆12Dec 7, 2025Updated 2 months ago
- Recopilación de pensamientos.☆11Updated this week
- Programming exercises to inspire kids to learn to program in a Minecraft type environment☆14Mar 24, 2019Updated 6 years ago
- Post4 is an indirect threaded Forth interpreter written in C.☆13Sep 6, 2025Updated 5 months ago
- ☆12Nov 11, 2023Updated 2 years ago
- ☆13Apr 22, 2024Updated last year
- Asynchronous C++ interoperability for Rust☆10Sep 21, 2021Updated 4 years ago