Explore @kg6 Open Source projects

@kg6

kg6

Stars
11
Global Org. Rank 150,937 (Top 48 %)
Registered over 12 years ago
Most used languages

JavaScript
50.0 %

Java
50.0 %
Location 🇦🇹 Austria
Country Total Rank 3,448
Country Ranking

Java
421

JavaScript
1,087

aig2qbf

A converter for And-Inverter Graphs (AIG) to Quantified Boolean Formulars (QBF) using Simple Path as reduction method.

MCM3

A simple Monte Carlo method editor using d3.js, jQuery and Twitter Bootstrap