libikos

Static analyzer for C/C++ - static libraries

IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for C/C++ based on the theory of Abstract Interpretation.

fonts-atkinson-hyperlegible-ttf

Font focused on legibility and readability (TTF)

Atkinson Hyperlegible is a typeface created in partnership with Braille Institute. It has been developed specifically to increase legibility for readers with low vision, and to improve comprehension. It supports Latin scripts, and covers accent characters for 27 languages.

php-symfony-google-chat-notifier

Symfony Google Chat Notifier Bridge

The Symfony Google Chat Notifier Bridge provides Google Chat integration for Symfony Notifier.

python3-aiortc

implementation of WebRTC and ORTC

aiortc is a library for Web Real-Time Communication (WebRTC) and Object Real-Time Communication (ORTC) in Python. It is built on top of asyncio, Python's standard asynchronous I/O framework.
Font focused on legibility and readability (OTF)

fonts-atkinson-hyperlegible

Font focused on legibility and readability (OTF)

Atkinson Hyperlegible is a typeface created in partnership with Braille Institute. It has been developed specifically to increase legibility for readers with low vision, and to improve comprehension. It supports Latin scripts, and covers accent characters for 27 languages.

ikos

Static analyzer for C/C++

IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for C/C++ based on the theory of Abstract Interpretation.