• Trampoline is a static RTOS for small embedded systems. Its API is aligned with OSEK/VDX OS and AUTOSAR OS 4.2 standards.

    C 131 87 GPL-2.0 1 issue needs help Updated Mar 7, 2018
  • Master WET Transfer Table lab

    C GPL-3.0 Updated Jan 27, 2018
  • GTL Template Language

    C++ 1 2 GPL-2.0 Updated Dec 1, 2017
  • the most complete, albeit incomplete, git history of Arduino AVR core

    C 18 Updated Nov 22, 2017
  • GPL-3.0 Updated Oct 31, 2017
  • BEST

    Forked from amangean/BEST

    Binary Executable Slicing Tool (PhD2, IRCCyN)

    C++ 1 Updated Jun 29, 2017
  • TeX 1 Updated Jun 3, 2016
  • Trampoline application for a 2 wheels robot

    GPL-2.0 Updated May 12, 2016