Projects in Awesome Lists by vmchale
A curated list of projects in awesome lists by vmchale .
https://github.com/vmchale/tin-summer
Find build artifacts that are taking up disk space
clean cleaner command-line-tool disk-space rust
Last synced: 03 Apr 2025
https://github.com/vmchale/project-init
Project templates in rust
command-line-tool cookiecutter elm elm-lang haskell idris miso mustache rust template-project
Last synced: 05 Apr 2025
https://github.com/vmchale/jacinda
Functional, expression-oriented data processing language
Last synced: 07 Apr 2025
https://github.com/vmchale/command-line-tweeter
Tweets in from a pipe
haskell tweets twitter twitter-cli twitter-client
Last synced: 26 Apr 2025
https://github.com/vmchale/cpkg
A build tool/package manager for C, configured with Dhall
Last synced: 25 Feb 2025
https://github.com/vmchale/dhall-vim
Syntax highlighting for Dhall
dhall dhall-vim syntax-highlighting vim vim-plugin vimscript
Last synced: 07 Oct 2025
https://github.com/vmchale/recursion_schemes
Recursion schemes for Idris
control-flow idris idris-ecosystem recursion recursion-schemes
Last synced: 07 Oct 2025
https://github.com/vmchale/kempe
Kempe is a compiled stack-based language
aarch64 haskell languages stack-based stack-based-language x86-64
Last synced: 31 Jul 2025
https://github.com/vmchale/github-actions-dhall
Dhall helpers for github actions
Last synced: 01 Apr 2025
https://github.com/vmchale/madlang
Madlang is a language for generative literature
generative-art generative-literature haskell language
Last synced: 26 Apr 2025
https://github.com/vmchale/permutations
Provides a type-safe way of working with permutations in Idris
Last synced: 25 Feb 2025
https://github.com/vmchale/dickinson
Text generation language
dickinson generative-literature haskell language literature repl text-generation
Last synced: 26 Apr 2025
https://github.com/vmchale/tomlcheck
A syntax checker for TOML files
haskell syntax-checker toml vim
Last synced: 26 Apr 2025
https://github.com/vmchale/vim-twitter
Tweet from inside vim!
twitter twitter-cli twitter-client vim vim-plugin vimscript
Last synced: 18 Aug 2025
https://github.com/vmchale/libmeme
A library for inserting clap emoji into strings
ats haskell linked-lists meme-generator memes
Last synced: 26 Apr 2025
https://github.com/vmchale/hs-ats
Home of the fast-arithmetic library for number theory in ATS and Haskell.
Last synced: 25 Feb 2025
https://github.com/vmchale/phash
Perceptual hashing command-line tool
command-line-tool deduplication duplication-detection duplication-finder haskell perceptual-hash phash
Last synced: 26 Apr 2025
https://github.com/vmchale/coronavirus
covid-19 data in J
coronavirus coronavirus-tracking covid covid-19 illinois j sars-cov-2
Last synced: 25 Feb 2025
https://github.com/vmchale/linear
Linear lenses in Blodwen
blodwen idris lens lenses linear-types profunctor profunctor-optics profunctors
Last synced: 06 Aug 2025
https://github.com/vmchale/edit-distance
Levenshtein edit distance, packaged for ATS
Last synced: 17 Oct 2025
https://github.com/vmchale/recursion-schemata
Generate fake recursion schemes
Last synced: 26 Apr 2025
https://github.com/vmchale/cpp-build
Use the C pre-processor on Rust projects
Last synced: 28 Jul 2025
https://github.com/vmchale/morphism-zoo
Some examples of recursion schemes, with benchmarks
Last synced: 26 Apr 2025
https://github.com/vmchale/ipkg-vim
Syntax highlighting for Idris package files
idris syntax syntax-highlighting vim
Last synced: 25 Oct 2025
https://github.com/vmchale/perceptual-hash
Perceptual Hash in J
j perceptual-hash perceptual-hashing phash
Last synced: 25 Feb 2025
https://github.com/vmchale/ats-stats
Demonstration of GPU-accelerated statistical functions in ATS
ats futhark gpu-acceleration gpu-computing statistics
Last synced: 13 Oct 2025
https://github.com/vmchale/spherical
Library for spherical geometry in Haskell
Last synced: 04 Oct 2025
https://github.com/vmchale/hlint-lib
Library containing some standard HLint helpers
dhall dhall-lang hlint library
Last synced: 26 Apr 2025
https://github.com/vmchale/language-xats
Language library for manipulating ATS3 in Haskell.
Last synced: 26 Apr 2025
https://github.com/vmchale/kullback-liebler
Kullback-Liebler divergence in Futhark
futhark gpu-acceleration information-theory
Last synced: 25 Feb 2025
https://github.com/vmchale/cabal-project-vim
Syntax highlighting for `cabal.project` files.
Last synced: 25 Feb 2025
https://github.com/vmchale/archive-backpack
Demonstration of backpack to enable substitution of tar/libarchive functionality
Last synced: 26 Apr 2025
https://github.com/vmchale/hask-replace
Command-line tool to rename modules in Haskell projects
Last synced: 26 Jun 2025
https://github.com/vmchale/pointfree
Wrapper of pointfree command-line tool for Haskell
Last synced: 25 Feb 2025
https://github.com/vmchale/linkedin-madlibs
Source for linkedin article generator
Last synced: 26 Apr 2025
https://github.com/vmchale/howdoi-vim
Use howdoi to search for programming help without ever leaving vim
howdoi python python-plugin python-wrapper vim vim-plugin
Last synced: 17 Aug 2025
https://github.com/vmchale/ghci-syntax
Syntax highlighting for ghci configuration files
ghci haskell syntax syntax-highlighting vim
Last synced: 26 Jul 2025
https://github.com/vmchale/haskell-ats
Template project for mixing Haskell and ATS
Last synced: 26 Apr 2025
https://github.com/vmchale/tibetan-utils
Utils for tibetan numerals in Haskell
Last synced: 29 Oct 2025
https://github.com/vmchale/dir-traverse
Recursive directory traversals in Haskell
Last synced: 15 Apr 2025
https://github.com/vmchale/qr-writer
Haskell library for writing QR codes to file
Last synced: 26 Apr 2025
https://github.com/vmchale/hackage-fetch
Fetch every single package on Hackage, using Python + shell madness
Last synced: 26 Apr 2025
https://github.com/vmchale/madlang-miso
Frontend project template with madlang
Last synced: 25 Feb 2025
https://github.com/vmchale/illiterate
Preprocessor for literate programming
Last synced: 25 Feb 2025
https://github.com/vmchale/cli-setup
Helper scripts to install manpages alongside a command-line tool.
Last synced: 24 Jul 2025
https://github.com/vmchale/sql-qq
Syntax highlighting for quasi-quotes within Haskell.
Last synced: 25 Feb 2025
https://github.com/vmchale/recursion-schemes-benchmarks
Benchmarks of Fibonacci functions built with recursion schemes vs. pattern matching.
Last synced: 25 Feb 2025
https://github.com/vmchale/tibetan-typing
An Elm app that teaches typing for Tibetan and Dzongkha.
Last synced: 25 Feb 2025
https://github.com/vmchale/nonempty
NonEmpty type for Dhall
dhall dhall-lang library types
Last synced: 25 Jul 2025
https://github.com/vmchale/debug-dump
Like Debug.Trace, but allows writing to files
Last synced: 25 Feb 2025
https://github.com/vmchale/pathological-bytestrings
Facilities for testing with ByteStrings
Last synced: 27 Oct 2025
https://github.com/vmchale/ats-wc
Demonstration of packaing for ATS + faster/safer version of coreutils
Last synced: 25 Feb 2025
https://github.com/vmchale/basic-recursion
Basic recursion schemes in Blodwen
Last synced: 02 Aug 2025
https://github.com/vmchale/lzlib
lzlib bindings for Haskell
compression ffi ffi-bindings haskell haskell-library lzlib lzlib-bindings
Last synced: 15 Apr 2025
https://github.com/vmchale/hs-bind
Library support for calling Haskell functions in ATS.
Last synced: 25 Feb 2025
https://github.com/vmchale/bash-bar
A utility to open a window allowing you to execute bash commands
Last synced: 25 Feb 2025
https://github.com/vmchale/c2hs-vim
Syntax highlighting for c2hs files
c2hs haskell syntax-highlighting vim vimscript
Last synced: 25 Feb 2025
https://github.com/vmchale/number-theory
Some functions from number theory, written in Egison
Last synced: 05 Sep 2025
https://github.com/vmchale/hs-err
Set vim errorformat &c. for Haskell files
Last synced: 21 Jun 2025