Mathias (@sirthias)
github

sirthias

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4,454
  • Global Rank 6,249 (Top 0.3 %)
  • Followers 377
  • Following 2
  • Registered about 15 years ago
  • Most used languages
    Scala
         64.7 %
    Java
         17.6 %
    Shell
         11.8 %
    JavaScript
         5.9 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 356
  • Country Ranking
    Scala
         5
    Java
         48
    Shell
         133

Top repositories

1

pegdown

A pure-Java Markdown processor based on a parboiled PEG parser supporting a number of extensions
Java
1,290
star
2

parboiled

Elegant parsing in Java and Scala - lightweight, easy-to-use, powerful.
Java
1,270
star
3

parboiled2

A macro-based PEG parser generator for Scala 2.10+
Scala
714
star
4

BlueForest

IntelliJ IDEA Dark Color Scheme for Java, Scala, Ruby, XML and more
Shell
285
star
5

scala-ssh

Remote shell access via SSH for your Scala applications
Scala
233
star
6

borer

Efficient CBOR and JSON (de)serialization in Scala
Scala
220
star
7

swave

A lightweight Reactive Streams Infrastructure Toolkit for Scala.
Scala
171
star
8

scala-benchmarking-template

SBT template project for creating Scala (micro-)benchmarks based on Caliper
Scala
89
star
9

macrolizer

Tiny Scala library for targeted macro debugging by logging properly formatted expansions at compile time
Scala
65
star
10

spliff

Efficient diffing in Scala
Scala
58
star
11

rs-comparison

Scala
23
star
12

scala-collections-charts

The Scala 2.8 Collections API main types as dot graphes (GraphViz)
Shell
16
star
13

javacn

A drop-in replacement for the "javac" ANT task, which automatically injects assertion code for @NotNull / @NonNull annotations
Java
3
star
14

sbt-idea

An integrated SBT + IDEA Scala Development Setup
Scala
3
star
15

elevation-map

Scala
2
star
16

benchmarks

Scala
1
star
17

TaskPaper

Sublime Text 2 Package for TaskPaper support
1
star
18

triggered-reload

Firefox Web Extension for Externally Triggered Reloading of Tabs
JavaScript
1
star