3gx Goto Github PK

adios

agda-vim

Agda interaction in vim

agdaexpr

Agda experiments

agency

Execution primitives for C++

arq_restore

command-line utility for restoring from Arq backups

awesome-graphviz

A curated list of GraphViz related resources

beg-haskell

Source code for 'Beginning Haskell' by Alejandro Serrano Mena

benchamarks

Just a set of useful benchmarks

blockdiag

bokeh-notebooks

Interactive Web Plotting with Bokeh in IPython notebook

bonsai

Bonsai GPU tree code

bonsairender

vfx for Bonsai

brigand

small and powerful C++ 11 MPL

bulk

Launching collective tasks in bulk

catch

A modern, C++-native, header-only, framework for unit-tests, TDD and BDD

cfd

closure

A macro wrapping Rust closure calls that allows for capturing variables in scope on an individual bases.

clqo

Solver for Unconstrained Binary Quadratic Optimization (UBQO, BQO, QUBO) and Max 2-SAT, based on semidefinite relaxation with constraint learning.

codeblog

codevault

personal codevault

cometa

Lightweight, header-only C++14 metaprogramming library. Pattern matching, compile-time stuffs and algorithms (arrays, type information (CTTI), string manipulation), 'value-or-errorcode' union-like type, type for passing named arguments, useful constexpr functions and many more. (MIT license)

consolaslessspacing

A simple edit of Consolas.ttf that comes with windows to reduce the vertical spacing in order to fit more code on screen. Probably not legal to use in a commercial work

cpp_exception_handling_abi

A mini ABI capable of handling throw/catch statements for C++ without libstdc++

cs143-compilers-stanford

cub

CUB is a flexible library of cooperative threadblock primitives and other utilities for CUDA kernel programming.

cuda-driver-sys

Rust bindings to the CUDA driver API

cudasph

SPH code in CUDA

curry-howard-lambek-isomorphism

Automatically exported from code.google.com/p/curry-howard-lambek-isomorphism

cursorlinecurrentwindow

Only highlight the screen line of the cursor in the currently active window.

cymbal

Yet another Rust implementation of the Monkey language from "Writing an Interpreter in Go" and "Writing a Compiler in Go"