Source code for Rubik's Cube representation and solvers.

C++ standards back door for accessing private/protected members.

William Byrd, minKanren.org online logic scheme solver.

Interactive tutorial: http://io.livecode.ch/learn/webyrd/webmk

This book is about ECMAScript 6 (whose official name is ECMAScript 2015), a new version of JavaScript.

A Read-Eval-Print-Loop enables to leverage very rapid application development. This kind of environment is normaly reserved to scripting languages (python, nodejs) and to functional languages (lisp, haskell).

libnop is a header-only library for serializing and deserializing C++ data types without external code generators or runtime support libraries. The only mandatory requirement is a compiler that supports the C++14 standard.

The only purpose of this paper is to be a quick go-to site for copy/pasting the code you need to create your custom allocator. There is nothing at all novel in the code presented here. Just copy/paste the allocator skeleton here and insert your own novel code!

Zstandard is a real-time compression algorithm, providing high compression ratios. It offers a very wide range of compression / speed trade-off, while being backed by a very fast decoder.

rr aspires to be your primary debugging tool, replacing — well, enhancing — gdb. You record a failure once, then debug the recording, deterministically, as many times as you want. The same execution is replayed every time.

rr also provides efficient reverse execution under gdb. Set breakpoints and data watchpoints and quickly reverse-execute to where they were hit.

rr works on real applications such as Firefox, with low overhead. It is being used by many developers inside and outside Mozilla to fix real bugs.

Test code against random data.

Xiki: Expand your Command Line!

You can use Oneslate to capture insights, analyze concepts, structure knowledge, and see an entire support tree at once on your display. DAG.