Corey Richardson

Login: cmr

Company: null

Location: 4096R/560D0EF021CB41B7E1E34880F284F7A19456AE7C

Bio: Programmer by day, mathematician by night.

Blog: http://octayn.net

Blog: http://octayn.net

Member of

  1. Arke Industries
  2. Clarkson Open Source Institute
  3. ##dependent
  4. T-Rust
  5. ?F:? OSWG

Repositories

alexandria
Central repository for the Alexandria project
alexandria-client
null
alexandria-common
null
alexandria-server
null
alexandria-web-client
null
apitrace
Tools for tracing OpenGL, Direct3D, and other graphics APIs
arduino-display
Playing with a 7-segement display and my arduino
ArkeOS
null
automatafl
An implementation of the Automatafl table-top game
Avalonia
A multi-platform .NET UI framework (formerly known as Perspex)
Baystation12
The code for Baystation12's branch of SS13
bfcpu
A brainfuck cpu
bitflags
null
blake2
Git "mirror" of the BLAKE2 code package from blake2.net
blas
An interface to BLAS
blog
null
blog.rust-lang.org
null
blosc-sys
null
byteorder
Rust library for reading/writing numbers in big-endian and little-endian.
capnproto
Cap'n Proto serialization/RPC system
capnproto-rust
Cap'n Proto for Rust
cargo
Cargo Experiments
cargo-lite
cargo-lite, a dirt simple package manager for Rust
cbfi-rs
null
cgmath-rs
A linear algebra and mathematics library for computer graphics.
cmoss
My hobby OS project
cmr32
null
cmr.github.io
null
cmr_rrt
null
color-rs
A library that provides types and conversions for working with various color formats.
compose
null
ConcreteSemantics
null
connectfour
null
cons-list
An immutable singly-linked list, as seen in basically every functional language
crap_rsa
A crappy RSA implementation in Rust
cs142-proj1
null
cs142-proj2
null
cs242_hw3
null
cs242-proj1
null
cs242-proj2
null
cs341
null
cs344
null
cs444-lab1
null
cs444-lab5
null
cs445
Source code for my Compiler Construction (CS445) class at Clarkson University
cs447
null
CS452-LAB1
null
CS452-LAB2
null
CS452-LAB3
null
CS452-LAB4
null
CS452-LAB5
null
CS452-PROJECT1
null
cs456
null
cs465-hw1
null
C-Utilities
A collection of various helpers to be used in C/C++.
dbus-rust
null
derpfs
null
doc_builder
null
docs
null
docs-1
Documentation for the resin.io platform.
dotfiles
null
dsl
DSL (pronounced "diesel") is a simple C Data Structure Library in the vein of the C++ Standard Template Library.
ears
Easy Api in Rust to play Sounds
easyply
Helper library for Python's PLY.
ecs
null
eggplant
null
evdev
null
fixedbitset
Rust simple BitSet type
fontconfig-rs
A wrapper around freedesktop's fontconfig utility, for locating fontfiles on a Linux-based system. Requires libfontconfig to be installed.
fuckplace
This was a tiny tool to white out a shitty clone of /r/place someone made in COSI
fun-with-threads
null
gerphius
null
gfx-rs
A lightweight graphics device manager for Rust
gfx-rs-deadlock-example
null
gfx-rs.github.io
Blog for the gfx-rs project
git2-rs
Rust bindings to libgit2
github-api-testing
Testing github api and other features. Nothing real is here!
glfw_game_window
A GLFW window back-end for the Piston game engine
glium
Safe OpenGL wrapper for the Rust language.
gl-rs
An OpenGL function pointer loader for Rust
glutin
Pure Rust alternative to GLFW
google-breakpad
null
google-breakpad-sys
null
grease-bench
Benchmark collection tool written in Rust using cgroups
gridsearch
null
hammer.rs
An option parsing library that deserializes flags into structs
heavy_wizardry
null
hgl-rs
Deprecated higher-level, Rustic OpenGL bindings
HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
hol-guidebook
HOL Guidebook
hprof
A real-time hierarchical profiler
http-parser
http request/response parser for c
hyper
An HTTP library for Rust
Idris-dev
A Dependently Typed Functional Programming Language
iiag
Iiag is a game
imm3d
null
imperious
an imperative programming language
ioctl
DEPRECATED in favor of nix, but provides macros and types for various Linux ioctls
ion
ion, the programming language
iron-test
Utilities for testing Iron and Iron Middleware
isrustfastyet
null
Kale
null
kiss3d
Keep it simple, stupid 3d graphics engine for Rust.
lambda
Interpreters for some simple lambda calculi
lazy-static.rs
A small macro for defining lazy evaluated static variables in Rust.
leafy
Orthogonal path-based ("URL") router for Lua
lean
Lean Theorem Prover
leanprover.github.io
www
lets-build-a-compiler
null
libb2-sys
null
libblake2
Builds libraries for blake2
libblas-sys
null
libblas-sys-1
Static linking with BLAS
libfringe
fast, low-level green threading library for Rust
libgit2
The Library
liblapack-sys
Static linking with LAPACK
library_dev
Lean standard library (development)
library-project
A library management system for the Clarkson Open Source Institute
libudev-rs
Rust wrapper for libudev
linalg
null
linenoise-rs
Simple linenoise wrapper for Rust
llvm-verifier
The LLVM Symbolic Simulator, part of SAW.
luapgsql
A lightweight binding of libpq (standard PostgreSQL C client library) for Lua. Includes iterators and parametrized queries.
maze
A "game" to explore maze generation, solving, Love2d, and Lua
meeting-minutes
Official minutes for Rust-related meetings
meta
A DSL parsing library for human readable text documents
minesweep
A minesweeper library and solver
miniblog
A tiny, powerful blog engine
mon
mon(1) - Simple single-process process monitoring program written in C
mount
Mounting middleware for Iron
ms.c
C str to us / ms utilities
netlib-src
null
nice_glfw
A window builder for glfw-rs
nixpkgs
Nix Packages collection
nix-rust
Rust friendly bindings to *nix APIs
noise-rs
Procedural noise generation library for Rust.
nom
Network Object Mirroring
one-hour-roguelike
null
openblas-src
null
OPENGL
OpenGL Projects and stuff
pct
null
persistent
Middleware for sharing data between requests
picocom
Automatically exported from code.google.com/p/picocom
piday-automata
null
Pillow
Pillow is the "friendly" PIL fork
Piston-Tutorials
null
pool
A pool of reusable values
programming_in_lean
null
Protogen
RPC generator for AIIP
pyspades
null
queue
Keeping track of things
queuebotv2
null
raytrace
null
redox-tween
A small tweening library written solely in Rust
relicense-assistant
null
rest_easy
null
reu_unif
null
ring
Safe, fast, small crypto using Rust
rparse
Parser combinator library written using the Rust language
ruplace-target
null
rustaceans.org
Backing data for
rust-antlr
An ANTLR grammar for Rust
rust-bench
null
rust-bitmap
A dense bitmap for Rust
rust-cc
A simpe cycle collector for Rust
rust-cfg
null
rust-cgroup
null
rust-core_io
Rust std::io with all the parts that don't work in core removed.
rust-critbit
An implementation of Crit-bit trees in Rust
rust-crypto
A (mostly) pure-Rust implementation of various cryptographic algorithms.
rustdoc_ng
null
rust-dotenv
A `dotenv` implementation for Rust.
rust-examples
null
rust-fuse
Rust library for filesystems in userspace (FUSE)
rust-glm
Port of (subset of) GLM to Rust
rust-gmp
gmp bindings for rust
rust-grammar
LL(1) grammar and parser for Rust using flex and LLnextgen
rust-image
Encoding and decoding images in Rust
rust-incidents
Even more error handling experiments in Rust.
rust-intovec
null
rust-logo-3d
null
rust-log-viewer
A small utility for making RUST_LOG dumps less wall-of-text
rust-metal-sketch
null
rust-mustache
mustache template library for rust
rust-phf
Compile time static maps for Rust
rust-playpen
a web interface for running Rust code
rust-png
Rust bindings for libpng
rust-postgres
Native PostgreSQL driver for the Rust programming language
rust-rand
Rewrite of rust random number handling
rust-sdl2
SDL2 bindings for Rust
rust-signal
null
rustsqlite
SQLite3 Bindings for Rust.
rust-ttt
null
rust-tuts
A tutorial for the Rust programming language. Open to contributions!
rust-www
null
rust-zmq
Rust zeromq bindings.
SAL
A portability library to easily create programs that compile easily for both Windows and POSIX compliant systems
sax-rs
Rust wrapper for libxml2's SAX parser.
seL4
The seL4 microkernel
sElement
Alternative to jQuery for DOM manipulation and event handling.
serde
Rust serialization
servo
The Servo Browser Engine
seven-hour-roguelike
null
shutdown_hooks_rs
Shutdown hook functionality for Rust. Basically a wrapper around atexit
shuteye
shuteye provides nanosleep functionality. Let your rust code catch some shuteye
sicp
sicp
signal
Signal handling for rust
simplebuilder
null
simplectic-c
C implementation of simplectic noise
simplesched
The most naive Coroutine scheduler in Rust
simple-sexp
null
sinful.js
JS toolkit.
smaa
SMAA is a very efficient GPU-based MLAA implementation (DX9, DX10, DX11 and OpenGL), capable of handling subpixel features seamlessly, and featuring an improved and advanced pattern detection & handling mechanism.
smack
SMACK Software Verifier And Verification Toolchain
sodiumoxide
Sodium Oxide: Fast cryptographic library for Rust (bindings to libsodium)
sol
Sol scripting language -- a simple language based heavily in Lua and Python
spaceapi-server-rs
Library to easily implement your own SpaceAPI server.
speculate.rs
An RSpec inspired minimal testing framework for Rust.
sphere
Function for calculating volume of n-sphere.
spin-rs
A spinlock for rust
stainless
Organized, flexible testing framework for Rust
static
Static file-serving middleware for the Iron web framework.
synfone2
itl_chorus-like testing work, please ignore for now
tbot
Making IRC bots fun and easy
TEMP-rust-png
A temporary fork of rust-png
term
A Rust library for terminfo parsing and terminal colors.
terminfo-rs
null
the_silver_searcher
A code-searching tool similar to ack, but faster.
Thinkful-Unit3-Lesson2-Assignment4
Thinkful Unit3/Lesson2/Assignment4 - Adding csv entries into a SQL database using PostgreSQL in Python
this-week-in-rust
Data for this-week-in-rust.org
totient
null
travis-core
Models and classes shared by Travis hub and server
trayer-srg
trayer fork with multi monitor support, cleaned up codebase and other fancy stuff
tree-generator
null
tweed
A Lua web framework
ua-parser
A multi-language port of Browserscope's user agent parser.
udev-dl
null
UInt64
An Int64 object for (mostly browser-side) JS
univ190
null
url
null
util
null
Utilities
A collection of small utilitites for C++.
VisualRust
Visual Studio extension for Rust
vscode-lean
An extension for VS Code which provides support for the Lean language.
vundle
Vundle, the plug-in manager for Vim
winapi-rs
Rust types and constants for WinAPI bindings
wordfoo
null
wsapi
WSAPI is an API that abstracts the web server from Lua web applications.
xml-rs
An XML parser in Rust

Commits To

RepositoryMost Recent Commit# Commits
cmr/hprof2015-12-28 17:27:06.015


This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.