NovaUNL / SupernovaLinks
An university community portal
☆9Updated 3 years ago
Alternatives and similar repositories for Supernova
Users that are interested in Supernova are comparing it to the libraries listed below
Sorting:
- Allows for FCT's Checkpoint VPN to be used on Linux☆24Updated 2 years ago
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆26Updated 3 years ago
- Example to illustrate how to set up incremental Haskell Nix builds☆29Updated 2 years ago
- An Android app to browse GitHub repositories☆13Updated 3 months ago
- GNOME JavaScript bindings for PureScript☆19Updated last year
- Haskell bindings to wlroots (and libwayland)☆67Updated last year
- Website where portuguese political controversies can be seen on a calendar to allow seeing it in a bigger picture.☆15Updated 2 years ago
- Typed, schema-based, composable Redis library for Haskell☆11Updated last year
- PureScript core tools in Nix☆54Updated 3 weeks ago
- XMonad DBus monitor application and library to easily connect XMonad with Polybar☆22Updated last year
- Haskell wrapper for iced☆35Updated last month
- GHC plugin to desugar ! into do-notation☆37Updated 4 months ago
- Example showing how to build a statically-linked Haskell executable with Nix and attach it to a GitHub Release☆23Updated 9 months ago
- Convert values from one type into another.☆76Updated last month
- Search Hoogle from Rofi☆27Updated last year
- A Typeclass for user-facing output☆57Updated last month
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Manage your PureScript projects with Nix!☆76Updated 2 months ago
- the ever-shifting depths of the Underworld are not as once they were...☆15Updated last week
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆57Updated 3 weeks ago
- haskell project using nix☆17Updated 4 years ago
- Generate texlive nix expressions for documents☆98Updated this week
- A fully-customisable web-based gamepad, designed to be used from smartphones.☆41Updated 4 months ago
- A community-driven collection of documentation for Haskell error messages and warnings☆105Updated 3 months ago
- Pastebin service in haskell☆31Updated 7 months ago
- GHC plugin for open telemetry☆24Updated last month
- Matrix.org haskell client library☆25Updated 5 months ago
- NullPointerExceptions in Haskell☆58Updated 8 years ago
- ☆32Updated 3 years ago
- The PureScript Package Manager in Nix☆57Updated 6 months ago