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+
counsel-fd
counsel interface for fd
Language:Emacs LispGPL-3.0000
cpp17_in_TTs
Descriptions of C++17 features, presented mostly in "Tony Tables" (hey, the name wasn't my idea)
000
000
gnublin-api
Gnublin API
Language:C++000
mavlink
Marshalling / communication library for drones.
NOASSERTION000
open-color.el
Emacs colors based on https://github.com/yeun/open-color.
MIT000
NOASSERTION000
projectile
Project Interaction Library for Emacs
Language:Emacs Lisp000
qgv
Interactive Qt graphViz display
Language:C++LGPL-3.0000
raspicam
AVA RaspiCam: C++ API for using Raspberry camera with/without OpenCv
Language:C++000
Language:HaskellBSD-3-Clause000
Language:Scala000
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.
Language:PythonLGPL-3.0000
yasnippet-snippets
a collection of yasnippet snippets for many languages