Arthur Xavier's repositories
purescript-comonad-ui-todos
Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces
purescript-comonad-rss
RSS feed reader written for the second part of my bachelor thesis: A Real-World Application with a Comonadic User Interface.
vim-unicoder
unicoder.vim: easy unicode characters in insert mode with abbreviations
monadic-party-edsl
Examples and slides for the Type-safe Embedded Domain-Specific Languages workshop at Monadic Party 2019 (will be updated as workshop happens)
purescript-comonad-ui-react
[WIP] purescript-react renderer for comonadic UIs
vim-symbols
Insert special characters with Vim's native completion.
purescript-money
Types and operations on monetary amounts.
purescript-smash
An "extensible coeffect" system built out of comonads and Day convolution.
completor.vim
Async completion framework made ease.
cortina-react
Coroutine-based EDSL for building React components and applications
dear-github-2.0
📨 An open letter to GitHub from the maintainers of open source projects
homebrew-tap
my brew formulas
purescript-fetch
More efficient data fetching using deduplication, batching, and caching.
purescript-foreign-generic
Generic deriving for purescript-foreign
purescript-freet
Free monad transformers
purescript-httpure
A web framework written in PureScript.
purescript-mysql
Bindings mysql for PureScript
purescript-routing-duplex
Unified parsing and printing for routes in PureScript
purescript-sexp
S-expressions.
purescript-variant
Polymorphic variants for PureScript
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
vim-notebook
A color scheme that resembles a notebook colored with highlighters
zmk-config-zen-2
ZMK configuration repo for v2 of the Corne-ish Zen keyboard