Skip to content

@ku-fpg Functional Programming at the University of Kansas

Change the repository type filter

All

    Repositories list

    99 repositories

    • natural-transformation

      Public
      A natural transformation package
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•16•1•0•Updated Oct 27, 2024Oct 27, 2024

    • data-reify

      Public
      Reification of data structures using observable sharing
      Haskell
      •
      Other
      •7•28•4•0•Updated Oct 27, 2024Oct 27, 2024

    • blank-canvas

      Public
      A Haskell API into HTML5 Canvas
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •14•72•24•2•Updated Oct 26, 2024Oct 26, 2024

    • javascript-bridge

      Public
      Bridge to JavaScript on the browser
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•5•1•0•Updated Oct 26, 2024Oct 26, 2024

    • kansas-comet

      Public
      A javascript push mechanism and event listener support
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•2•2•0•Updated Oct 26, 2024Oct 26, 2024

    • yampa-canvas

      Public
      Blank Canvas backend for Yampa
      Haskell
      •
      BSD 2-Clause "Simplified" License
      •0•4•0•0•Updated Apr 20, 2024Apr 20, 2024

    • ku-fpg.github.io

      Public
      Webpages for the KU FPG
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •3•0•1•5•Updated Apr 12, 2023Apr 12, 2023

    • hermit

      Public
      Haskell Equational Reasoning Model-to-Implementation Tunnel
      Haskell
      •
      BSD 2-Clause "Simplified" License
      •8•49•86•1•Updated Jan 12, 2023Jan 12, 2023

    • aframe-ku-components

      Public
      Components for aframe for the University of Kansas Sunflower Reality Lab
      HTML
      •0•0•0•7•Updated Dec 6, 2022Dec 6, 2022

    • haskino-examples

      Public
      Haskino Examples
      Haskell
      •1•22•0•0•Updated Apr 22, 2022Apr 22, 2022

    • dotgen

      Public
      A simple interface for building .dot graph files.
      Haskell
      •
      Other
      •5•19•1•0•Updated Apr 16, 2021Apr 16, 2021

    • kure

      Public
      Combinators for Strategic Programming
      Haskell
      •
      Other
      •4•12•0•0•Updated Apr 4, 2021Apr 4, 2021

    • aframe-blueprint

      Public
      Haskell EDSL for Aframe
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•1•0•0•Updated Nov 8, 2020Nov 8, 2020

    • hermit-shell

      Public
      HERMIT with GHCi shell
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•18•0•Updated Jan 10, 2020Jan 10, 2020

    • story-board

      Public
      A Haskell replacement for Keynote, Powerpoint or beamer, in the spirit of Racket's slideshow.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •3•7•11•1•Updated Jan 10, 2020Jan 10, 2020

    • earthquake

      Public
      The Elm Architecture, Revisited
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•1•0•Updated Jan 8, 2020Jan 8, 2020

    • kansas-lava

      Public
      Kansas Lava
      Haskell
      •
      Other
      •18•47•11•5•Updated Oct 6, 2019Oct 6, 2019

    • sized-types

      Public
      Lightweight sized types and matrices in Haskell
      Haskell
      •
      Other
      •3•7•0•2•Updated Oct 6, 2019Oct 6, 2019

    • netlist

      Public
      Netlist and Verilog Haskell Package
      Haskell
      •11•12•0•1•Updated Oct 6, 2019Oct 6, 2019

    • remote-monad

      Public
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•10•6•0•Updated Sep 30, 2019Sep 30, 2019

    • chione

      Public
      Static webpage generation library using the KURE rewrite engine
      Haskell
      •
      Other
      •1•1•0•1•Updated Nov 30, 2018Nov 30, 2018

    • kansas-lava-cores

      Public
      IP Cores written in Kansas Lava
      Haskell
      •
      Other
      •2•6•1•0•Updated Sep 13, 2018Sep 13, 2018

    • tonganoxie

      Public
      Tools for 3D models
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•1•0•Updated Jun 23, 2018Jun 23, 2018

    • hood

      Public
      Hood debugger, based on the idea of observing functions and structures as they are evaluated.
      Haskell
      •
      Other
      •6•18•2•0•Updated Jun 3, 2018Jun 3, 2018

    • haskino

      Public
      Our Arduino experiments
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •4•72•1•0•Updated Apr 11, 2018Apr 11, 2018

    • blank-canvas-mark

      Public
      benchmarks for blank canvas
      HTML
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Mar 27, 2018Mar 27, 2018

    • remote-json

      Public
      JSON RPC using the remote monad
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •4•9•1•0•Updated Mar 18, 2018Mar 18, 2018

    • eecs448-lab02

      Public
      C++
      •82•0•0•0•Updated Jan 18, 2018Jan 18, 2018

    • git-command-line

      Public
      Shell
      •2•0•0•0•Updated Jan 17, 2018Jan 17, 2018

    • marked-pretty

      Public
      Pretty-printing library, with scoping.
      Haskell
      •
      Other
      •2•3•0•0•Updated Nov 22, 2017Nov 22, 2017