Konstantin Weitz (@konne88)
github

konne88

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    72
  • Global Rank 262,147 (Top 10 %)
  • Followers 25
  • Following 6
  • Registered over 14 years ago
  • Most used languages
    Coq     22.2 %
    Java
         16.7 %
    Python
         11.1 %
    C
         11.1 %
    C++
         11.1 %
    JavaScript
         5.6 %
    Prolog
         5.6 %
    Arduino     5.6 %
    C#
         5.6 %
    VHDL     5.6 %

Top repositories

1

bagpipe

BGP Policy Verification
Coq
24
star
2

SpaceSearch

Coq
9
star
3

Brainfuck-Processor

A simple brainfuck processor implemented in VHDL.
VHDL
7
star
4

Wallet

Android Wallet App
Java
5
star
5

Lotse

Visualizes GPS information. Features points of interests, wayfinding (without a map) and a cool visual radar overview. Great for geocaching, not so great for driving.
Python
4
star
6

PrologLispInterpreter

Lisp Interpreter written in Prolog
Prolog
3
star
7

Shareables

Once you use it, you'll know, to fundemental to deserve a description.
Java
2
star
8

konne88.github.io

Homepage
Coq
2
star
9

WebCharts

Simple but good looking Webbrowser Chart library.
JavaScript
2
star
10

CoqStdlib

Coq
1
star
11

Allan

1
star
12

ConsecutivePrimes

C++
1
star
13

pure

Home of the pure programming language
Java
1
star
14

MediaCMN

Tools to create a consistent music library.
Python
1
star
15

PrimeCalc

Effiecient prime number calculator
C
1
star
16

MyInventory

Gtk and C# based application allowing you to keep track of all the things you own.
C#
1
star
17

Robotics

A collection of robot software
Arduino
1
star
18

X-Site-Scripting

C++
1
star
19

C-Subset-Compiler

Compiler for a subset of the C language
C
1
star
20

Evol

Evolutionary Language
1
star