Pinned Loading

1. silitics/rugix silitics/rugix Public

   A suite of open-source tools to build and deploy reliable embedded Linux devices at scale with efficient and secure over-the-air update capabilities.

   Rust 73 5

2. momba momba Public

   A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.

   PDDL 19 3

3. jaspy jaspy Public

   A Python byte code VM written entirely from scratch in JavaScript with some unique features.

   JavaScript 578 52

4. pygtkspellcheck pygtkspellcheck Public

   A simple but quite powerful spellchecking library for GTK written in pure Python.

   Python 24 9

5. snippets snippets Public

   some useful code snippets and programs

   Python 7 1

6. sphinx-doc/sphinx sphinx-doc/sphinx Public

   The Sphinx documentation generator

   Python 7k 2.2k