Tag Archives: reblog

LiteX – Le framework open-source pour programmer du matériel en Python

Les programmes quels qu’ils soient s’exécutent sur une plateforme matérielle après compilation : il peut s’agir d’un processeur (ARM, Intel, etc) ou d’un microcontrôleur enfoui au sein d’un objet connecté. Le développement de la plateforme matérielle est un exercice particulier.

from Pocket
via Did you enjoy this article? Then read the full version from the author’s website.

Embench™: Open Benchmarks for Embedded Platforms

This repository contains the Embench™ free and open source benchmark suite. These benchmarks are designed to test the performance of deeply embedded systems. As such they assume the presence of no OS, minimal C library support and in particular no output stream.

from Pocket
via Did you enjoy this article? Then read the full version from the author’s website.

Very Basic Introduction to Formal Verification

You are blocking Javascript, and we totally get that. However this endpoint uses Angular, so the front end is in full JavaScript and won’t work without it. There will be other non JS-based clients to access PeerTube, but for now none is available.

from Pocket
via Did you enjoy this article? Then read the full version from the author’s website.