Julian (@julianthome)
github

julianthome

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    191
  • Global Rank 127,734 (Top 5 %)
  • Followers 44
  • Following 91
  • Registered about 11 years ago
  • Most used languages
    Java
         46.2 %
    Shell
         23.1 %
    Python
         7.7 %
    Lua
         7.7 %
    SMT     7.7 %
    Ruby
         7.7 %
  • Location πŸ‡±πŸ‡Ί Luxembourg
  • Country Total Rank 67
  • Country Ranking
    SMT     1
    Java
         7
    Lua
         7
    Ruby
         15
    Shell
         22
    Python
         57

Top repositories

1

inmemantlr

ANTLR as a libray for JVM based languages
Java
104
star
2

smtlibv2-grammar

ANTLR SMT-LIB v2 Grammar
SMT
20
star
3

taggy

taggy - A tagging microservice for nextcloud
Python
16
star
4

joanaudit

JoanAudit - A security slicing tool that helps security auditors to perform their security auditing tasks more efficiently
Shell
11
star
5

autorex

A dk.brics FSM to regular-expression-string converter
Java
10
star
6

ctrans

Basic constraint transformation library
Java
8
star
7

prex

Approximate Regular Expression Matcher
Java
6
star
8

ranger

ranger: a library for dealing with boolean and numeric scattered, non-consecutive ranges
Java
4
star
9

snake-love2d

A snake implementation using Lua and LOVE
Lua
2
star
10

hands-on-solvers

Hands-on Constraint Solving: Sudoku to SAT/SMT
Ruby
2
star
11

acosolver

Hybrid String Constraint Solver for Vulnerability Analysis
Shell
2
star
12

biofuzz

A Crawljax plugin for testing webapplications
Java
2
star
13

dwmgr

A configuration manager for dwm
Shell
1
star