Functional Programming at the University of Kansas

blank-canvas

A Haskell API into HTML5 Canvas

haskino

Our Arduino experiments

hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel

kansas-lava

Kansas Lava

data-reify

Reification of data structures using observable sharing

haskino-examples

Haskino Examples

dotgen

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 package

kure

Combinators for Strategic Programming

netlist

Netlist and Verilog Haskell Package

remote-monad

remote-json

JSON RPC using the remote monad

sized-types

Lightweight sized types and matrices in Haskell

story-board

A Haskell replacement for Keynote, Powerpoint or beamer, in the spirit of Racket's slideshow.

kansas-lava-cores

IP Cores written in Kansas Lava

javascript-bridge

Bridge to JavaScript on the browser

yampa-canvas

Blank Canvas backend for Yampa

marked-pretty

Pretty-printing library, with scoping.

hermit-shell

HERMIT with GHCi shell

kansas-comet

A javascript push mechanism and event listener support

tonganoxie

Tools for 3D models

aframe-blueprint

Haskell EDSL for Aframe

chione

Static webpage generation library using the KURE rewrite engine

earthquake

The Elm Architecture, Revisited

aframe-ku-components

Components for aframe for the University of Kansas Sunflower Reality Lab

blank-canvas-mark

benchmarks for blank canvas

eecs448-lab02

git-command-line

ku-fpg.github.io

Webpages for the KU FPG