Manuel Eberl (@pruvisto)
github

pruvisto

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    181
  • Global Rank 133,132 (Top 5 %)
  • Followers 31
  • Registered about 12 years ago
  • Most used languages
    Haskell
         50.0 %
    Isabelle     25.0 %
    Python
         12.5 %
    SCSS     12.5 %
  • Location 🇦🇹 Austria
  • Country Total Rank 719
  • Country Ranking
    Isabelle     1
    Haskell
         20
    SCSS     42
    Python
         115

Top repositories

1

debirdify

Python
161
star
2

heap

A flexible Haskell implementation of minimum, maximum, minimum-priority, maximum-priority and custom-ordered heaps.
Haskell
6
star
3

sturm

A formalisation of Sturm's theorem in Isabelle with an executable decision procedure
Isabelle
5
star
4

TRS

A simple term rewriting engine written in Haskell
Haskell
3
star
5

100isabelle

The Top 100 Theorems in Isabelle
SCSS
2
star
6

mockio

A pure implementation of a fragment of Haskell's IO actions for testing purposes
Haskell
2
star
7

lightpaste

A lightweight CGI-based paste bin written in Haskell
Haskell
1
star
8

Continued_Fractions

A library of continued fractions in Isabelle/HOL
Isabelle
1
star