Python API for BeamNG.tech

A high performance, editable terrain system for Godot 4.

PyUPPAAL is a python package basically for reflecting UPPAAL's model editing, verification, and counter-example parsing operations into scripts.

An overview of the implementation of Differential Dynamic Logic (dL) in PVS. Notes taken during my internship at NASA.

Fork of https://gitlab.com/Mr_Goldberg/goldberg_emulator

App for Decoding "ICAO" ID & PASSPORT Documents using NFC

KDE Plasma6 widget with window controls

Tiny UI Fix is a UI scaling and fixing mod for The Sims 3.

PyTorch emulation library for Microscaling (MX)-compatible data formats

DLPrimitives/OpenCL out of tree backend for pytorch

move the last downloaded file in the current (or the specified) folder

a tool with a long memory

Linux driver for Thrustmaster T150 Steering Wheel USB

hear your cpus from everywhere

Unicode routines (UTF8, UTF16, UTF32) and Base64: billions of characters per second using SSE2, AVX2, NEON, AVX-512, RISC-V Vector Extension, LoongArch64, POWER. Part of Node.js, WebKit/Safari, Lad…

Human Interface Device (HID) Tools for Windows and Devices

Video-based vehicle counting system built with Python/OpenCV/Tensorflow.

GitHub's fork of cmark, a CommonMark parsing and rendering library and program in C

Command-line interface based on AngouriMath

MonoDevelop is a cross platform .NET IDE

Build scripts and configuration for building CPython for Emscripten

Patches to bring back a traditional experience for GTK+3

Run Windows software and games on Linux

Open-source offline translation library written in Python

Adds various features to anonymous imageboards.

🦊 I respect proton UI and aim to improve it.

Save Microsoft Stream videos for offline enjoyment. This is an UNIPI fork.

Wine Launcher - Running Windows games under Linux