laumann

laumann's Stars

• ebfull/nemo

  Session types for asynchronous networking

  Language:Rust20

• lcpz/awesome-copycats

  Awesome WM themes

  Language:Lua3.1k517

• Manishearth/compiletest-rs

  An extraction of the compiletest utility from the Rust compiler

  Language:Rust22061

• servo/servo

  Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

  Language:Rust29k3.1k

• Munksgaard/session-types

  Language:Rust55722

• laumann/goc

  C implementation of the board game Go.

  Language:C1

• laumann/aads

  Repo for Advanced Algorithms and Data Structures

  Language:Java21

• laumann/statml

  Group repository for Statistical Methods for Machine Learning

  Language:Matlab22

• laumann/csvn

  Collection of shell scripts to provide extra nifty features for client side subversion usage.

  Language:Shell1

• laumann/laumann.github.com

  Github page

  Language:CSS1

• laumann/tig

  Text-mode interface for git

  Language:C1

• torvalds/linux

  Linux kernel source tree

  Language:C186k54.8k

• laumann/jekyll

  Jekyll is a blog-aware, static site generator in Ruby

  Language:Ruby11

• codemirror/codemirror5

  In-browser code editor (version 5, legacy)

  Language:JavaScript26.9k5k

• laumann/gbeta-tutorial

  This project is about creating an online tutorial for teaching the programming language gbeta

  Language:JavaScript5

• 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.

  Language:Shell175k26k

• jonas/tig

  Text-mode interface for git

  Language:C12.6k622

• jekyll/jekyll

  :globe_with_meridians: Jekyll is a blog-aware static site generator in Ruby

  Language:Ruby49.5k10k

• joshuaclayton/blueprint-css

  A CSS framework that aims to cut down on your CSS development time

  Language:CSS5.3k593