Repositories list

• trampoline

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

  rtososek-vdxtrampoline+ 1autosar

  C

  •

  GNU General Public License v2.0

  •269•618•17•4•Updated May 28, 2024May 28, 2024

• GTL

  Public
  GTL Template Language

  C++

  •

  GNU General Public License v2.0

  •5•4•0•0•Updated Mar 5, 2024Mar 5, 2024

• gtlSyntaxForVSCode

  Public
  VSCode extension to highlight the GTL syntax - to write goil templates

  GNU General Public License v2.0

  •0•1•0•0•Updated Oct 29, 2023Oct 29, 2023

• Labs

  Public
  TeX

  •3•2•0•0•Updated Feb 21, 2022Feb 21, 2022

• python-makefile

  Public
  TeX

  •1•0•0•0•Updated Feb 11, 2022Feb 11, 2022

• ArduinoCore-avr

  Public
  the most complete, albeit incomplete, git history of Arduino AVR core

  C

  •1.1k•1•0•0•Updated Oct 1, 2021Oct 1, 2021

• TransferTable

  Public
  Master WET Transfer Table lab

  C

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jan 27, 2018Jan 27, 2018

• LEOS

  Public
  GNU General Public License v3.0

  •0•0•0•0•Updated Oct 31, 2017Oct 31, 2017

• BEST

  Public
  Binary Executable Slicing Tool (PhD2, IRCCyN)

  C++

  •2•0•0•0•Updated Jun 29, 2017Jun 29, 2017

• coccinelle

  Public
  Trampoline application for a 2 wheels robot

  GNU General Public License v2.0

  •0•0•0•0•Updated May 12, 2016May 12, 2016