Arthur Xavier

Other projects

Contour Lines

Graphics experiment with terrain contour lines.
Non-mobile device recommended.

Reverse Highway

Audio visualization experiment with WebGL for an electronic house song I composed.

Gravity

Simple HTML5 physics-based game written in CoffeeScript.
Desktop only.

Coding

vim-caser

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

This plugin is largely inspired by Tim Pope's vim-abolish, and aims to improve its casing functionality to better blend with Vim's editing philosophy.

CoRSS

Real-world RSS feed reader written in PureScript for the second part of my bachelor thesis: A Real-World Application with a Comonadic User Interface.

Comonadic TODOs

Simple task management application written in PureScript for the first part of my bachelor thesis (Comonads for User Interfaces) with three different UI architectures modelled under the same approach.

Based on Phil Freeman's Comonads as spaces.

Modelr

Android application for the generation of 3D models based on two-dimensional sketches.

Tech talks

Type-safe embedded domain-specific languages
Monadic Party 2019, Poland

In this series of lectures and workshops, we explore the whats, whys and hows of embedded domain-specific languages in Haskell, and how language oriented programing can bring type-safety, composability and simplicity to the development of complex applications.

Sobre programas e funções: pensando em abstração
InterCon 2017
Programação funcional em JavaScript: como e por quê?
JS Experience 2017, Brazil
Introdução à programação funcional tipada em Elm
#2 Innovation Moment Belo Horizonte, Brazil
Programação funcional no desenvolvimento de aplicações
19º Encontro Locaweb Belo Horizonte, Brazil
PureScript & Pux
1º Lambda I/O Belo Horizonte, Brazil
Programação funcional no front end com Elm
4º FEMUG-MG, Brazil