QUDT -Quantities, Units, Dimensions and dataTypes - public repository

Replacement PCBs for the Kinesis Advantage/Contour keyboards

SPARQL graph database

Measure Amazon S3's performance from any location.

Research WebAssembly Engine

A user-centric visual STG implementation to help understand GHC/Haskell's execution model.

A stream-based runtime-verification framework for generating hard real-time C code.

TI MSP430 Bootloader (BSL) .NET Cross-Platform Toolchain & Firmware Tools. The cheapest way to flash MSP430, with FTDI/Serial/UART converters. Intel-HEX, TI-TXT, ELF and SREC firmware format suppor…

Our regulatory documentation manager. Streamlines 62304, 14971, and 510(k) documentation for software projects.

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

An Emacs framework for the stubborn martian hacker

A Python package with bindings to the "Virtual Instrument Software Architecture" VISA library, in order to control measurement devices and test equipment via GPIB, RS232, or USB.

The Haskell LaTeX library.

See Reflex FRP in action with tinker-friendly code samples you can run yourself.

Functional reactive web and mobile applications, with batteries included.

Specification for Eddystone, an open beacon format from Google

Open control of Carrier/Bryant thermostats

📶 - Elm style FRP library for Haskell

2-D arcade scroller

Nix, the purely functional package manager

Hydra, the Nix-based continuous build system

OLD, DEPRECATED: Use this instead https://github.com/haskell/haskell-ide-engine

Bitcoin Core integration/staging tree

A cross-platform, linkable library implementation of Git that you can use in your application.

Functional Reactive DSL in Haskell that compiles to JavaScript.

Fast and memory efficient low-level networking for Haskell.