Tim Alberdingk Thijm (alberdingk-thijm)

alberdingk-thijm

Geek Repo

Company:@PrincetonUniversity

Home Page:www.cs.princeton.edu/~tthijm

Github PK Tool:Github PK Tool

Tim Alberdingk Thijm's repositories

dots

My dot files

Language:CSSStargazers:4Issues:0Issues:0

podesta

Fantasy settlement simulator/generator written in Rust

Language:RustLicense:GPL-2.0Stargazers:3Issues:4Issues:0

xrdb

A tiny Rust bindings library for X Resource Manager

Language:RustLicense:MITStargazers:3Issues:3Issues:1

aeval

AE-solver and Skolemizer

Language:SMTLicense:NOASSERTIONStargazers:2Issues:3Issues:0

settgen

Generate settlements for RPGs

Language:CLicense:GPL-2.0Stargazers:1Issues:0Issues:0

.vim

my .vim

Language:VimLStargazers:0Issues:0Issues:0

aether

A tiny weather monitor script using Wunderground's API

Language:ShellLicense:GPL-3.0Stargazers:0Issues:3Issues:0

aoc2018

Advent of Code 2018

Language:RustStargazers:0Issues:0Issues:0

base16-materia-scheme

Base16 Materia colors

Stargazers:0Issues:0Issues:0

blog

My blog

Language:CSSStargazers:0Issues:0Issues:0

dnd

My D&D-focussed blog and wiki

Language:CSSStargazers:0Issues:0Issues:0

doom-emacs

An Emacs configuration for the stubborn martian vimmer

License:MITStargazers:0Issues:0Issues:0

flesh-wounds

A Rusty D&D combat manager

Language:RustLicense:MITStargazers:0Issues:0Issues:0

graphics

A library for 2D graphics, written in Rust, that works with multiple back-ends

Language:RustLicense:MITStargazers:0Issues:0Issues:0

mortar-notes

Notes on how to synthesize and repair "walls" against attacks in BGP control planes

Stargazers:0Issues:0Issues:0
Language:CoqStargazers:0Issues:0Issues:0

old.github.io

GitHub page for my startpage

Language:HTMLStargazers:0Issues:0Issues:0

Portfolio

Projects of Tim Alberdingk Thijm

Language:JavaStargazers:0Issues:0Issues:0

printpdf

An easy-to-use library for writing PDF in Rust

Language:RustLicense:MITStargazers:0Issues:3Issues:0

refind-ambience

Minimal theme for the rEFInd boot manager

License:MITStargazers:0Issues:0Issues:0

tidal-music-linux

An electron based wrapper around the Tidal web player for Linux

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

trademaster

A roleplaying game trade system creator, based on the methodology of Alexis Smolensk

Language:PythonStargazers:0Issues:0Issues:0

tui-rs

Build terminal user interfaces and dashboards using Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0

void-packages

The XBPS source packages collection

Language:ShellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

x11-clipboard

x11 clipboard support for Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0

xcolors

A library to read X Resource Manager colours from Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0

Zen

Zen is a constraint solving library for .NET

Language:C#License:MITStargazers:0Issues:0Issues:0