Davidbrcz's repositories
tla-ts-mode
TLA+ and PlusCal editing mode for emacs powered by tree-sitter
aard2-android
Aard2 for Android, a simple dictionary app
Adafruit_VL53L0X
Arduino library for Adafruit VL53L0X
advent-of-tla
AoC goals in TLA+
clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
counsel-fd
counsel interface for fd
cpp17_in_TTs
Descriptions of C++17 features, presented mostly in "Tony Tables" (hey, the name wasn't my idea)
diffuse-1
Fork of Diffuse from SourceForge
gnublin-api
Gnublin API
mavlink
Marshalling / communication library for drones.
open-color.el
Emacs colors based on https://github.com/yeun/open-color.
projectile
Project Interaction Library for Emacs
qgv
Interactive Qt graphViz display
raspicam
AVA RaspiCam: C++ API for using Raspberry camera with/without OpenCv
TemplateThese
Template pour manuscrit de thèse
tool_lists
Links to tools by subject
xdot.py
Interactive viewer for graphs written in Graphviz's dot language.
yasnippet-snippets
a collection of yasnippet snippets for many languages