channgo2203 Goto Github PK

deep_drone_acrobatics

Code for the project Deep Drone Acrobatics.

deepxplore

DeepXplore code release

densenet

DenseNet implementation in Keras

design

Design documentation for ROS 2.0 effort

detexify-hs-backend

Detexify Backend written in Haskell

dg

[LLVM Static Slicer] Dependence graph for programs. Generic implementation of dependence graphs with instantiation for LLVM that contains a static slicer for LLVM bitcode

diosix

A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V

dlv

Safety Verification of Deep Neural Networks

dmf

Driver Module Framework

dnnlibrary

Daquexian's NNAPI Library. ONNX + Android NNAPI

doip

Diagnostics over IP

donkeycar

Open source hardware and software platform to build a small scale self driving car.

doodle-jump

Doodle jump, the popular iPhone game, ported to PC.

dpwa

Distributed Learning by Pair-Wise Averaging

dresdenocl

Dresden OCL provides a set of tools to parse and evaluate OCL constraints on various models like UML, EMF and Java. Furthermore Dresden OCL provides tools for Java/AspectJ and SQL code generation.

driver-examples

Rust example programs for many of my hardware device drivers running on STM32F3 Discovery, STM32F103 "Blue Pill", micro:bit and other boards

dubins-curves

Path generation for the Dubin's car

dynamic-loading

Loading of a C++ class from a shared library (C++11)

e-paper

e-paper-watch

e155-fa2020

easy_profiler

Lightweight profiler library for c++

ecubus

ECU bus tool, UDS over CAN, CAN-FD, Ethernet and so on.

edward

A library for probabilistic modeling, inference, and criticism. Deep generative models, variational inference. Runs on TensorFlow.

egos-2000

A minimal operating system (2K LOC) on QEMU and a RISC-V board

elina

ELINA: ETH LIbrary for Numerical Analysis

eliom

Framework for programming web and mobile applications in OCaml.

elpi_caml

Elements of Programming Interviews in OCaml

embedded

embedded-hal

A Hardware Abstraction Layer (HAL) for embedded systems