tov Goto Github PK

pyret-docs

The documentation for Pyret.

quilting-game

An abstract strategy game

racket

The Racket repository

rbeta

BETA in Racket

rpassword

Cross platform Rust library to read a password in the terminal (Linux, BSD, OSX, Windows).

rust

Empowering everyone to build reliable and efficient software.

rust-bindgen

Automatically generates Rust FFI bindings to C (and some C++) libraries.

rust-bio

This library provides implementations of many algorithms and data structures that are useful for bioinformatics. All provided implementations are rigorously tested via continuous integration.

rust-everywhere

SUPERSEDED by https://github.com/japaric/trust

rust-libloading-example

A design pattern for shared library loading in Rust with versioned vtables and owned symbols

rust-orm

scoop-extras

"Extras" bucket for Scoop

shcaml

Caml-Shcaml: An Ocaml library for Unix shell programming

skylighting

A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions

spacemacs

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

spawn

Spawning sub-processes

spec

WebAssembly specification, reference interpreter, and test suite.

split_ext_rs

Extension methods for splitting.

stack-rs

DSTs and Vecs on the stack

succinct-rs

Succinct Data Structures for Rust

tap-rs

Generic extensions for tapping values in Rust.

thousands-rs

Prints numbers with separators

tightvnc

Reference repository for TightVNC legacy code

type-systems-exercises

Solutions to exercises from tov/type-systems-seminar

type-systems-seminar

Notes for winter 2018 PL seminar

villages

vim-racket

vim bundle for Racket

vim-slime

A vim plugin to give you some slime. (Emacs)

vim-textobj-user

Vim plugin: Create your own text objects

vscode-solarized

Solarized for VS Code