Discover @tomtau Open Source projects

Tomas Tauber (@tomtau)

tomtau

Stars
64
Global Rank 286,771 (Top 10 %)
Followers 110
Following 27
Registered about 12 years ago
Most used languages

Rust
30.8 %

Kotlin
15.4 %

Java
15.4 %

TypeScript
7.7 %

OCaml
7.7 %

Haskell
7.7 %

Go
7.7 %

Elm
7.7 %
Location 🇭🇰 Hong Kong
Country Total Rank 839
Country Ranking

Elm
4

Haskell
12

OCaml
18

Rust
32

Kotlin
48

Go
191

TypeScript
371

Java
437

tmkms-light

hackatom

HackAtom V: prototype contract code for "clawbacks" of native and CW20 tokens

ElmdaWars

A (work-in-progress) port of LambdaWars to Elm

stub-corda-networkmap

A quick simple HTTP-based Corda network map for testing (not meant for production)

pest-web-debug

A web-based debugger for pest using Yew

travis

A simple Haskell client implementation using Travis CI API.

tmkms-threshold

CoolCubed

check-pubkey

xml_normaliser

XML Normalisation according to 'A Normal Form for XML Documents' (XNF) by Libkin and Arenas

hku-student-info

Useful information for new and current MPhil and PhD students in CS @ HKU

overleafslack

Overleaf Slackbot

kotlin-equals-ignoring-fields

Compares two data cases classes excluding specific field names

superbasic-im

web-proxy for WhatsApp Web that works on dumbphones