Pinned Repositories
category-lecture-notes
typst-tikz
A fork of Typst, with TikZ support.
gitignore
A collection of useful .gitignore templates
c4go
Transpiling C code to Go code
ansible-scripts
Ansible commands for servers handled by Openstreetmap-France
name-suggestion-index
Canonical common brand names, operators, transit and flags for OpenStreetMap.
scala-native-sfml
Scala Native 3 bindings for SFML library
cerise
Formalisation of a capability machine and principles for reasoning about security properties
proost
A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
scala-native
Your favorite language gets closer to bare metal.
lafeychine's Repositories
lafeychine/scala-native-sfml
Scala Native 3 bindings for SFML library
lafeychine/ansible-scripts
Ansible commands for servers handled by Openstreetmap-France
lafeychine/name-suggestion-index
Canonical common brand names, operators, transit and flags for OpenStreetMap.