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/recursion_schemes
Recursion schemes for Idris
vmchale/madlang
Madlang is a language for generative literature
vmchale/vim-twitter
Tweet from inside vim!
vmchale/ion-vim
Syntax highlighting for the ion shell
vmchale/linear
Linear lenses in Blodwen
vmchale/language-xats
Language library for manipulating ATS3 in Haskell.
vmchale/hask-replace
Command-line tool to rename modules in Haskell projects
vmchale/haskell-ats
Template project for mixing Haskell and ATS
vmchale/QR-writer
Haskell library for writing QR codes to file
vmchale/comonad
Comonads for Idris
vmchale/hot-takes
Programming opinion generator
vmchale/madlang-miso
Frontend project template with madlang
vmchale/oeis
OEIS functions in Haskell
vmchale/basic-recursion
Basic recursion schemes in Blodwen
vmchale/haskal
How to write Haskal good
vmchale/ats-storable
ATS storable instance
vmchale/madlang-vim
Vim syntax highlighting for the Madlibs templating DSL
vmchale/agda-lib
Syntax highlighting for agda library definitions
vmchale/Blodwen
A prototype successor to Idris
vmchale/cardano-crypto
vmchale/gifcurry
:point_right: Your open source video to GIF maker built with Haskell.
vmchale/haskell-dbus
A client library for the D-Bus IPC system.
vmchale/haskell-src-exts
Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
vmchale/https-client
demonstration of an https request inside ATS
vmchale/idris-free
Free Monads and useful constructions to work with them
vmchale/jose-jwt
Haskell implementation of JOSE/JWT standards
vmchale/polyglot-vim
Vim plugin for polyglot
vmchale/safecopy
An extension to Data.Serialize with built-in version control
vmchale/tar
Reading, writing and manipulating ".tar" archive files.
vmchale/vim-hare
Vim plugin that I use for HaRe