~lthms

Paris ยท France

https://lthms.xyz

PhD Student in Computer Science and Functional Programming Enthusiast.

~lthms/lthms.xyz

Source and content of my personal website

~lthms/ogmios

Visualize your story in time and space

~lthms/ogmarkup

A markup language for story writers

~lthms/celtchar

A tool to build novels

~lthms/freespec-coqpl2019

My submission to the CoqPL 2019 workshop

~lthms/lycan-core

The core algorithms of the lycan project, shared by the server and client

~lthms/colorless-themes.el

A collection of mostly colorless themes for Emacs

~lthms/lycan.lisp

Yet another Lycan game server

~lthms/fairy.lisp

A small rendering engine inspired by PIXI.js, in Common Lisp.