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/tw-rs
Command-Line Interface Tweeter, for rust
vmchale/doggo-command-line
Compliment your dog
vmchale/ats-format
ATS source code formatter
vmchale/morphism-zoo
Some examples of recursion schemes, with benchmarks
vmchale/ats-benchmarks
Benchmarks of ATS compared to Rust and Haskell
vmchale/pi-templates
Templates for pi
vmchale/hgis
Haskell as a GIS
vmchale/markov-bot
Make a twitter bot from any corpus of text you desire
vmchale/xmonad-vanessa
Xmonad configuration
vmchale/composition
Composition extras for Idris
vmchale/elm-composition
Port of Haskell's composition library to Elm
vmchale/librarian
Tools to manage a home library
vmchale/tibetan-typing
An Elm app that teaches typing for Tibetan and Dzongkha.
vmchale/bash-bar
A utility to open a window allowing you to execute bash commands
vmchale/ppp
Permutations in PureScript
vmchale/argparse-min-example
Minimal example of a bug in python's standard library
vmchale/ats-haskell
Template project for calling Haskell from ATS
vmchale/ats-makefile
ATS project template using a Makefile
vmchale/cargo-search-vim
Use cargo search from within vim.
vmchale/compleat-vim
Vim syntax highlighting for compleat usage files
vmchale/hask-replace-vim
Tiny vim wrapper for the hask-replace executable
vmchale/idris-lens
van Laarhoven lenses for Idris
vmchale/julia-install-scripts
Python/bash scripts for a hassle-free julia installation on linux
vmchale/julia-problem-solving
Math puzzles solved in julia
vmchale/nom
Rust parser combinator framework
vmchale/reco-vim
Provides reco as a syntax checker for go files.
vmchale/shake-nim
Build a nim project using the shake build system.
vmchale/tibetan_utils
Port of my tibetan numeral parser for Idris
vmchale/tomlcheck-vim
Ein Plugin für tomlcheck
vmchale/vmchale.github.io