12 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
fricas 1.3.0-1 7 0.02 An advanced computer algebra system serkho
gvim-hg 20151021-1 3 0.00 Vi Improved, a highly configurable, improved version of the vi text editor with GTK2 GUI, no interpreters embedded serkho
haskell-fast-tags 0.0.5-1 1 0.00 Fast incremental vi tags. serkho
haskell-htrace 0.1-1 1 0.00 Hierarchical tracing for debugging of lazy evaluation serkho
haskell-pointfree 1.0.4.6-1 3 1.09 Tool for refactoring expressions into pointfree form serkho
haskell-pointful 1.0.2-1 1 0.00 Pointful refactoring tool serkho
hothasktags 0.3.1-1 2 0.15 Generates ctags for Haskell, incorporating import lists and qualified imports serkho
idutils-git 20130707-1 1 0.00 ID database utilities to navigate tokens in source code. serkho
open-axiom 1.4.2-5 7 0.00 open source platform for symbolic, algebraic, and numerical computations serkho
quantlib-git 20130919-1 2 0.00 A free/open-source library for quantitative finance. serkho
reduce-algebra-svn 20130708-1 1 0.00 A portable general-purpose computer algebra system serkho
vim-repl-git 20131113-1 1 0.00 Minimalistic REPL plugin for Vim serkho

12 packages found. Page 1 of 1.