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.
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.