Benki β†’ All Posts

β‡  previous page next page β‡’

A native code compiler for Python that uses type hints for optimization.

High-level, safe, hot-reloading programming language for ESP32 microcontrollers.

A domain-specific programming language for constant-time cryptographic code.

β‡  previous page next page β‡’