Arthur Xavier

vim-caser. Easily change word casing with motions, text objects or visual mode.

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

purescript-carpenter. Simple architectures for type-safe state management in React inspired by Elm, Thermite and Halogen

contour-lines. Generative art experiment with terrain contour lines.

purescript-react-native. Low-level React Native bindings for PureScript

atom-which-key. Atom package that displays available keybindings in a panel

purescript-comonad-ui. PureScript

workshop-intro-fp-elm. Workshop: introduction to functional programming (with Elm)

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-pux-todomvc. TodoMVC implementation using PureScript and the Pux package

purescript-comonad-ui-react. [WIP] purescript-react renderer for comonadic UIs

ebook-category-theory. Bartosz Milewski's Category Theory for Programmers as an eBook

purescript-react-router. Clean, type-safe routers for purescript-react

purescript-carpenter-todomvc. TodoMVC implementation using PureScript and the purescript-carpenter library

talks. PureScript

haskell-js. Lambda functions and functional programming for javascript

dotfiles. Vim Script

reverse-highway. Audio visualization experiment with WebGL.

vim-symbols. Insert special characters with Vim's native completion.

arthurxavierx.github.io. M4

purescript-pux-dice. Example application for the presentation PureScript & Pux

dynamic-parser. Simple yet extensible dynamic parser written in ANSI-C

purescript-smash. An "extensible coeffect" system built out of comonads and Day convolution.