Discover @thpani Open Source projects

Thomas Pani (@thpani)

thpani

Stars
31
Global Rank 479,903 (Top 17 %)
Followers 22
Following 5
Registered over 15 years ago
Most used languages

C++
14.3 %

Vim Script
14.3 %

Python
14.3 %

Elixir
14.3 %

OCaml
14.3 %

JavaScript
14.3 %

Ruby
14.3 %
Location 🇦🇹 Austria
Country Total Rank 2,096
Country Ranking

OCaml
7

Elixir
13

Vim Script
72

Ruby
283

Python
755

JavaScript
864

C++
1,026

hdapsicon

HDAPSicon: GTK HDAPS monitor (formerly ThinkHDAPS)

netatalk-armhf

Netatalk 3 .deb's for Raspberry Pi

kripkebuilder

Interactive frontend for manipulating kripke structures and evaluating temporal logic formulae.

notify-osd-overlay

Gentoo overlay for porting NotifyOSD from Ubuntu.

coachman

COACHMAN: COmplexity Analyzer for Concurrent Heap-MANipulating programs

clang-tools-extra

clang-tools-extra including sloopy. Sloopy computes heuristics to empirically determine difficulty of automated program analysis for loops in C programs.

brewfiles

dotfiles