ku-fpg/polymatheia
Public repository.
Developer Profile
ku-fpg
Discovered public repositories for ku-fpg in the GitHub catalog.
ku-fpg/cuda-benchmarks
Benchmarking CUDA
ku-fpg/bibtex
BibTeX files for FPG
ku-fpg/core-reify
Reification from the GHC core level
ku-fpg/fed-exp-report
Experience Report for FED work
ku-fpg/sigplan.github.io
Group webpages using jekyll
ku-fpg/accelerate-cmp
Layer between accelerate and users, for comparison debugging purposes
ku-fpg/accelerate-cuda
Accelerate backend for NVIDIA GPUs
ku-fpg/accelerate-challenge-problems
Challenge problems (and solutions) for accelerate
ku-fpg/ecc-ldpc-accelerate
LDPC implementation(s) using the accelerate DSL.
ku-fpg/ecc-ldpc
Implementations of the LDPC FEC.
ku-fpg/ecc-manifold
Forward Error Correctors
ku-fpg/hermit-streamfusion
HERMIT plugin implementing Stream Fusion, including fusing concatMap
ku-fpg/data-reify
Reification of data structures using observable sharing
ku-fpg/ldpc
LDPC case study for HERMIT project (2).
ku-fpg/ldpc-blob
LDPC case study for HERMIT project
ku-fpg/paper-sunroof-tfp13
Public repository.
ku-fpg/hermit-examples
Larger examples of using HERMIT
ku-fpg/sunroof-th
Template Haskell support for Abstract Object like things.
ku-fpg/presentation-gen
Generates reveal.js presentations from Markdown
ku-fpg/hermit-web
Web service interface to HERMIT GHC Plugin
ku-fpg/a-life
Artificial-life simulator
ku-fpg/sunroof-examples
Public repository.
ku-fpg/sunroof-active
Public repository.
ku-fpg/sunroof-server
Public repository.
ku-fpg/data-reify-cse
Common Sub-Expression Elimination for graphs generated by the Data.Reify package.
ku-fpg/active
Time-varying values with start and end times.
ku-fpg/armatus-old
Android front end for HERMIT
ku-fpg/kure
Combinators for Strategic Programming
ku-fpg/chione
Static webpage generation library using the KURE rewrite engine
ku-fpg/html-kure
HTML rewrite engine, using KURE.
ku-fpg/fpg-web
Group webpages
ku-fpg/blank-canvas
A Haskell API into HTML5 Canvas
ku-fpg/device-check
A Device-Under-Test quickcheck, based on randomly generated invoke code, and observable properties.
ku-fpg/hcar
Haskell Communities and Activities Report (HCAR).
ku-fpg/boolean-tf
Generalized booleans via type functions
ku-fpg/sunroof-compiler
Monadic Javascript Compiler
ku-fpg/kansas-comet
A javascript push mechanism and event listener support
ku-fpg/armatus
Android front end for HERMIT
ku-fpg/hermit
Haskell Equational Reasoning Model-to-Implementation Tunnel
ku-fpg/commuting-functors-paper
paper about commuting functors
ku-fpg/diagrams-canvas
The HTML5 canvas backend for diagrams
ku-fpg/diagrams-tests
Some simple tests for diagrams
ku-fpg/lambda-bridge
Architecture for communicating between software and hardware
ku-fpg/sized-types
Lightweight sized types and matrices in Haskell
ku-fpg/kansas-lava-cores
IP Cores written in Kansas Lava
ku-fpg/netlist
Netlist and Verilog Haskell Package
ku-fpg/kansas-lava
Kansas Lava
ku-fpg/marked-pretty
Pretty-printing library, with scoping.
ku-fpg/dotgen
A simple interface for building .dot graph files.