silky Goto Github PK

ruc

Simulations of random unitary circuits using CPTP maps

rumpus

A Livecoding Playground for Room-Scale VR

runmyrobot

Robot controller and video scripts

rust

a safe, concurrent, practical language

rust-crypto

A (mostly) pure-Rust implementation of various cryptographic algorithms.

ryu

Converts floating point numbers to decimal strings

s3-view-r4

s3gof3r

Fast, concurrent, streaming access to Amazon S3, including gof3r, a CLI. http://godoc.org/github.com/rlmcpherson/s3gof3r

sabaki

An elegant Go board and SGF editor for a more civilized age.

safe-money

Haskell library for type-safe and lossless encoding and manipulation of world currencies and precious metals

safecopy

An extension to Data.Serialize with built-in version control

sagemath-cloud

The goal of the SageMath Cloud project is to create a viable way to do computational mathematics collaboratively online.

sagrawal

sail-riscv

Sail RISC-V model

sailbot

Using the power of computers to find neat sailboats

saint

TypeSafe Interpreters for Free

saltine

Cryptography that's easy to digest (NaCl/libsodium bindings)

sample-site

Sample site for the blog post examples

sandbox

Small random demonstrations of code

sandspiel

Creative cellular automata browser game

sandwich

Yet another test framework for Haskell.

sane-topojson

:earth_americas: Ready-to-use multi-layer topojson files

sanic

Async Python 3.5+ web server that's written to go fast

sansbullshitsans

Source for the Sans Bullshit Sans font

satellite-change-detect

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

sbv-1

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

sbvplugin

Formally prove properties of Haskell programs using SBV/SMT.

scalaz

An extension to the core Scala library for functional programming.

scanabanana

It's peanut butter jelly time.