Rubik's Cube is an easily-understood puzzle, which is originally called the "magic cube". It is a well-known planning problem, which has been studied for a long time. Yet many simple properties remain unknown. This paper studies whether modern SAT so...
A simple yet successful approach to parallel satisfiability (SAT) solving is to run several different (a portfolio of) SAT solvers on the input problem at the same time until one solver finds a solution. The SAT solvers in the portfolio can be instan...
lab6 - simple CAESAR (⭐ 1)
In considering the college admissions problem, almost fifty years ago, Gale and Shapley came up with a simple abstraction based on preferences of students and colleges. They introduced the concept of stability and optimality; and proposed the deferre...
The United States of America (USA), also known as the United States (U.S. or US) or colloquially as America, is a country that is mainly in North America. It is made of 50 states, a federal district …
a simple app that lets you forward your text messages and/or call logs to your telegram chat. (⭐ 64)
Logger: simple, convinient and thread safe logger for Qt-based C++ apps (⭐ 157)
In previous papers [Phys. Rev. A {\bf 41}, 4501 (1990), Phys. Rev. E {\bf 18}, 3178 (1993)], simple equilibrium expressions were obtained for nonlinear Burnett coefficients. A preliminary calculation of a 32 particle Lennard-Jones fluid was present...
Hey all, I built a small internal tool for my University EDT to manage inventory, orders, tickets, and design docs for our project. It's a Flask backend with a simple frontend and PostgreSQL, all...
Steal Pet Simulator X banks with a simple script (⭐ 0)
Get more done with the new Google Chrome. A more simple, secure and faster web browser than ever, with Google’s smarts built in. Download now.
A simple Blender 4 rig for Unreal Engine 5 Manny/Quinn skeleton (⭐ 131)
Con las funciones inteligentes de Google, ahora es más simple, seguro y rápido que nunca.
The fork of Bonnie++ is a benchmark suite that is aimed at performing a number of simple tests of hard drive and file system performance. (⭐ 6)
Simple, cross-platform, and fast command aliases with superpowers. (⭐ 85)
A simple tool to process plain text output from Lexis Nexis news searches (⭐ 11)
Smart DNS (SDNS) services advertise access to "geofenced" content (typically, video streaming sites such as Netflix or Hulu) that is normally inaccessible unless the client is within a prescribed geographic region. SDNS is simple to use and involves...
A simple project to detect the Shai-Hulud npm supply chain attack (⭐ 314)
2024-03-25. "Inception: how a simple XOR can cause a Microarchitectural Stack Overflow". Computer Security Group. Retrieved 2023-09-15. "Retbleed: Arbitrary
Simple & fast Koa v2 Framework (⭐ 245)