Arthur Xavier

Other projects

Contour lines

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

Reverse Highway

Interactive audio visualization experiment with WebGL.

Gravity

Simple game written in CoffeeScript with HTML5 canvas.
Desktop only.

Programming

vim-caser

Plugin for the Vim code editor that allows for easily changing 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

RSS feed reader written in PureScript that demonstrates a comonadic user interface model, 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, Brasil

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.

Programação funcional em JavaScript: como e por quê?
JS Experience 2017, Brasil
Introdução à programação funcional tipada com 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