xldenis Goto Github PK

pboy

a small .pdf management tool for the command-line

phone

polonius-demo

polonius-demo

produce-engineering

proj1

proj2

COMP 598 Project 2

proj3

COMP 598 Project 3 - Image Classification

project-stable-mir

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

qqreg

Quick Registration for mchacks

rails

Ruby on Rails

resque-scheduler

A light-weight job scheduling system built on top of resque

rhb-specs

ruby

rust

Empowering everyone to build reliable and efficient software.

rust-analyzer

An experimental Rust compiler front-end for IDEs

rust-crdt

a collection of well-tested, serializable CRDTs for Rust

rustfmt

Format Rust code

stackqueue

Use stackoverflow to find out how much you know.

subhask

Type safe interface for working in subcategories of Hask

sublimehaskell

A Sublime Text 3 plugin for Haskell. Features cabal building, error and warning highlighting, smart completion and ghc-mod integration.

sudoku

syn

Parser for Rust source code

tide-static-files

A static files server helper for the tide web framework (not production ready)

toby

the @toby selfie blogging platform. Revolutionizing social networks one pic at a time. #nofilters

todo

My public todo list. Feel free to add an item or open an issue.

tool-lib

torrent

a shitty haskell torrent client

transfer-jobs

unicoq

An enhanced unification algorithm for Coq