• Stars
    star
    1
  • Language
    Haskell
  • Created over 8 years ago
  • Updated about 8 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

sunroof-compiler

Monadic Javascript Compiler
Haskell
73
star
2

blank-canvas

A Haskell API into HTML5 Canvas
Haskell
71
star
3

haskino

Our Arduino experiments
Haskell
70
star
4

hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel
Haskell
49
star
5

kansas-lava

Kansas Lava
Haskell
46
star
6

raspberry-pi

29
star
7

data-reify

Reification of data structures using observable sharing
Haskell
28
star
8

haskino-examples

Haskino Examples
Haskell
22
star
9

dotgen

A simple interface for building .dot graph files.
Haskell
19
star
10

hood

Hood debugger, based on the idea of observing functions and structures as they are evaluated.
Haskell
17
star
11

natural-transformation

A natural transformation package
Haskell
16
star
12

kure

Combinators for Strategic Programming
Haskell
12
star
13

remote-monad

Haskell
10
star
14

remote-json

JSON RPC using the remote monad
Haskell
9
star
15

vr-ideas

Ideas about VR
HTML
8
star
16

story-board

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

sized-types

Lightweight sized types and matrices in Haskell
Haskell
7
star
18

kansas-lava-cores

IP Cores written in Kansas Lava
Haskell
6
star
19

hermit-streamfusion

HERMIT plugin implementing Stream Fusion, including fusing concatMap
Haskell
6
star
20

diagrams-canvas

The HTML5 canvas backend for diagrams
Haskell
6
star
21

armatus

Android front end for HERMIT
Java
6
star
22

sunroof-examples

Haskell
5
star
23

javascript-bridge

Bridge to JavaScript on the browser
Haskell
5
star
24

blackboard

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

yampa-canvas

Blank Canvas backend for Yampa
Haskell
4
star
26

wakarusa

A deep embedding of Functional Reactive Programming.
Haskell
4
star
27

marked-pretty

Pretty-printing library, with scoping.
Haskell
3
star
28

hermit-web

Web service interface to HERMIT GHC Plugin
Haskell
2
star
29

hermit-shell

HERMIT with GHCi shell
Haskell
2
star
30

aframe-server

Shared server-based space for A-Frame scenes.
JavaScript
2
star
31

tonganoxie

Tools for 3D models
Haskell
2
star
32

talks

Lab Talks
Haskell
2
star
33

kansas-comet

A javascript push mechanism and event listener support
Haskell
2
star
34

ecc-manifold

Forward Error Correctors
Haskell
2
star
35

remote-monad-examples

Models of the Remote Monad
Haskell
2
star
36

scotty-crud

Create, read, update and delete support.
Haskell
2
star
37

thrust-gen

A Synthesizer for the Thrust C++-based DSL.
Haskell
2
star
38

remote-binary

Haskell's Binary-based remote monad support
Haskell
2
star
39

protocols

Hardware Protocols in FRP
Haskell
2
star
40

accelerate-challenge-problems

Challenge problems (and solutions) for accelerate
Haskell
1
star
41

ldpc

LDPC case study for HERMIT project (2).
Haskell
1
star
42

chem-eng

Joint project with Chem Eng
1
star
43

earthquake

The Elm Architecture, Revisited
Haskell
1
star
44

boolean-tf

Generalized booleans via type functions
Haskell
1
star
45

ecc-ldpc-accelerate

LDPC implementation(s) using the accelerate DSL.
Haskell
1
star
46

better-life

Creating a better life
Haskell
1
star
47

sunroof-th

Template Haskell support for Abstract Object like things.
Haskell
1
star
48

vr-lab

KU EECS VR Lab (Examples and Notes)
HTML
1
star
49

lambda-bridge

Architecture for communicating between software and hardware
Haskell
1
star
50

chione

Static webpage generation library using the KURE rewrite engine
Haskell
1
star
51

ku-accelerate-examples

Examples of native usage of the accelerate GPGPU API
Haskell
1
star
52

sunroof-active

Haskell
1
star
53

core-reify

Reification from the GHC core level
Haskell
1
star
54

hermit-examples

Larger examples of using HERMIT
Haskell
1
star
55

aframe-blueprint

Haskell EDSL for Aframe
Haskell
1
star
56

diagrams-tests

Some simple tests for diagrams
Haskell
1
star
57

ecc-ldpc

Implementations of the LDPC FEC.
MATLAB
1
star
58

hcar

Haskell Communities and Activities Report (HCAR).
TeX
1
star
59

aframe

Haskell API into the a-frame building blocks for the VR web
Haskell
1
star
60

ldpc-blob

LDPC case study for HERMIT project
Haskell
1
star
61

flat-json

Flat file CRUD API into JSON records
Haskell
1
star
62

plotly-criterion

Draw criterion output using plotly.
Haskell
1
star
63

aeson-gadts

GADT support for TH-based JSON-ification
Haskell
1
star
64

html-kure

HTML rewrite engine, using KURE.
Haskell
1
star
65

accelerate-cmp

Layer between accelerate and users, for comparison debugging purposes
Haskell
1
star
66

sunroof-server

Haskell
1
star
67

cloud-haskell-examples

Examples of Cloud Haskell, and other idioms
Haskell
1
star
68

device-check

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