Block or Report
Block or report skloibi
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
tex_paper_toolkit Public
A simple Python DSL for serializing paper data into TeX format.
Python MIT License UpdatedJun 12, 2024 -
-
mysetup Public
My personal software setup on Linux distributions, automated with Ansible
-
jennifer.cr Public
Forked from imdrasil/jennifer.crCrystal ORM using ActiveRecord pattern with flexible query DSL
-
awesome-symbolic-execution Public
Forked from ksluckow/awesome-symbolic-executionA curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Creative Commons Zero v1.0 Universal UpdatedJan 25, 2020 -
boole2aiger Public
A simple tool that converts Boole files to their corresponding AIGER counterparts
-
java-bytecode-generator Public
Forked from jku-ssw/java-bytecode-generator -
java-bytecode-reducer Public
Forked from jku-ssw/java-bytecode-reducer -
the-line-must-be-drawn-here Public
Smalltalk / Pharo example project that showcases a simple drawing board application.
-
-
jpmb Public
Exercise repository for JKU Special Topic "Java Performance Monitoring and Benchmarking"
Java UpdatedSep 6, 2018 -
gulp-flatten-json Public
Forked from alirezamirian/gulp-flatten-jsonA gulp plugin for transforming json files to flattened version
JavaScript Apache License 2.0 UpdatedJul 19, 2018 -
bash-git-prompt Public
Forked from magicmonty/bash-git-promptAn informative and fancy bash prompt for Git users
Shell BSD 2-Clause "Simplified" License UpdatedJul 4, 2018 -
-
metalarchives-api Public
Forked from amiralies/metalarchives-apiRESTful API for metal-archives.com
JavaScript GNU General Public License v2.0 UpdatedMar 8, 2018 -
jku-traffic-system Public
Implementation of base functionality for a (partially) autonomous traffic system
Java UpdatedJan 17, 2018