Discover ku-fpg/hermit-shell Open Source project

Stars
2
Language
Haskell
License
BSD 3-Clause "New...
Created almost 10 years ago
Updated almost 5 years ago

ku-fpg

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

HERMIT with GHCi shell

sunroof-compiler

Monadic Javascript Compiler

Haskell

blank-canvas

A Haskell API into HTML5 Canvas

Haskell

haskino

Our Arduino experiments

Haskell

hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel

Haskell

kansas-lava

Kansas Lava

Haskell

raspberry-pi

data-reify

Reification of data structures using observable sharing

Haskell

haskino-examples

Haskino Examples

Haskell

dotgen

A simple interface for building .dot graph files.

Haskell

hood

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

Haskell

natural-transformation

A natural transformation package

Haskell

kure

Combinators for Strategic Programming

Haskell

remote-monad

Haskell

remote-json

JSON RPC using the remote monad

Haskell

vr-ideas

Ideas about VR

HTML

story-board

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

Haskell

sized-types

Lightweight sized types and matrices in Haskell

Haskell

kansas-lava-cores

IP Cores written in Kansas Lava

Haskell

hermit-streamfusion

HERMIT plugin implementing Stream Fusion, including fusing concatMap

Haskell

diagrams-canvas

The HTML5 canvas backend for diagrams

Haskell

armatus

Android front end for HERMIT

Java

sunroof-examples

Haskell

javascript-bridge

Bridge to JavaScript on the browser

Haskell

blackboard

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

yampa-canvas

Blank Canvas backend for Yampa

Haskell

wakarusa

A deep embedding of Functional Reactive Programming.

Haskell

marked-pretty

Pretty-printing library, with scoping.

Haskell

hermit-web

Web service interface to HERMIT GHC Plugin

Haskell

aframe-server

Shared server-based space for A-Frame scenes.

tonganoxie

talks

kansas-comet

A javascript push mechanism and event listener support

Haskell

ecc-manifold

Forward Error Correctors

Haskell

remote-monad-examples

Models of the Remote Monad

Haskell

scotty-crud

Create, read, update and delete support.

Haskell

thrust-gen

A Synthesizer for the Thrust C++-based DSL.

Haskell

remote-binary

Haskell's Binary-based remote monad support

Haskell

protocols

Hardware Protocols in FRP

Haskell

accelerate-challenge-problems

Challenge problems (and solutions) for accelerate

Haskell

ldpc

LDPC case study for HERMIT project (2).

Haskell

mandelbrot-examples

Haskell

chem-eng

Joint project with Chem Eng

earthquake

The Elm Architecture, Revisited

Haskell

boolean-tf

Generalized booleans via type functions

Haskell

ecc-ldpc-accelerate

LDPC implementation(s) using the accelerate DSL.

Haskell

better-life

Creating a better life

Haskell

sunroof-th

Template Haskell support for Abstract Object like things.

Haskell

vr-lab

KU EECS VR Lab (Examples and Notes)

HTML

lambda-bridge

Architecture for communicating between software and hardware

Haskell

chione

Static webpage generation library using the KURE rewrite engine

Haskell

ku-accelerate-examples

Examples of native usage of the accelerate GPGPU API

Haskell

sunroof-active

Haskell

core-reify

Reification from the GHC core level

Haskell

hermit-examples

Larger examples of using HERMIT

Haskell

aframe-blueprint

Haskell EDSL for Aframe

Haskell

diagrams-tests

Some simple tests for diagrams

Haskell

ecc-ldpc

Implementations of the LDPC FEC.

MATLAB

hcar

Haskell Communities and Activities Report (HCAR).

TeX

aframe

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

Haskell

ldpc-blob

LDPC case study for HERMIT project

Haskell

flat-json

Flat file CRUD API into JSON records

Haskell

plotly-criterion

Draw criterion output using plotly.

Haskell

aeson-gadts

GADT support for TH-based JSON-ification

Haskell

html-kure

HTML rewrite engine, using KURE.

Haskell

accelerate-cmp

Layer between accelerate and users, for comparison debugging purposes

Haskell

sunroof-server

Haskell

cloud-haskell-examples

Examples of Cloud Haskell, and other idioms

Haskell

device-check

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

Haskell

ku-fpg/hermit-shell

ku-fpg

Reviews

Repository Details

More Repositories