Kevin Kappelmann (@kappelmann)
github

kappelmann

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    30
  • Global Rank 479,099 (Top 17 %)
  • Followers 26
  • Following 12
  • Registered about 10 years ago
  • Most used languages
    Isabelle     28.6 %
    OCaml
         14.3 %
    HTML
         14.3 %
    Haskell
         14.3 %
    Standard ML     14.3 %
    TypeScript
         14.3 %
  • Location 🇩🇪 Germany
  • Country Total Rank 20,673
  • Country Ranking
    Isabelle     8
    Standard ML     11
    OCaml
         31
    Haskell
         258
    HTML
         2,748
    TypeScript
         7,836

Top repositories

1

eidi2_repetitorium_tum

This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich.
OCaml
13
star
2

engaging-large-scale-functional-programming

Haskell
6
star
3

foss_course

A university course template to teach about Free and Open-Source Software (FOSS)
HTML
4
star
4

Isabelle-Set

Soft types for Isabelle - bringing types to the world of set-theory.
Isabelle
3
star
5

SpecCheck

QuickCheck-like testing framework for Isabelle/ML
Standard ML
2
star
6

actnow_email

Create email templates and share them with others; supports contact data backends.
TypeScript
1
star
7

transport-isabelle

Theory of Transporting Definitions and Proofs via Galois Connections and Equivalences in Isabelle
Isabelle
1
star