lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Coq.
Portland State UniversityPortland, OR
lastland's Stars
ohmyzsh/ohmyzsh
🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool that makes it easy to keep up with the latest updates from the community.
impress/impress.js
It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.
niklasvh/html2canvas
Screenshots with JavaScript
facebook/hhvm
A virtual machine for executing programs written in Hack.
imathis/octopress
Octopress is an obsessively designed framework for Jekyll blogging. It’s easy to configure and easy to deploy. Sweet huh?
purcell/emacs.d
An Emacs configuration bundle with batteries included
gabrielelanaro/emacs-for-python
Collection of emacs extensions specifically collected for python development, with workflow guidelines!
flaneur2020/lyah
learn you a haskell for great good 中文版
zhendi/DoubanFM-CLI
run douban.fm on your shell
halida/planet-conquer
andreiz/vim-settings
A time-tested collection of Vim settings and plugins
sunng87/exaile-doubanfm-plugin
An alternative choice to enjoy personalized music from douban.fm
lastland/Tricks-Museum
a collection for interesting code tricks
fcy/footnote-octopress
Plugin to make simpler to create footnotes on posts
BYVoid/opencc-gui
Qt GUI for opencc
lastland/MINIX-3.1.7-Lottery-Scheduler
A patch to implement lottery scheduling policy on MINIX 3.1.7.
mogliang/Azure-Storage-Analytics-Viewer
Display azure storage metrics data in charts, and download log to local file.
thearth/doubandown
Download the red heart songs listed in douban.fm
lastland/Network-Assignments
My assignments for Jingyu Zhou's network course.
maximesong/basketball
Homework of Computer Graphics
lastland/DoubanFM-CLI
run douban.fm on your shell
lastland/p
A lite version of Linux ps command
lastland/rrpostgetter
统计人人网热门日志的常见词语及其出现频率
SidneyTTW/ImageProcessor
lastland/BasketballGym
My assignment for Computer Graphics course
lastland/ClassExchange
lastland/ImageProcessor
My assignment for Image Process course
lastland/Life-clj
A simple implementation of Conway's Game of Life in Clojure.
noenix/BoyaString
lastland/my-linux-conf
My Linux configuration files