ekiwi Goto Github PK

tinyos-1.x

Inofficial mirror of the latest tinyos-1.x from CVS

treadle

Chisel/Firrtl execution engine

tt02-tweezers

Submission template for TT02

tvm-vta

Open, Modular, Deep Learning Accelerator

uclid

uclid5 modeling and verification language

uclid-c-verification-flow

A methodology to verify "OS-style" C programs in uclid.

uclid-gtksourceview

Initial try to get syntax highlighting for UCLID in Gedit and Gnome Builder.

uclidfc

ucta

micro controller trace analysis

ulader

backup battery powered bike lighting system inspired by the Forumslader project

untimed-modules

Experiments with writing transactional models in a Chisel dialect.

upainter

2D graphics rendering on µ-controllers and simulation in Qt with C++14 API.

upduino

utest-rs

an effort to develop a testing solution for rust on deeply embedded, bare metal targets

venus

RISC-V instruction set simulator built for education

venusbackend

This is the universal backend for the Venus project.

verif

xpcc

The C++ microcontroller framework xpcc

xpcc-playground

some random xpcc projects

xpcc-sump

The goal of this side project is to build a sump compatible uC firmware based on the xpcc library

xpcc-swd

port of scanlime's SWD code for the esp8266 to xpcc

yices2

The Yices SMT Solver

yosys

Yosys Open SYnthesis Suite

zipcpu

A small, light weight, RISC CPU soft core