Kamil Listopad (@Kamirus)
github

Kamirus

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    105
  • Global Rank 200,739 (Top 7 %)
  • Followers 17
  • Following 4
  • Registered over 8 years ago
  • Most used languages
    PureScript     42.9 %
    Coq     28.6 %
    Haskell
         14.3 %
    OCaml
         14.3 %
  • Location πŸ‡΅πŸ‡± Poland
  • Country Total Rank 1,837
  • Country Ranking
    Coq     2
    PureScript     2
    OCaml
         12
    Haskell
         46

Top repositories

1

purescript-selda

A type-safe, high-level SQL library for PureScript
PureScript
87
star
2

typechecker

Ongoing implementation of the "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
Haskell
6
star
3

ray-tracer

Rendering 3D scenes with geometric figures, mirrors, realistic shadows, depth of field and global illumination.
OCaml
4
star
4

lambda-formalizations

Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
Coq
3
star
5

purescript-functional-concepts

Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
PureScript
3
star
6

coq-course

Coq course materials with my solutions
Coq
1
star
7

purescript-annoy

PureScript
1
star