Pinned Repositories
degenerate
Some useful generators for clojure test.check
gmail-clj
A Clojure library that abstracts the GMail API (not the IMAP) interface.
hriemann
A Riemann Client for Haskell
lein-git-version
A leiningen plugin to use git tags as the source of project information.
manifold-kafka
Manifold producer and consumer for clj-kafka
optparse-version
A simple version option for Options.Applicative
pipes-unagi
servant-purescript
Translate servant API to purescript code, with the help of purescript-bridge.
smoke-hill
A package set of Idris libraries
ws-chans
Unagi Chan based WebSocket client
shmish111's Repositories
shmish111/hriemann
A Riemann Client for Haskell
shmish111/smoke-hill
A package set of Idris libraries
shmish111/servant-purescript
Translate servant API to purescript code, with the help of purescript-bridge.
shmish111/purescript-bridge
Create PureScript datatypes from Haskell datatypes
shmish111/purescript-foreign-generic
Generic deriving for purescript-foreign
shmish111/terraform-provider-statevar
Store arbitrary values in terraform state
shmish111/easy-purescript-nix
Easy PureScript (and other tools) with Nix
shmish111/github
The github API for Haskell
shmish111/Idris-Bifunctors
A small bifunctor library for idris
shmish111/idris-lens
van Laarhoven lenses for Idris
shmish111/Idris2
A purely functional programming language with first class types
shmish111/inigo
Inigo: A Package Manager for Idris2
shmish111/kestrel
Simple DDD toolkit for Kotlin
shmish111/nixops-aws
Nixops AWS Backend Plugin
shmish111/nixpkgs
Nix Packages collection
shmish111/ohmyzsh
🙃 A delightful community-driven (with 1900+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
shmish111/optparse-idris
Minimal port of optparse-applicative to idris
shmish111/purescript-ace-halogen
A Halogen component for the Ace editor.
shmish111/purescript-datetime-iso
📆 🕒 PureScript library for serializing datetimes in simplified extended ISO format.
shmish111/purescript-generics-rep
Generic programming using an approach inspired by GHC.Generics
shmish111/purescript-parsing
A parser combinator library based on Parsec
shmish111/purescript-servant-support
Support library needed by code generated by servant-purescript
shmish111/purs-loader
PureScript loader for webpack
shmish111/rms-open-letter.github.io
shmish111/servant-github-webhook
Servant combinators for writing secure GitHub webhooks
shmish111/spago2nix
Generate a derivation of Spago dependencies, and use them to install them into the directory structure used by Spago.
shmish111/tomladris
TOML parser for Idris
shmish111/unison
A friendly programming language from the future
shmish111/wl-pprint
A mirror of wl-pprint fixed for GHC 7.10.2
shmish111/z3em
Z3 via emscripten