Valentin Mayer-Eichberger (@vale1410)
github

vale1410

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    47
  • Global Rank 356,388 (Top 13 %)
  • Followers 21
  • Following 65
  • Registered almost 14 years ago
  • Most used languages
    Go
         55.6 %
    Prolog
         11.1 %
    OCaml
         11.1 %
    Shell
         11.1 %
    Vim Script
         11.1 %
  • Location 🇩🇪 Germany
  • Country Total Rank 16,002
  • Country Ranking
    OCaml
         21
    Prolog
         110
    Vim Script
         125
    Go
         2,426
    Shell
         5,227

Top repositories

1

bule

The SAT and QBF Programming Language Bule
OCaml
21
star
2

vim-minizinc

Syntax highlighting for minizinc (CP) and gringo (ASP) source code.
Vim Script
16
star
3

almost-squared

An attempt to solve the almost squared problem more than 26*27
Shell
2
star
4

bisi

QSAT Programming for Bisimulation
1
star
5

csv2md

Simple CSV to markdown converter written in golang
Go
1
star
6

upbdd

an implementation of the upbdd idea
Prolog
1
star
7

car-sequencing

CNF generator for car-sequencing problems from http://csplib.org/Problems/prob001/
1
star
8

positional-games-qbf-encoding

Encodings for positional games in QBF
Go
1
star
9

SMPTSP

A SAT Approach for SMPTSP
Go
1
star
10

cars

Modelling attempts for the car sequencing problem from the CSPLIB
Go
1
star
11

mps2opt

An simple .mps MIPLIB converter to other formats.
Go
1
star