sorki Goto Github PK

some

Existential type.

stack

The Haskell Tool Stack

start_container

state-server

Single-purpose server holding the current state of the environment

stm32-rs

Embedded Rust device crates for STM32 microcontrollers

supybot-irccat

Supybot plugin relaying data from a tcp port to irc channel(s)

swagger2

Swagger 2.0 data model.

tidal-listener

Experimental tidal OSC listener

topy

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

topy.images

Automatically exported from code.google.com/p/topy.images

tornadio2

Python socket.io server implementation on top of Tornado framework

ttn-client

TheThingsNetwork client in Haskell

ttnmapper-web

The current TTN Mapper website code (open source subset).

twee

An equational theorem prover based on Knuth-Bendix completion

u-boot

"Das U-Boot" Source Tree

u-boot_novena_distro_support

u-boot with patches for novena adding distro support

update-nix-fetchgit

A program to automatically update fetchgit values in Nix expressions

update-nix-file

Perform arbitrary `nix` file modification operations

virt_addr

Get IP address of virtual machine running in kvm via libvirt

vpsadmin

vpsAdmin web interface

website

workspace

Haskell repositories around graphics programming on the GPU.

xnand

yconfer

Django based conference management application