Explore @ku-fpg Open Source projects

Functional Programming at the University of Kansas (@ku-fpg)

ku-fpg

Stars
611
Global Org. Rank 21,133 (Top 7 %)
Registered over 13 years ago
Most used languages

Haskell
90.9 %

HTML
3.0 %

TeX
1.5 %

JavaScript
1.5 %

Java
1.5 %

MATLAB
1.5 %
Location 🇺🇸 United States
Country Total Rank 12,805
Country Ranking

Haskell
57

TeX
4,463

MATLAB
6,828

HTML
9,285

sunroof-compiler

Monadic Javascript Compiler

blank-canvas

A Haskell API into HTML5 Canvas

haskino

Our Arduino experiments

hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel

kansas-lava

raspberry-pi

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

remote-monad

remote-json

JSON RPC using the remote monad

vr-ideas

story-board

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

sized-types

Lightweight sized types and matrices in Haskell

kansas-lava-cores

IP Cores written in Kansas Lava

hermit-streamfusion

HERMIT plugin implementing Stream Fusion, including fusing concatMap

diagrams-canvas

The HTML5 canvas backend for diagrams

armatus

Android front end for HERMIT

sunroof-examples

javascript-bridge

Bridge to JavaScript on the browser

blackboard

Place we have our common notes and notices not specific to a project.

yampa-canvas

Blank Canvas backend for Yampa

wakarusa

A deep embedding of Functional Reactive Programming.

marked-pretty

Pretty-printing library, with scoping.

hermit-web

Web service interface to HERMIT GHC Plugin

hermit-shell

HERMIT with GHCi shell

aframe-server

Shared server-based space for A-Frame scenes.

tonganoxie

Tools for 3D models

talks

kansas-comet

A javascript push mechanism and event listener support

ecc-manifold

Forward Error Correctors

remote-monad-examples

Models of the Remote Monad

scotty-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 support

protocols

Hardware Protocols in FRP

accelerate-challenge-problems

Challenge problems (and solutions) for accelerate

ldpc

LDPC case study for HERMIT project (2).

mandelbrot-examples

chem-eng

Joint project with Chem Eng

earthquake

The Elm Architecture, Revisited

boolean-tf

Generalized booleans via type functions

ecc-ldpc-accelerate

LDPC implementation(s) using the accelerate DSL.

better-life

Creating a better life

sunroof-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 hardware

chione

Static webpage generation library using the KURE rewrite engine

ku-accelerate-examples

Examples of native usage of the accelerate GPGPU API

sunroof-active

core-reify

Reification from the GHC core level

hermit-examples

Larger examples of using HERMIT

aframe-blueprint

Haskell EDSL for Aframe

diagrams-tests

Some simple tests for diagrams

ecc-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 web

ldpc-blob

LDPC case study for HERMIT project

flat-json

Flat file CRUD API into JSON records

plotly-criterion

Draw criterion output using plotly.

aeson-gadts

GADT support for TH-based JSON-ification

html-kure

HTML rewrite engine, using KURE.

accelerate-cmp

Layer between accelerate and users, for comparison debugging purposes

sunroof-server

cloud-haskell-examples

Examples of Cloud Haskell, and other idioms

device-check

A Device-Under-Test quickcheck, based on randomly generated invoke code, and observable properties.