Discover @anmaped Open Source projects

André Pedro (@anmaped)

anmaped

Stars
242
Global Rank 102,597 (Top 4 %)
Followers 10
Registered almost 9 years ago
Most used languages

C
50.0 %

PHP
25.0 %

OCaml
25.0 %
Location 🇩🇪 Germany
Country Total Rank 5,391
Country Ranking

OCaml
44

PHP
321

C
2,760

openfang

The openfang is a bootloader, kernel and toolchain for devices using Ingenic T10 and T20 SOC

rmtld3synth

Runtime Verification toolchain for generation of monitors based on the restricted Metric Temporal Logic with Durations.

opaq

Opaq is an hardware and software project aware of the importance of the maintenance tasks of the fishkeepers day life. It is capable to connect with different proprietary devices, and to comunicate with a wide set of multi-purpose Opaq nodes for pond and aquarium systems.

rtmlib

A Real-Time Monitoring Library that supports runtime monitoring of safety-critical embedded systems through a lock-free and wait-free algorithm.

opaq-hardware

Opaq is an hardware and software project aware of the importance of the maintenance tasks of the fishkeepers day life. It is capable to connect with different proprietary devices, and to comunicate with a wide set of multi-purpose Opaq nodes for pond and aquarium systems.