Block or report user
  • S. Florida
  • GNU Emacs major modes for Racket: Edit and REPL.

    Emacs Lisp 42 Updated Jun 18, 2017
  • d-bus

    Forked from Philonous/d-bus

    strongly typed dbus client library

    Haskell 6 Updated Jun 8, 2017
  • Happy Haskell programming for editors

    Haskell 170 Updated Apr 30, 2017
  • Crypto implemenetations in pure Typed Racket .

    Racket 5 Updated Mar 16, 2017
  • Asynchronous Scala HTTP client using Finagle, Shapeless and Cats

    Scala 27 Updated Jan 26, 2017
  • Repository for Open Translators to Things.

    JavaScript 28 Updated Dec 21, 2016
  • Simple probabilistic graphical models

    Haskell Updated Dec 8, 2016
  • Reverse engineered bearer implementation of the CSRMesh BTLE protocol

    Python 11 Updated Nov 25, 2016
  • Python module for controlling MagicLight BLE/Bluetooth Smart light bulbs

    1 Updated Nov 15, 2016
  • HipChat API bindings in Haskell

    Haskell 1 Updated Oct 23, 2016
  • zeroadv

    Forked from adamw/zeroadv
    Scala 2 Updated Oct 2, 2016
  • A fault tolerant, protocol-agnostic RPC system

    Scala 1,095 Updated Sep 22, 2016
  • Write Emacs extensions in Haskell

    Haskell 19 Updated Aug 30, 2016
  • Presence detection server for Happy Bubbles Bluetooth beacon-based presence detection system.

    Go 7 Updated Jul 28, 2016
  • Home automation bridge that emulates a Philips Hue light system and can control other systems such as a Vera, Harmony Hub, Nest, MiLight bulbs or any other system that has an http/https/tcp/udp interface. This is a compact impl to run on small format computers. This is impl started from this project https://github.com/armzilla/amazon-echo-ha-bridge

    Java 110 Updated May 11, 2016
  • Bluetooth Python extension module

    Python 169 Updated May 5, 2016
  • A fast, easy-to-use q-learning library for Haskell

    Haskell 5 Updated May 1, 2016
  • R Processing in Racket (Riper)

    Racket 2 Updated Apr 27, 2016
  • Amalgamation to form a reasonable development environment for Scala development with emacs.

    Emacs Lisp 24 4 Updated Apr 27, 2016
  • AWS API Typed Racket Library

    Racket 1 1 Updated Apr 27, 2016
  • Library for developing browser based web apps.

    Haskell Updated Apr 27, 2016
  • Formal Concept Analysis and Lattice Generator

    Haskell 2 Updated Apr 27, 2016
  • ecb

    Forked from ChasManRors/ecb

    A code browser for Emacs

    Emacs Lisp 1 40 Updated Apr 27, 2016
  • Haskell Updated Apr 27, 2016
  • Internet and web focused Typed Racket code.

    Racket 3 1 Updated Mar 2, 2016
  • Collection of tools to control some "smart" BLE bulbs.

    Go 2 Updated Mar 1, 2016
  • Skynet 1M threads microbenchmark

    C# 107 Updated Feb 14, 2016
  • High-Speed Per-Flow Traffic Measurement with Probabilistic Multiplicity Counting

    Haskell Updated Jan 7, 2016
  • Haskell Updated Dec 25, 2015
  • Interactive, client-side web apps in Haskell

    Haskell 11 Updated Dec 25, 2015