Discover @julianthome Open Source projects

Julian (@julianthome)

julianthome

Stars
193
Global Rank 122,288 (Top 5 %)
Followers 42
Following 89
Registered over 10 years ago
Most used languages

Java
46.2 %

Shell
23.1 %

Ruby
7.7 %

Python
7.7 %

Lua
7.7 %

SMT 7.7 %
Location 🇱🇺 Luxembourg
Country Total Rank 67
Country Ranking

SMT 1

Java
7

Lua
9

Ruby
17

Shell
24

Python
52

inmemantlr

ANTLR as a libray for JVM based languages

smtlibv2-grammar

ANTLR SMT-LIB v2 Grammar

taggy

taggy - A tagging microservice for nextcloud

joanaudit

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

autorex

A dk.brics FSM to regular-expression-string converter

ctrans

Basic constraint transformation library

prex

Approximate Regular Expression Matcher

ranger

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

snake-love2d

A snake implementation using Lua and LOVE

hands-on-solvers

Hands-on Constraint Solving: Sudoku to SAT/SMT

acosolver

Hybrid String Constraint Solver for Vulnerability Analysis

biofuzz

A Crawljax plugin for testing webapplications

dwmgr

A configuration manager for dwm