t
tomprince
160 repositories
96 followers
Repositories
Select a repository to view its commits, contributors, and more.public
tabletop-tools
Python
9
2
5
Updated 6 months ago
public
txgithub
Python
9
5
5
Updated 2 years ago
public
rippling
Sean Wilson's rippling plugin.
Verilog
7
2
0
Updated 2 months ago
public
xdg-paths-el
Emacs Lisp
3
2
0
Updated 8 years ago
public
abstract_hint
Tactic to add proof of goal as a hint.
3
0
0
Updated 6 years ago
public
buildbot-configs
Python
1
1
0
Updated 8 years ago
public
nomenclature
Python
0
0
3
Updated 9 years ago
public
thunderbird-pulse
Tools for monitoring pulse messages related to thunderbird
Python
0
0
0
Updated 7 years ago
public
coq-misc
Verilog
0
0
0
Updated 10 years ago
public
gentoo-overlay
Emacs Lisp
0
1
0
Updated 10 years ago
public
spirit-island-community-challenge
Python
0
0
0
Updated 4 years ago
public
coq-reflect
Plugin to turn kernel constr's in to coq terms and back
Verilog
0
0
0
Updated 10 years ago