register
log in
hub.darcs.net
::
vmchale
vmchale's repositories
accelerate-kullback-liebler
— Kullback-Liebler divergence via accelerate
accelerate-phash
— GPU-accelerate perceptual hashes in Haskell
alacritty-dhall
— My own alacritty conf
apple
— Apple array language
array2024
— ARRAY2024 slides
ats
— Various ATS-related packages written in Haskell
ats-storable
bot-daddy
— implementation of a twitter bot in madlang
(
http://polemic.vmchale.com/madlang
)
brainheck
— Brainf*ck interpreter for the kids
bz2
— libbz2 bindings for Haskell
cdeps
chs-deps
— c2hs dependency analysis
cli-setup
— Helper setup scripts for packaging command-line tools.
composition-prelude
— Some functions I use for higher-order function combination
continued-fraction
— Library for working with continued fractions in Haskell
cross-libraries
— A collection of libraries patched for cross compilation to ARM
ctags
dhall-kitty
dhall-lex
— Lexer for Dhall language
dirwalk
— Parallel directory traversal in ATS
djinn-cli
— Djinn command-line interface
doggo
— Compliment your dog from the command line
dynmake
— Makefile parser with shake backend
egyptian-fractions
elgamal
— Generalized El-Gamal cipher implemented in Idris
elgot-bench
— Benchmarks of Elgot algebras in ATS and Haskell
english-corpus
— Rust tool to index the English corpus
ethel-cain-theory
— Ethel Cain Theory
fastcat
hgis
— GIS in Haskell
hspec-dirstream
— Directory streaming for hspec integration tests
htoml-megaparsec
hypergeometric
— Commentary on Shaw's program, hypergeometric functions in J
insults-miso
— Miso frontend with insults madlang template
jacinda
lazy_matrices
— Matrix math in Idris
loeb
lz4
— lz4 library for Haskell
madlang
— Madlibs DSL for templating text
(
http://polemic.vmchale.com/madlang
)
madlang-insults
— Insult generator written in madlang
(
blog.vmchale.com/madlang
)
madlang-libraries
— Gather Madlang libraries in one relevant place
(
http://blog.vmchale.com/madlang
)
madlang-reflex
— Reflex Frontend for Madlang
(
blog.vmchale.com/madlang
)
madlang-releases
(
blog.vmchale.com/madlang
)
madlang-shakespeare
— A shakespearean insult generator written in madlang
(
http://polemic.vmchale.com/madlang
)
morphism-zoo
— benchmarks for some recursion schemes
nadia-lee-cohen-theory
— Nadia Lee Cohen theory
nvim
— my neovim config
paseto
— Haskell bindings to paseto C library
pasiphae
— Compiler for ATS-like language
pizarnik
— Compiler for an experimental stack-based, concatenative language
qhull
— Bindings to qhull library
recursion
safe-linear
— Safe manual memory management in Haskell
sak
— Swiss-army-knife file compressor/archiver
shake-bindist
shake-ccjs
shake-ext
shake-google-closure-compiler
— Shake rules for the google closure compiler
shake-literate
shake-minify-css
— Library to minify CSS with shake
sum
— ATS examples
tweet-hs
— Command-line Interface for Twitter
webp
— webp reading for JuicyPixels using libwebp
wfdb
— WFDB bindings for Haskell
(
https://archive.physionet.org/physiotools/wfdb.shtml#library
)
wordchoice
— A command-line tool to help you with your word choice
xmobar-vanessa
— Personal XMobar library setup
xmonad-spotify
— Spotify + XMonad via dbus
xmonad-vanessa
— XMonad configuration package
xmonad-volume
— Volume control for XMonad
zbar
— zbar library bindings for Haskell