Mathias Soeken (@msoeken)
github

msoeken

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    235
  • Global Rank 108,520 (Top 4 %)
  • Followers 121
  • Following 5
  • Registered over 12 years ago
  • Most used languages
    C++
         43.8 %
    HTML
         12.5 %
    TeX
         12.5 %
    Python
         6.3 %
    Verilog     6.3 %
    Shell
         6.3 %
    C
         6.3 %
    C#
         6.3 %
  • Location ๐Ÿ‡จ๐Ÿ‡ญ Switzerland
  • Country Total Rank 1,226
  • Country Ranking
    Verilog     28
    TeX
         94
    C++
         121
    HTML
         876
    C#
         890
    Shell
         1,146
    C
         1,393
    Python
         4,580

Top repositories

1

cirkit

A circuit toolkit
C++
96
star
2

alice

C++ command shell library
C++
49
star
3

kitty

C++ truth table library
C++
46
star
4

revkit

RevKit: Python quantum compilation library and framework
C++
22
star
5

reversible-sota

State-of-the-art in reversible logic synthesis
TeX
12
star
6

pat

C++ dancing links solver
C++
2
star
7

iwls2018-contest

IWLS 2018 programming contest
TeX
2
star
8

header-only-sat

Some scripts to generate header-only versions of C++ SAT solvers
Shell
2
star
9

oebf

The On-Line Encyclopedia of Boolean Functions
HTML
2
star
10

cirkit-addon-plim

C++
2
star
11

qiskit-addon-revkit

RevKit oracles for Qiskit Aqua
Python
1
star
12

smp-qsharp

Q# examples for SmP talk
C#
1
star
13

cudd

Mirror of ABC (see http://vlsi.colorado.edu/~fabio/)
C
1
star
14

cirkit-addon-igraph

CirKit functions with igraph dependency
C++
1
star
15

msoeken.github.io

HTML
1
star
16

iwls2017-contest

IWLS 2017 programming contest
Verilog
1
star