gianricardo Goto Github PK

3d-surround-view-monitoring

aadl

aadl-book

Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book

ariss

An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)

asneg-demo

OPC UA Demo Application for the OPC UA Application Server

autolab

Course management service that enables auto-graded programming assignments.

babystepstimer

A timer for the "baby steps" exercise/technique for doing TDD

barectf

Generator of ANSI C tracers which output CTF data streams

basicrtos

Automatically exported from code.google.com/p/basicrtos

books-3

bpmn-js

A BPMN 2.0 rendering toolkit and web modeler.

c-language

capivara

QVT C++ Framework

case-aadl-tutorial

A Tutorial for tools developed on the DARPA CASE program

charticulator

Interactive Layout-Aware Construction of Bespoke Charts

clearml

ClearML - Auto-Magical CI/CD to streamline your ML workflow. Experiment Manager, MLOps and Data-Management

cobra

An interactive (fast) static source code analyzer

codechecker

CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

codigos-cpp

collision_detection_aadl

An AADL model of self-driving car using a collision detection system

computer_vision_project

cplusplus

This repository contains some material I've created to teach courses on C++ and the Standard Template Library (STL). Please see http://www.dre.vanderbilt.edu/~schmidt/cs251 for more information on these topics, including video presentations and slides.

cpp-book

cpp_box

cpp_coroutine_examples

Scheduling examples using C++20 coroutines

cpp_lectures_2016

C++ Summer Lecture Series 2016

cpplinks

A categorized list of C++ resources.

cppmarkov

Implementation of markov chains in Cpp

cs251

This contains the source code examples and programming assignments for my CS 251 class

ctl-model-checker

A CTL model checker written in java