Kevin Kappelmann (@kappelmann)
github

kappelmann

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    32
  • Global Rank 468,722 (Top 17 %)
  • Followers 26
  • Following 12
  • Registered over 10 years ago
  • Most used languages
    Isabelle     28.6 %
    Standard ML     14.3 %
    TypeScript
         14.3 %
    HTML
         14.3 %
    OCaml
         14.3 %
    Haskell
         14.3 %
  • Location 🇩🇪 Germany
  • Country Total Rank 20,673
  • Country Ranking
    Isabelle     9
    Standard ML     11
    OCaml
         24
    Haskell
         244
    HTML
         2,804
    TypeScript
         7,748

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
15
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