Pinned Repositories
apple
Apple array system
burningship-fut
Burning ship fractal in Futhark
command-line-tweeter
Tweets in from a pipe
dickinson
Text generation language
jacinda
Functional, expression-oriented data processing language
perceptual-hash
Perceptual Hash in J
permutations
Provides a type-safe way of working with permutations in Idris
polyglot
Tool to count lines of source code.
project-init
Project templates in rust
tin-summer
Find build artifacts that are taking up disk space
vmchale's Repositories
vmchale/tin-summer
Find build artifacts that are taking up disk space
vmchale/polyglot
Tool to count lines of source code.
vmchale/project-init
Project templates in rust
vmchale/jacinda
Functional, expression-oriented data processing language
vmchale/cpkg
A build tool/package manager for C, configured with Dhall
vmchale/kempe
Kempe is a compiled stack-based language
vmchale/github-actions-dhall
Dhall helpers for github actions
vmchale/apple
Apple array system
vmchale/atspkg
Build tool for ATS.
vmchale/dickinson
Text generation language
vmchale/phash
Perceptual hashing command-line tool
vmchale/rure
Haskell bindings to Rust's regex library
vmchale/pybqn
BQN↔NumPy bridge
vmchale/libarchive
Haskell bindings to libarchive
vmchale/j-hs
Call J from Haskell
vmchale/cpp-build
Use the C pre-processor on Rust projects
vmchale/shake-dhall
Facilities for using Shake + dhall
vmchale/recursion
Recursion schemes in ATS
vmchale/archive-backpack
Demonstration of backpack to enable substitution of tar/libarchive functionality
vmchale/avif
libavif bindings for Haskell
vmchale/either
Port of Data.Either for ATS
vmchale/lzlib
lzlib bindings for Haskell
vmchale/burningship-fut
Burning ship fractal in Futhark
vmchale/shake-futhark
Dependency tracking for Futhark
vmchale/cabal
Official upstream development repository for Cabal and cabal-install
vmchale/clash-wavedrom
vmchale/extra
Extra Haskell functions
vmchale/jacinda-vim
Vim plugin for Jacinda
vmchale/nproc-ats
ATS library for fetching the number of cores/CPUs
vmchale/zlib
Compression and decompression in the gzip and zlib formats