@schwering
github

schwering

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    253
  • Global Rank 102,269 (Top 4 %)
  • Followers 13
  • Following 9
  • Registered about 14 years ago
  • Most used languages
    Ada
         28.6 %
    MATLAB
         14.3 %
    TeX
         14.3 %
    C++
         14.3 %
    HTML
         14.3 %
    Haskell
         14.3 %
  • Location 🇩🇪 Germany
  • Country Total Rank 5,225
  • Country Ranking
    Ada
         20
    Haskell
         235
    C++
         424
    MATLAB
         986
    TeX
         1,330
    HTML
         3,089

Top repositories

1

limbo

A Reasoning System for a First-Order Logic of Limited Belief, written in C++
C++
237
star
2

golog

Plan recognition system based on the situation calculus and action language Golog, written in Haskell
Haskell
6
star
3

shared-autofill

Allows Autofill to fill into a cross-origin iframe.
HTML
4
star
4

sat

SAT solver for education
TeX
2
star
5

regexp

A regular expression library for Ada with support for intersection, union, etc.
Ada
1
star
6

db6

A column-oriented database management system, written in Ada
Ada
1
star
7

prgolog-old

Plan recognition system based on the situation calculus and Golog written in Mercury.
MATLAB
1
star