Vanessa McHale

tin-summer. Find build artifacts that are taking up disk space

polyglot. Tool to count lines of source code.

project-init. Project templates in rust

jacinda. Functional, expression-oriented data processing language

command-line-tweeter. Tweets in from a pipe

apple. Apple array system

dhall-vim. Syntax highlighting for Dhall

cpkg. A build tool/package manager for C, configured with Dhall

recursion_schemes. Recursion schemes for Idris

kempe. Kempe is a compiled stack-based language

github-actions-dhall. Dhall helpers for github actions

madlang. Madlang is a language for generative literature

atspkg. Build tool for ATS.

permutations. Provides a type-safe way of working with permutations in Idris

dickinson. Text generation language

tomlcheck. A syntax checker for TOML files

hs-ats. Home of the fast-arithmetic library for number theory in ATS and Haskell.

pybqn. BQN↔NumPy bridge

phash. Perceptual hashing command-line tool

rure. Haskell bindings to Rust's regex library

coronavirus. covid-19 data in J

ats-vim. Vim plugin for ATS

EMD. Earth mover's distance on Nvidia GPUS

edit-distance. Levenshtein edit distance, packaged for ATS

recursion-schemata. Generate fake recursion schemes

libarchive. Haskell bindings to libarchive

pizarnik. Stack-based, concatenative language with suggestive pattern-matching

j-hs. Call J from Haskell

shake-dhall. Facilities for using Shake + dhall

cpp-build. Use the C pre-processor on Rust projects

ats-format. ATS source code formatter

morphism-zoo. Some examples of recursion schemes, with benchmarks

perceptual-hash. Perceptual Hash in J

ipkg-vim. Syntax highlighting for Idris package files

ats-stats. Demonstration of GPU-accelerated statistical functions in ATS

recursion. Recursion schemes in ATS

ats-benchmarks. Benchmarks of ATS compared to Rust and Haskell

spherical. Library for spherical geometry in Haskell

kullback-liebler. Kullback-Liebler divergence in Futhark

hlint-lib. Library containing some standard HLint helpers

ats-concurrency. Concurrency primitives for ATS

language-xats. Language library for manipulating ATS3 in Haskell.

monads. Monads for viewtypes in ATS

pi-templates. Templates for pi

img-fut. Image manipulation in Futhark

archive-backpack. Demonstration of backpack to enable substitution of tar/libarchive functionality

cabal-project-vim. Syntax highlighting for `cabal.project` files.

hgis. Haskell as a GIS

tokei-vim. Vim plugin for of tokei

haskell-ats. Template project for mixing Haskell and ATS

ghci-syntax. Syntax highlighting for ghci configuration files

linkedin-madlibs. Source for linkedin article generator

crc32. CRC32 implementation in ATS

avif. libavif bindings for Haskell

elliptic-fourier. Elliptic Fourier series in J

dir-traverse. Recursive directory traversals in Haskell

egison-vim. Vim syntax highlighting for Egison

markov-bot. Make a twitter bot from any corpus of text you desire

xmonad-vanessa. Xmonad configuration