EmileRolley/altarica-ext

Stars
2
Language
Vim Script
License
GNU General Publi...
Created almost 3 years ago
Updated almost 3 years ago

EmileRolley/altarica-ext

EmileRolley

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Set of extensions related to text editors for the AltaRica language

sustainable-computing

An attempt to centralized some resources about sustainable programming, green computing and frugal engineering.

publicodes-language-server

Language server for Publicodes

vgr-pixmap

Vg renderer in pure OCaml for raster outputs.

ltl2ba

Compiler of LTL formula to Büchi automata

altarica-project

Project for the course Conception Formelle