There are no reviews yet. Be the first to send feedback to the community and the maintainers!
sunroof-compiler
Monadic Javascript Compilerblank-canvas
A Haskell API into HTML5 Canvashaskino
Our Arduino experimentshermit
Haskell Equational Reasoning Model-to-Implementation Tunnelkansas-lava
Kansas Lavaraspberry-pi
data-reify
Reification of data structures using observable sharinghaskino-examples
Haskino Examplesdotgen
A simple interface for building .dot graph files.hood
Hood debugger, based on the idea of observing functions and structures as they are evaluated.natural-transformation
A natural transformation packagekure
Combinators for Strategic Programmingremote-monad
remote-json
JSON RPC using the remote monadvr-ideas
Ideas about VRstory-board
A Haskell replacement for Keynote, Powerpoint or beamer, in the spirit of Racket's slideshow.sized-types
Lightweight sized types and matrices in Haskellkansas-lava-cores
IP Cores written in Kansas Lavahermit-streamfusion
HERMIT plugin implementing Stream Fusion, including fusing concatMapdiagrams-canvas
The HTML5 canvas backend for diagramsarmatus
Android front end for HERMITsunroof-examples
javascript-bridge
Bridge to JavaScript on the browserblackboard
Place we have our common notes and notices not specific to a project.wakarusa
A deep embedding of Functional Reactive Programming.marked-pretty
Pretty-printing library, with scoping.hermit-web
Web service interface to HERMIT GHC Pluginhermit-shell
HERMIT with GHCi shellaframe-server
Shared server-based space for A-Frame scenes.tonganoxie
Tools for 3D modelstalks
Lab Talkskansas-comet
A javascript push mechanism and event listener supportecc-manifold
Forward Error Correctorsremote-monad-examples
Models of the Remote Monadscotty-crud
Create, read, update and delete support.thrust-gen
A Synthesizer for the Thrust C++-based DSL.remote-binary
Haskell's Binary-based remote monad supportprotocols
Hardware Protocols in FRPaccelerate-challenge-problems
Challenge problems (and solutions) for accelerateldpc
LDPC case study for HERMIT project (2).mandelbrot-examples
chem-eng
Joint project with Chem Engearthquake
The Elm Architecture, Revisitedboolean-tf
Generalized booleans via type functionsecc-ldpc-accelerate
LDPC implementation(s) using the accelerate DSL.better-life
Creating a better lifesunroof-th
Template Haskell support for Abstract Object like things.vr-lab
KU EECS VR Lab (Examples and Notes)lambda-bridge
Architecture for communicating between software and hardwarechione
Static webpage generation library using the KURE rewrite engineku-accelerate-examples
Examples of native usage of the accelerate GPGPU APIsunroof-active
core-reify
Reification from the GHC core levelhermit-examples
Larger examples of using HERMITaframe-blueprint
Haskell EDSL for Aframediagrams-tests
Some simple tests for diagramsecc-ldpc
Implementations of the LDPC FEC.hcar
Haskell Communities and Activities Report (HCAR).aframe
Haskell API into the a-frame building blocks for the VR webldpc-blob
LDPC case study for HERMIT projectflat-json
Flat file CRUD API into JSON recordsplotly-criterion
Draw criterion output using plotly.aeson-gadts
GADT support for TH-based JSON-ificationhtml-kure
HTML rewrite engine, using KURE.accelerate-cmp
Layer between accelerate and users, for comparison debugging purposessunroof-server
cloud-haskell-examples
Examples of Cloud Haskell, and other idiomsdevice-check
A Device-Under-Test quickcheck, based on randomly generated invoke code, and observable properties.Love Open Source and this site? Check out how you can help us