Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
Hide content and notifications from this user.
Contact Support about this user’s behavior.
Plugins for brickly
A version of the "Softwarefundations" books with integrated jsCoq
This repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins or for reporting issues. We will continue to accept Pull Requests here. They will be merged via staging trees then into openwrt.git. All issues should be reported at: https://bugs.openwrt.org
OpenOverlayRouter is an implementation to create programmable overlay networks.
Fischertechnik ROBOTICS TXT firmware, community edition
User guides for Fischertechnik community firmware apps
fischertechnik TXT python
Touchscreen UI written in PyQt
A web interface and IDE for the Fischertechnik ROBOTICS TXT Controller based on Snap! (http://snap.berkeley.edu/)
Maven integration for the JSR308-enabled javac compiler from http://types.cs.washington.edu/checker-framework/
Tvheadend is a TV streaming server for Linux supporting DVB-S, DVB-S2, DVB-C, DVB-T, ATSC, IPTV, and Analog video (V4L) as input sources.