|
cdk8s-cli
|
2.97.0-1 |
1 |
0.00
|
Define Kubernetes native apps and abstractions using object-oriented programming |
pdxleif
|
2023-09-21 19:07 (UTC) |
|
yesod-bin
|
1.4.16.1-1 |
0 |
0.00
|
The yesod helper executable. |
pdxleif
|
2015-12-23 09:21 (UTC) |
|
xmonad-extras-git
|
r154.b2772a5-1 |
2 |
0.00
|
Third party extensions for xmonad with wacky dependencies |
pdxleif
|
2020-08-22 06:35 (UTC) |
|
vim-purescript-git
|
17.92dd6bc-1 |
1 |
0.00
|
Vim syntax support for the Purescript language. |
pdxleif
|
2016-04-21 04:00 (UTC) |
|
vim-psc-ide-git
|
0.8.2.r29.g5fb4e32-1 |
0 |
0.00
|
A vim plugin that interfaces with purs ide |
pdxleif
|
2020-03-03 22:06 (UTC) |
|
vim-idris-git
|
110.45680a3-1 |
0 |
0.00
|
Vim syntax support for the dependently-typed Idris language. |
pdxleif
|
2015-09-11 23:12 (UTC) |
|
vim-ghcmod-git
|
v1.3.1.r19.815616e-1 |
1 |
0.00
|
ghc-mod powered editing in vim |
pdxleif
|
2016-03-13 02:53 (UTC) |
|
pymodoro-git
|
r101.0136d4c-1 |
3 |
0.00
|
Pomodoro for Xmobar or Dzen |
pdxleif
|
2016-01-20 03:56 (UTC) |
|
idris-sdl-git
|
28.c71dd53-1 |
1 |
0.00
|
SDL bindings package for Idris. |
pdxleif
|
2015-10-06 03:05 (UTC) |
|
idris-lightyear-git
|
122.04e8747-1 |
0 |
0.00
|
Parser combinators for Idris |
pdxleif
|
2015-12-22 21:35 (UTC) |
|
haskell-stm-conduit
|
4.0.1-1 |
0 |
0.00
|
Provides two simple conduit wrappers around STM channels - a source and a sink. |
pdxleif
|
2018-12-12 05:12 (UTC) |
|
haskell-gtk-traymanager
|
1.0.1-1 |
0 |
0.00
|
A wrapper around the eggtraymanager library for Linux system trays |
pdxleif
|
2018-04-15 01:50 (UTC) |
|
haskell-cereal-conduit
|
0.8.0-1 |
0 |
0.00
|
Turn Data.Serialize Gets and Puts into Sources, Sinks, and Conduits. |
pdxleif
|
2018-12-12 05:10 (UTC) |
|
haskell-binary-tree
|
0.1.0.0-1 |
0 |
0.00
|
Binary trees and associated instances |
pdxleif
|
2018-12-12 02:17 (UTC) |
|
git-sh-git
|
20151030.467c388-1 |
1 |
0.00
|
A customized bash shell suitable for git work. |
pdxleif
|
2015-10-30 16:16 (UTC) |