Popular repositories Loading

1. com.higherorderco.hvm3 com.higherorderco.hvm3 Public

   Forked from HigherOrderCO/HVM3

   HVM3

   Haskell

2. com.higherorderco.bend com.higherorderco.bend Public

   Forked from HigherOrderCO/Bend

   A massively parallel, high-level programming language

   Rust

3. com.higherorderco.kind com.higherorderco.kind Public

   Forked from HigherOrderCO/Kind

   A modern proof language

   Haskell

4. com.higherorderco.kindbook com.higherorderco.kindbook Public

   Forked from HigherOrderCO/kindbook

   C

5. rs.las.waymonad rs.las.waymonad Public

   Forked from L-as/waymonad

   A wayland compositor based on ideas from and inspired by xmonad

   Haskell

6. org.xmonad.xmonad org.xmonad.xmonad Public

   Forked from xmonad/xmonad

   The core of xmonad, a small but functional ICCCM-compliant tiling window manager

   Haskell