Karl Palmskog (@palmskog)
github

palmskog

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    58
  • Global Rank 307,272 (Top 11 %)
  • Followers 75
  • Registered about 14 years ago
  • Most used languages
    Coq     70.0 %
    Java
         20.0 %
    Standard ML     10.0 %
  • Location πŸ‡ΈπŸ‡ͺ Sweden
  • Country Total Rank 2,756
  • Country Ranking
    Coq     2
    Standard ML     4
    Java
         1,588

Top repositories

1

fitch

Certified proof checker for Fitch-style propositional logic proofs
Standard ML
6
star
2

ocaml-light

Coq
6
star
3

coind-sem-while

Coinductive trace-based semantics for the While language in Coq
Coq
3
star
4

chip

Change impact analysis in Coq and OCaml
Coq
3
star
5

bitoychain

Coq
2
star
6

pcc

Coq formalization of a proof carrying code framework for inlined reference monitors in Java bytecode
Coq
2
star
7

redblack

Coq
1
star
8

why-programs

Programs verified using the why toolchain
Java
1
star
9

coind-traces

Coq
1
star
10

velodrome

The Velodrome sound atomicity checker as implemented in Jikes RVM 3.1.3 by Biswas et al.
Java
1
star