lthms.xyz/projects.org -rw-r--r-- 1.8 KiB View raw
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
---
title: lthms’ Projects
category: projects
---

* FreeSpec

FreeSpec is a compositional reasoning framework for the Coq proof assistant that
I have started during my PhD. It has been released under the terms of the GPLv3
license in January 2018, and is currently available [[https://github.com/anssi-fr/freespec][on GitHub]].

* pijul

I think we can say I am an early adopter of [[https://pijul.org][pijul]], the newcomer in the VCS
scene. I have been contributing to the project since the release of its version
0.4 in April 2017.

* ogma

Through the /ogma/ project, I aim to provide a tool for storyteller to visualize
in time and space their universes. The main result of this project is
/ogmarkup/, a domain-specific markup language to write fictions whose parser has
firstly been implemented in [[https://hackage.haskell.org/package/ogmarkup][Haskell]] and then rewritten in [[https://git.sr.ht/~lthms/ogmarkup][Rust]].

* /lkn/

I am interested in building a small Multiplayer Online Role Playing Game (very
much like [[http://slayersonline.net/][Slayers Online]]) for years now. The current status of the project is an
Elixir library, called [[https://hex.pm/packages/lkn_core][/lkn-core/]].

You want to learn more about this project? Feel free to [[./lkn.html][have a look at the project page!]]

* colorless-themes.el

When it comes to writing code, I very much like minimalist themes with almost no
syntax highlighting. I first published on MELPA such a theme for Emacs called
[[./blog/nordless-theme][nordless]]. Then, I wrote [[https://git.sr.ht/~lthms/colorless-themes.el][colorless-themes.el]] which brings an emacs-lisp macro
that allows to create very easily new minimalist themes similar to nordless.

* My Emacs Configuration

I never took the time to have a look at Spacemacs, because I was too busy
writing [[./emacs.d.html][my own configuration]].