A macro processor that is used automatically by the GNU C compiler to transform programs before actual compilation.

Lem is a tool for lightweight executable mathematics, for writing, managing, and publishing large-scale portable semantic definitions, with export to LaTeX, executable code (currently OCaml) and interactive theorem provers (currently Coq, HOL4, and Isabelle/HOL).

This library provides a Python interface for interacting with the Meater smart meat thermometer from Apption Labs. It enables communication with the Meater Cloud API to retrieve data from Meater cooking probes. With this library, you can authenticate with the Meater API, and obtain information about connected probes, including their internal and ambient temperature readings. Additionally, it allows querying for current cooking sessions and their details, such as target temperatures and elapsed cooking time. The library requires an active Wi-Fi and Bluetooth connection to the Meater Cloud for device data synchronization.

OmniDB is a web tool that simplifies database management focusing on interactivity, designed to be powerful and lightweight.

A macro processor that is used automatically by the GNU C compiler to transform programs before actual compilation.

Minimal Java runtime - needed for executing non GUI Java programs, using Hotspot JIT.