-
operating-system Public
Reflect the host and target operating systems at type level
-
-
-
recategorize Public
Re-implementing category theory
-
spaceline Public
Forked from TheBB/spacelinePowerline theme from Spacemacs
Emacs Lisp GNU General Public License v3.0 UpdatedMar 2, 2017 -
es-shell Public
Forked from wryun/es-shelles: a shell with higher-order functions
-
nbody-rs Public
Pedagogical Rust implementation of the symplectic integrator from The Computer Language Benchmark Game
Rust Apache License 2.0 UpdatedJan 19, 2017 -
algebra Public
Forked from ekmett/algebraconstructive abstract algebra
Haskell Other UpdatedJan 12, 2017 -
powerline Public
Forked from milkypostman/powerlineemacs powerline
Emacs Lisp Other UpdatedDec 10, 2016 -
Nix, the purely functional package manager
C++ GNU Lesser General Public License v2.1 UpdatedNov 3, 2016 -
arpack Public
Solve sparse matrix eigenvalue problems
-
libarchive Public
Haskell interface to libarchive
-
numeric-differentiation Public
Algorithms for numeric differentiation with error estimates
-
benchmarksgame-ats Public
Toy programs from the Computer Language Benchmarks Game implemented in ATS2
-
hydra Public
Forked from NixOS/hydraHydra, the Nix-based continuous build system
Perl GNU General Public License v3.0 UpdatedJan 8, 2016 -
idris-benchmarksgame-nbody Public
Idris implementation of the n-body benchmark
Idris UpdatedNov 1, 2015 -
-
autonix-deps-kf5 Public
Generate dependencies for KDE 5 Nix expressions
-
autonix-deps Public
Library for Nix expression dependency generation
-
loops Public
Fast imperative-style loops in Haskell
-
nbody Public
nbody examples from the Computer Language Benchmarks Game
-
permutation Public
Forked from spacekitteh/permutationgit import of patrick perry permutations lib from darcs
Haskell Other UpdatedJan 20, 2015 -
libarchive-conduit Public
Read many archive formats in Haskell with libarchive and conduit
-
numerical Public
Forked from wellposed/numericalNumerical is the core library for Numerical Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 22, 2014 -
-
cached-traversable Public
Transparent, persistent caching of lazy, traversable structures
-
-
{{ message }}