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