spearman Goto Github PK

agda-vim

Agda interaction in vim

api-sanity-checker

An automatic generator of basic unit tests for a C/C++ library

apis

Reactive, session-oriented, asynchronous process-calculus framework

ats2-mode

Emacs mode for ATS2

autotools-rs

build.rs helper to configure and compile autotools and configure/make projects

benchtrees

bit_store

Rust library for creating and operating on generic bit arrays

book

A textbook on informal homotopy type theory

bounded-spsc-queue

A Bounded SPSC queue for Rust

camelcasemotion

Fork of CamelCaseMotion plugin with search functions modified to ignore mid-word digits (changes in skip_digits branch)

cargo-deps

Cargo subcommand for building dependency graphs of Rust projects.

ccxt

A JavaScript / Python / PHP cryptocurrency trading API with support for more than 100 bitcoin/altcoin exchanges

cgdb

Console front-end to the GNU debugger

cgmath

A linear algebra and mathematics library for computer graphics.

cmeta

Syntactic macros for C

collision-rs

A collision extension to cgmath

colored

(Rust) Coloring terminal so simple you already know how to do it !

dlib

A dynamic library helper for rust crates

easycurses-rs

A rust crate to smooth over the pain points of working with curses. (Windows+Unix)

easyplot

enet-rs

Rust interface for the ENet reliable UDP library

enet-sys

Raw rust bindings to the enet C library

enum-newtype

Macro for implementing tagged "newtype" enums

enum-unitary

Trait and macro for unitary enums

enumflags

formal-logic

LaTeX Notes on Mathematical Logic

ghakuf

A Rust library for parsing/building SMF (Standard MIDI File).

gl-idris

Fork of gl-idris made to compile on a system running Linux Mint 17.3

gl-rs

An OpenGL function pointer loader for Rust

gl-utils-c

A collection of OpenGL utility functions