Functional Programming at the University of Kansas

Kansas

Pinned Repositories

blank-canvas
A Haskell API into HTML5 Canvas
Language:Haskell72 24 6514
data-reify
Reification of data structures using observable sharing
Language:Haskell28 20 87
dotgen
A simple interface for building .dot graph files.
Language:Haskell19 23 45
haskino
Our Arduino experiments
Language:Haskell72 25 24
haskino-examples
Haskino Examples
Language:Haskell22 20 02
hermit
Haskell Equational Reasoning Model-to-Implementation Tunnel
Language:Haskell49 23 1718
hood
Hood debugger, based on the idea of observing functions and structures as they are evaluated.
Language:Haskell18 22 56
kansas-lava
Kansas Lava
Language:Haskell47 32 1318
raspberry-pi
28 21 03
sunroof-compiler
Monadic Javascript Compiler
Language:Haskell73 30 396

Functional Programming at the University of Kansas's Repositories

ku-fpg/blank-canvas
A Haskell API into HTML5 Canvas
Language:Haskell72 24 6514
ku-fpg/haskino
Our Arduino experiments
Language:Haskell72 25 24
ku-fpg/hermit
Haskell Equational Reasoning Model-to-Implementation Tunnel
Language:Haskell49 23 1718
ku-fpg/kansas-lava
Kansas Lava
Language:Haskell47 32 1318
ku-fpg/data-reify
Reification of data structures using observable sharing
Language:Haskell28 20 87
ku-fpg/haskino-examples
Haskino Examples
Language:Haskell22 20 02
ku-fpg/dotgen
A simple interface for building .dot graph files.
Language:Haskell19 23 45
ku-fpg/hood
Hood debugger, based on the idea of observing functions and structures as they are evaluated.
Language:Haskell18 22 56
ku-fpg/natural-transformation
A natural transformation package
Language:Haskell16 21 91
ku-fpg/kure
Combinators for Strategic Programming
Language:Haskell12 25 34
ku-fpg/netlist
Netlist and Verilog Haskell Package
Language:Haskell12 24 04
ku-fpg/remote-monad
Language:Haskell10 21 141
ku-fpg/remote-json
JSON RPC using the remote monad
Language:Haskell9 20 154
ku-fpg/sized-types
Lightweight sized types and matrices in Haskell
Language:Haskell7 26 23
ku-fpg/story-board
A Haskell replacement for Keynote, Powerpoint or beamer, in the spirit of Racket's slideshow.
Language:Haskell7 8 133
ku-fpg/kansas-lava-cores
IP Cores written in Kansas Lava
Language:Haskell6 24 12
ku-fpg/javascript-bridge
Bridge to JavaScript on the browser
Language:Haskell5 21 21
ku-fpg/yampa-canvas
Blank Canvas backend for Yampa
Language:Haskell4 21 0
ku-fpg/marked-pretty
Pretty-printing library, with scoping.
Language:Haskell3 23 02
ku-fpg/hermit-shell
HERMIT with GHCi shell
Language:Haskell2 20 39
ku-fpg/kansas-comet
A javascript push mechanism and event listener support
Language:Haskell2 20 42
ku-fpg/tonganoxie
Tools for 3D models
Language:Haskell2 19 1
ku-fpg/aframe-blueprint
Haskell EDSL for Aframe
Language:Haskell1 4 01
ku-fpg/chione
Static webpage generation library using the KURE rewrite engine
Language:Haskell1 21 01
ku-fpg/earthquake
The Elm Architecture, Revisited
Language:Haskell1 5 1
ku-fpg/aframe-ku-components
Components for aframe for the University of Kansas Sunflower Reality Lab
Language:HTML3 0
ku-fpg/blank-canvas-mark
benchmarks for blank canvas
Language:HTML20 01
ku-fpg/eecs448-lab02
Language:C++2 052
ku-fpg/git-command-line
Language:Shell2 0
ku-fpg/ku-fpg.github.io
Webpages for the KU FPG
Language:JavaScript18 23