Jun Matsushita's repositories
purescript-chronofold
WIP: Chronofold data structure in Purescript
streamline
Experiments on streaming tools with Haskell and GStreamer
purescript-update-monad
Update Monad in Purescript
purescript-monoid-action
Monoid Actions
purescript-dunai
Ongoing attempt at porting https://github.com/ivanperez-keera/dunai from Haskell to Purescript.
purescript-set-monad
A set data structure with monad, applicative and functor instances. From https://hackage.haskell.org/package/set-monad-0.3.0.0
accelerate-examples
Examples for the Accelerate language - Fork to build on NixOS with NVidia GPU
declarative-programming-streams
Active streaming declarative programmers. See who's online at the following URL:
docker
Dockerfiles to package Nix in a minimal docker container
jupyterWith
declarative and reproducible Jupyter environments - powered by Nix
kappa-view-trie
Base for creating kappa-core views over a LevelDB for state and a Hypertrie for data.
ldap-scim-bridge
Command-line translator between LDAP and SCIM systems.
mitmproxy-node
A bridge between Python's mitmproxy and Node.JS programs. Rewrite network requests using Node.JS!
purescript-alga
An implementation of algebraic graphs in PureScript
purescript-fgl
PureScript port of Martin Erwig's Functional Graph Library
purescript-freet
Free monad transformers
purescript-node-http
A wrapper for Node's HTTP APIs
purescript-nonempty
A generic non-empty data structure
purescript-react-basic
An opinionated set of bindings to the React library, optimizing for the most basic use cases
purescript-rhine
Ongoing attempt at porting https://github.com/turion/rhine from Haskell to Purescript.
purescript-stream
Port of Data.Stream
purescript-update-monad-free
Work in progress experiments with the update monad as a free monad
purescript-youtube-url
Small API endpoint returning video and audio streams for youtube ids and formats
structures
A playground for working on advanced data structures in Haskell
terraform-aws-iam
Terraform module which creates IAM resources on AWS
wire-server
🇪🇺 Wire back-end services