racko Goto Github PK

boogie-friends

Tools for interacting with Boogie

catkin_tools

Command line tools for working with catkin

compiler-explorer

Run compilers interactively from your web browser and interact with the assembly

compilerconstruction

Lexer and parser library based on the "Dragon Book" (https://en.wikipedia.org/wiki/Compilers:_Principles,_Techniques,_and_Tools)

cppbestpractices

Collaborative Collection of C++ Best Practices

dafny

Dafny is a verification-aware programming language

eveindustryplanner

Tool for approximating an optimal Market/Industry strategy for the game EVE Online based on the Generalized Linear Production Model

functional_cpp

C++ implementation of various functional programming concepts based on http://www.staff.city.ac.uk/~ross/papers/Applicative.html

fuzztest

geometry2

A set of ROS packages for keeping track of coordinate transforms.

pie_cpp

A C++ EDSL implementation of the Pie language (https://github.com/the-little-typer/pie)

pimpl_ptr

The C++11 way of implementing the Fast Pimpl Idiom

poker_hand_evaluator

Monte Carlo Texas Hold'em poker hand evaluator. I wrote this in High School and only recently started refactoring and adding tests ...

ros_comm

ROS communications-related packages, including core client libraries (roscpp, rospy, roslisp) and graph introspection tools (rostopic, rosnode, rosservice, rosparam).

rospack

A command-line tool for retrieving information about ROS packages available on the filesystem

rviz

ROS 3D Robot Visualizer

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

val-lang.github.io

Landing page for Val

visualize-cbn