All Git Users → vmchale

17 open source projects by vmchale

[ Open user page on Github ]

1. Project Init

Project templates in rust

✭ 104

rust haskell elm command-line-tool mustache cookiecutter

2. Recursion schemes

Recursion schemes for Idris

✭ 61

recursion

3. Dhall Vim

Syntax highlighting for Dhall

✭ 51

vim vim-plugin syntax-highlighting

4. Madlang

Madlang is a language for generative literature

✭ 44

haskell language generative-art

5. Atspkg

Build tool for ATS.

✭ 39

haskell

6. Tin Summer

Find build artifacts that are taking up disk space

✭ 259

rust command-line-tool clean cleaner disk-space

7. vim-twitter

Tweet from inside vim!

✭ 26

Vim Script vim twitter vim-plugin twitter-client twitter-cli vimscript

8. coronavirus

covid-19 data in J

✭ 15

J Makefile q python r HiveQL j illinois coronavirus coronavirus-tracking covid-19 covid sars-cov-2

9. command-line-tweeter

Tweets in from a pipe

✭ 70

haskell shell twitter tweets twitter-client twitter-cli

10. permutations

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

✭ 31

Idris Makefile

11. github-actions-dhall

Dhall helpers for github actions

✭ 53

Dhall haskell

12. kempe

Kempe is a compiled stack-based language

✭ 54

haskell c Vim Script Makefile shell TeX rust x86-64 aarch64 stack-based stack-based-language

13. polyglot

Tool to count lines of source code.

✭ 231

ATS shell Dhall

14. ats-vim

Vim plugin for ATS

✭ 15

plugin vim ats-lang

15. hs-ats

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

✭ 21

ATS haskell Dhall shell c

16. libmeme

A library for inserting clap emoji into strings

✭ 25

haskell ATS memes meme-generator linked-lists

17. tomlcheck

A syntax checker for TOML files

✭ 28

haskell shell Makefile vim toml syntax-checker

1-17 of 17 user projects