Search:
Search Results
dev-lang/prolog
A Prolog interpreter written in Haskell
dev-util/ghcup-bin
The GHCup Haskell installer
dev-util/bnfc
A compiler front-end generator
dev-util/change-monger
Parse VCS changelogs into ChangeLogs
dev-util/bustle
Draw sequence diagrams of D-Bus traffic
dev-util/darcs-monitor
Darcs repository monitor (sends email)
dev-util/dhall-bash
Compile Dhall to Bash
dev-util/dhall-csv
Convert bidirectionally between Dhall and CSV files
dev-util/dhall-json
Convert between Dhall and JSON or YAML
dev-util/dhall-docs
Generate HTML docs from a dhall package
dev-util/erebos-tester
Test framework with virtual network using Linux namespaces
dev-util/dhall-nix
Dhall to Nix compiler
dev-util/dhall-yaml
Convert between Dhall and YAML
dev-util/dhall-toml
Convert between Dhall and TOML
dev-util/hasmin
CSS Minifier
dev-util/hindent
Extensible Haskell pretty printer
dev-util/nixfmt
An opinionated formatter for Nix
dev-util/hoogle
Haskell API Search
dev-util/minici
Minimalist CI framework to run checks on local machine
dev-util/hdocs
Haskell docs tool
dev-util/shake
Build system library, like Make, but more accurate dependencies
dev-util/threadscope
A graphical tool for profiling parallel Haskell programs
games-action/monadius
2-D arcade scroller
games-arcade/pixelpusher
A drone-based team combat game for up to 32 players
games-arcade/shu-thing
A vector shooter game
games-board/goatee-gtk
A monadic take on a 2,500-year-old board game - GTK+ UI
games-puzzle/raincat
A puzzle game written in Haskell with a cat in lead role
games-puzzle/bloxorz
OpenGL Logic Game
games-puzzle/intricacy
A game of competitive puzzle-design
games-roguelike/scroll
scroll(6), a roguelike game
media-gfx/gifcurry
GIF creation utility
media-gfx/implicitcad
A math-inspired programmatic 2D & 3D CAD system
media-sound/hpodder
Podcast Aggregator (downloader)
net-irc/lambdabot
Lambdabot is a development tool and advanced IRC bot
net-irc/glirc
Console IRC client
sci-biology/bamstats
A program to extract various information from BAM alignment files
sci-biology/flowsim
Simulate 454 pyrosequencing
sci-mathematics/agda
A dependently typed functional programming language and proof assistant
sci-mathematics/agda-stdlib
Agda standard library
sci-mathematics/spline3
parallel implementation of the Sorokina/Zeilfelder spline scheme
www-apps/gitit
Wiki using happstack, git or darcs, and pandoc
www-apps/imagepaste
Command-line image paste utility
www-apps/darcsweb
A web interface for darcs
x11-misc/arbtt
Automatic Rule-Based Time Tracker
x11-misc/deadd-notification-center
A notification daemon and center
x11-misc/taffybar
A desktop bar similar to xmobar, but with more GUI
x11-misc/gtk-sni-tray
A standalone StatusNotifierItem/AppIndicator tray
x11-misc/xmonad-extras
Third party extensions for xmonad with wacky dependencies
x11-misc/xmonad-utils
A small collection of X utilities
x11-misc/xmonad-screenshot
Workspaces screenshooting utility for XMonad