Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

7,969–7,992 of 12,846 · Most stars

Runtime type checking for JS with Hindley Milner signatures

  • hindley-milner
  • type-checking
  • functional-programming
  • invariant

Programmatic modification and evaluation of software

  • software-engineering
  • source-code
  • evolutionary-computation
  • program-synthesis

Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.

  • python
  • typechecking
  • override
  • pep484

An Android recovery written in Rust from scratch: decryption, installs and OTA updates, backup, WLAN, MTP, adb and fastbootd. Runs the phone's own drivers and services from its stock firmware.

  • adb
  • android
  • android-recovery
  • custom-recovery

Actively maintained fork of ahmedkhalf/project.nvim. Detects and chdirs to the project root, with its own UI, provides lualine component, supports oil.nvim, includes pickers for telescope, snacks, fzf-lua, and picker.nvim.

Based Python static type checker with baseline, sane default settings and based typing features

  • based
  • python
  • typing
  • baseline

debmatic is a project to install the Homematic OCCU on Debian based systems (Debian, Ubuntu, Raspbian, Armbian)

  • homematic
  • occu
  • rpi-rf-mod
  • hm-mod-rpi-pcb

Real-time film emulation for Unreal Engine: 21 looks, grain, halation, lens effects, Blueprint controls and reusable presets.

Native PC compatibility project for The Order: 1886 (PS4, CUSA00076). Windows launcher, Vulkan graphics. In development: 3D cinematics observed; gameplay validation ongoing. Uses your own dump; no game files included. | Projeto para PC em desenvolvimento; usa seu próprio dump.

Low-latency remote desktop for macOS and Linux. Control your computer from an iPad or any browser with ~20 ms delay. Free, open source, no app to install. curl -fsSL glassdesk.dev | sh