Repository Index

Static ARM64 to x86 recompiler (GPLv3)

• arm64
• hle
• recompiler
• aarch64

Mypy static type checker plugin for Pytest

Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy

• micropython-stubs
• micropython-stubber
• firmware-stubs
• python

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

• based
• python
• typing
• baseline

Static & dynamic D bindings to SDL and the SDL_* libraries, compatible with BetterC, @nogc, and nothrow. (Mirror)

• dlang
• bindbc
• sdl-mixer
• sdl-image

Static scope analysis and transpilation of ES6 block scoped const and let variables to ES3 vars

A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.

• code-formatter
• code-generation
• mypy
• pyannotate

Opinionated typing package for precise type hints in Python

• pep484
• python
• python-typing
• numpy

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.

• baseline
• cli
• legacy-code
• mypy

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436

Static & dynamic D bindings to GLFW, compatible with BetterC, @nogc, and nothrow.

• dlang
• glfw-bindings
• bindbc
• glfw

Plugin for mypy to support zope.interface

• mypy
• zope
• plugin
• static-typing

Javascript recursion schemes compatible with flow-static-land

Dynamic and static D bindings for bgfx

Static & dynamic D bindings to the FreeType library, compatible with BetterC, @nogc, and nothrow.

• bindbc
• dlang
• freetype
• freetype-bindings

Static & dynamic D bindings to the C API of Lua, compatible with BetterC, @nogc, and nothrow.

• bindbc
• lua
• lua-bindings
• dlang

A dynamic and static D binding to the raylib library

• raylib
• d
• binding
• dlang

Static & dynamic D bindings to the CSFML library, compatible with BetterC, @nogc, and nothrow.

• bindbc
• csfml
• dlang
• sfml

Static & dynamic D bindings to OpenAL, compatible with BetterC, @nogc, and nothrow.

• bindbc
• dlang
• openal
• openal-soft

Static & dynamic D bindings to FreeImage, compatible with BetterC, @nogc, and nothrow.

• bindbc
• dlang
• freeimage

Static and dynamic bindings to the Blend2D C API for D

A configurable dynamic and static D binding to the HarfBuzz library which is compatible with @nogc, nothrow, and BetterC.

Dynamic and static bindings to nanovg, compatible with -betterC, @nogc, and nothrow.