Discover @vmchale Open Source projects

Vanessa McHale (@vmchale)

vmchale

Stars
1,935
Global Rank 15,932 (Top 0.6 %)
Followers 595
Following 14
Registered over 9 years ago
Most used languages

Haskell
39.3 %

ATS 15.2 %

Vim Script
12.5 %

Rust
6.3 %

Idris 4.5 %

J 4.5 %

Dhall 3.6 %

C
2.7 %

Futhark 2.7 %

Python
2.7 %

Elm
1.8 %

Others 4.5 %

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

command-line-tweeter

Tweets in from a pipe

dhall-vim

Syntax highlighting for Dhall

jacinda

Functional, expression-oriented data processing language

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.

apple

Apple array system

permutations

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

dickinson

Text generation language

tomlcheck

A syntax checker for TOML files

vim-twitter

Tweet from inside vim!

libmeme

A library for inserting clap emoji into strings

hs-ats

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

tw-rs

Command-Line Interface Tweeter, for rust

rure

Haskell bindings to Rust's regex library

coronavirus

covid-19 data in J

EMD

Earth mover's distance on Nvidia GPUS

doggo-command-line

Compliment your dog

just-vim

Syntax highlighting for Justfiles

phash

Perceptual hashing command-line tool

linear

Linear lenses in Blodwen

ion-vim

Syntax highlighting for the ion shell

libarchive

Haskell bindings to libarchive

recursion-schemata

Generate fake recursion schemes

pybqn

BQN↔NumPy bridge

edit-distance

Levenshtein edit distance, packaged for ATS

ats-format

ATS source code formatter

j-hs

Call J from Haskell

shake-dhall

Facilities for using Shake + dhall

cpp-build

Use the C pre-processor on Rust projects

ghc-cross

aarch64 and armv7 cross-compilers

morphism-zoo

Some examples of recursion schemes, with benchmarks

ipkg-vim

Syntax highlighting for Idris package files

ats-stats

Demonstration of GPU-accelerated statistical functions in ATS

kullback-liebler

Kullback-Liebler divergence in Futhark

language-xats

Language library for manipulating ATS3 in Haskell.

recursion

Recursion schemes in ATS

spherical

Library for spherical geometry in Haskell

ats-benchmarks

Benchmarks of ATS compared to Rust and Haskell

ats-concurrency

Concurrency primitives for ATS

hlint-lib

Library containing some standard HLint helpers

pi-templates

Templates for pi

perceptual-hash

Perceptual Hash in J

monads

Monads for viewtypes in ATS

hgis

Haskell as a GIS

archive-backpack

Demonstration of backpack to enable substitution of tar/libarchive functionality

pointfree

Wrapper of pointfree command-line tool for Haskell

hask-replace

Command-line tool to rename modules in Haskell projects

cabal-project-vim

Syntax highlighting for `cabal.project` files.

miso

Miso project template for GHCJS 8.6

tokei-vim

Vim plugin for of tokei

linkedin-madlibs

Source for linkedin article generator

brainheck

Brainh*ck intrepreter in haskell.

haskell-ats

Template project for mixing Haskell and ATS

ghci-syntax

Syntax highlighting for ghci configuration files

egison-vim

Vim syntax highlighting for Egison

avif

libavif bindings for Haskell

img-fut

Image manipulation in Futhark

QR-writer

Haskell library for writing QR codes to file

crc32

CRC32 implementation in ATS

hackage-fetch

Fetch every single package on Hackage, using Python + shell madness

markov-bot

Make a twitter bot from any corpus of text you desire

viminit

Python script to initialize a vim project

tibetan-utils

Utils for tibetan numerals in Haskell

elliptic-fourier

Elliptic Fourier series in J

xmonad-vanessa

Xmonad configuration

recursion-schemes-benchmarks

Benchmarks of Fibonacci functions built with recursion schemes vs. pattern matching.

composition

Composition extras for Idris

ats-codecount

Code counter experiment in ATS

sql-qq

Syntax highlighting for quasi-quotes within Haskell.

madlang-miso

Frontend project template with madlang

illiterate

Preprocessor for literate programming

hot-takes

Programming opinion generator

either

Port of Data.Either for ATS

q-bench

benchmarks of q(-sql)

oeis

OEIS functions in Haskell

cli-setup

Helper scripts to install manpages alongside a command-line tool.

dir-traverse

Recursive directory traversals in Haskell

phash-fut

Perceptual hash in Futhark

elm-composition

Port of Haskell's composition library to Elm

pathological-bytestrings

Facilities for testing with ByteStrings

lzlib

lzlib bindings for Haskell

debug-dump

Like Debug.Trace, but allows writing to files

ats-wc

Demonstration of packaing for ATS + faster/safer version of coreutils

basic-recursion

Basic recursion schemes in Blodwen

comonad

Comonads for Idris

NonEmpty

NonEmpty type for Dhall

haskal

How to write Haskal good

librarian

Tools to manage a home library

tibetan-typing

An Elm app that teaches typing for Tibetan and Dzongkha.

ats-storable

ATS storable instance

ppp

Permutations in PureScript

specats

Bare-bones unit testing library for ATS

safe-bytecount

Safe bytecount demo in ATS