Pinned Repositories
AdventOfCode
My solutions for the https://adventofcode.com puzzles
blog
Source of my personal website
bohlender.github.io
My personal website
capstone-d
D bindings for the Capstone disassembly framework
CMake-Reference-Layout
Example CMake project structure
mastermind-solver
mastermind-solver-web-cljs
sicks300
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
vim-airline-cterm16
A theme for vim-airline that does not introduce any colors on its own but uses the terminal's 16 color palette
vim-smt2
A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
bohlender's Repositories
bohlender/vim-smt2
A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
bohlender/capstone-d
D bindings for the Capstone disassembly framework
bohlender/sicks300
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
bohlender/CMake-Reference-Layout
Example CMake project structure
bohlender/AdventOfCode
My solutions for the https://adventofcode.com puzzles
bohlender/blog
Source of my personal website
bohlender/bohlender.github.io
My personal website
bohlender/mastermind-solver
bohlender/mastermind-solver-web-cljs
bohlender/vim-airline-cterm16
A theme for vim-airline that does not introduce any colors on its own but uses the terminal's 16 color palette