Block or report user

Organizations

@lambdabot
  • Template Haskell system for implementing type classes with complex default-implementation rules

    Haskell 3 3 Updated Apr 16, 2018
  • Dependently-typed finite maps (partial dependent products)

    Haskell 20 13 Updated Apr 13, 2018
  • B-Splines, other splines, and NURBS in Haskell.

    Haskell 17 6 Updated Feb 27, 2018
  • Haskell library for manipulating and evaluating polynomials

    Haskell 12 9 Updated Feb 27, 2018
  • COBS (consistent overhead byte-stuffing) codec for haskell

    Haskell Updated Feb 19, 2018
  • COBS (consistent overhead byte-stuffing) codec for tokio

    Rust Updated Feb 18, 2018
  • Protocol Buffers implementation in C

    C++ 294 Updated Feb 10, 2018
  • A suite of Haskell libraries for representing, manipulating, and sampling random variables

    Haskell 24 11 Updated Jan 23, 2018
  • Dependent sums and supporting typeclasses for comparing and displaying them

    Haskell 14 15 Updated Jan 7, 2018
  • My personal shell environment, utility scripts, etc.

    Perl 2 Updated Dec 25, 2017
  • A grab bag of useful functions for use with Template Haskell

    Haskell 1 2 Updated Sep 1, 2017
  • Bits tutorial for interacting with a crud manager

    JavaScript 1 Apache-2.0 Updated Aug 29, 2017
  • BITS (stands for Bits Integrated Technology System) BITS is designed to allow for rapid development of modules or apps that all share some base architecture design. This base is what we refer to as BITS.

    JavaScript 10 Apache-2.0 Updated Aug 16, 2017
  • Opaque unique identifiers in primitive state monads

    Haskell 4 2 Updated Jun 13, 2017
  • Template Haskell code to generate instances of classes from dependent-sum

    Haskell 3 9 Updated Jun 1, 2017
  • Some useful control operators for looping

    Haskell 32 6 Updated Feb 7, 2017
  • STM-specific control operators (split out of monad-loops as of version 0.4)

    Haskell 2 1 Updated Jul 20, 2016
  • Bit arrays for Haskell

    Haskell 6 1 Updated Jun 11, 2016
  • KiCad Layout Unlicense Updated Mar 10, 2016
  • zinc

    Forked from hackndev/zinc

    The bare metal stack for rust

    Rust 111 Apache-2.0 Updated Sep 5, 2015
  • Various schematics and pcb layouts for my personal projects

    KiCad Layout 2 Unlicense Updated Aug 27, 2015
  • Low-level Rust support for STM32 microcontrollers

    Rust 8 Updated Aug 25, 2015
  • Haskell library for manipulating and evaluating continued fractions

    Haskell 6 3 Updated Aug 24, 2015
  • Rust runtime library for arm-none-eabi

    Rust Updated Aug 23, 2015
  • A fortune-mod clone

    Haskell 2 1 Updated Aug 21, 2015
  • Shake build system actions for Atmel's GCC-based AVR toolchain

    Haskell 1 Updated Aug 21, 2015
  • rlibc

    Forked from hackndev/rlibc
    Rust 35 Updated Aug 17, 2015
  • "Stable Hackage," tools for creating a vetted set of packages from Hackage.

    Shell 569 MIT Updated Jul 31, 2015
  • Parser, data type and formatter for Apple property lists (xml1 and binary1 formats)

    Haskell 2 Updated Jun 19, 2015
  • SDR receiver for Maverick ET-73 thermometer

    Haskell 1 Updated Apr 1, 2015