racko

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

racko/boogie-friends

Tools for interacting with Boogie

racko/catkin_tools

Command line tools for working with catkin

racko/compiler-explorer

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

racko/CompilerConstruction

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

racko/cppbestpractices

Collaborative Collection of C++ Best Practices

racko/dafny

Dafny is a verification-aware programming language

racko/EveIndustryPlanner

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

racko/functional_cpp

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

racko/geometry2

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

racko/pie_cpp

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

racko/fuzztest

racko/pimpl_ptr

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

racko/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 ...

racko/ros_comm

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

racko/rospack

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

racko/rviz

ROS 3D Robot Visualizer

racko/spacemacs

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

racko/val-lang.github.io

Landing page for Val

racko/visualize-cbn