analyzer of the proof structure of a clause set by resolution and HOW TO WRITE THE WORLDS BY FOL.
-
Updated
May 28, 2024 - Common Lisp
analyzer of the proof structure of a clause set by resolution and HOW TO WRITE THE WORLDS BY FOL.
Unlock your displays on your Mac! Flexible HiDPI scaling, XDR/HDR extra brightness, virtual screens, DDC control, extra dimming, PIP/streaming, EDID override and lots more!
Plugins to make or improve widescreen resolutions support in games, add more features and fix bugs.
TouchDesigner Resolution / Aspect Ratio Utils Component
Python library for radar Bandwidth Extrapolation (BWE)
Una herramienta más para cambiar la resolución del temporizador del sistema en el contexto del proceso de llamada
Adjust aspect ratio and resolution for photography.
An easy to use camera object for Gamemaker studio, with options to change game and GUI resolution independently, and upscale pixelart
Like `performance.now()` but in nanoseconds
Find the process's time resolution
Get the current and all available screen resolution on Windows
Colin MCRae DiRT Multithread Fix
Python 3 & 2.7 scripts that patch Simcity 3000 to run in HD resolutions such as 1920x1080 and 4k
Core scripts for FluoroMatch, LipidMatch, and PolyMatch
Unity XScaling - a runtime framework for GPU-based textures and screen upscaling (super-resolution). Supports every platform.
Curated list of awesome software and resources for Senzing, The First Real-Time AI for Entity Resolution.
BugFix for AsiAir DSLR Bug occured in March 2024 - Corrects the image resolution by removing leftmost pixel row - saves images as new file.
Omnidirectional Virtual Visual Acuity (OVVA) is a new user-centric VR clarity metric. OVVA measures and compares the virtual visual acuity of the central, focal area of a VR HMD and environments and their degradation in the noncentral areas.
Add a description, image, and links to the resolution topic page so that developers can more easily learn about it.
To associate your repository with the resolution topic, visit your repo's landing page and select "manage topics."