-
INFORM, Institut für Operations Research und Management GmbH
- Aachen
- bohlender.pro
-
AdventOfCode Public
My solutions for the https://adventofcode.com puzzles
clojure advent-of-code dlang advent-of-code-2017 advent-of-code-2018 advent-of-code-2020 advent-of-code-2021Clojure The Unlicense UpdatedAug 31, 2024 -
-
-
vim-smt2 Public
A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
-
vim-airline-cterm16 Public
A theme for vim-airline that does not introduce any colors on its own but uses the terminal's 16 color palette
Vim Script MIT License UpdatedJun 20, 2021 -
capstone-d Public
D bindings for the Capstone disassembly framework
-
sicks300 Public
ROS package for reading continuous data output of the SICK S300 Professional laser scanner. Supports both the old (v.1.02) and the new (v.1.03) protocol
-
CMake-Reference-Layout Public
Example CMake project structure