Wojciech Jedynak (@wjzz)
github

wjzz

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    48
  • Global Rank 351,264 (Top 13 %)
  • Followers 17
  • Following 3
  • Registered almost 15 years ago
  • Most used languages
    Common Lisp
         20.0 %
    Haskell
         20.0 %
    Verilog     20.0 %
    Emacs Lisp
         20.0 %
    Coq     20.0 %
  • Location 🇵🇱 Poland
  • Country Total Rank 3,294
  • Country Ranking
    Coq     1
    Common Lisp
         15
    Verilog     28
    Emacs Lisp
         36
    Haskell
         39

Top repositories

1

Agda-reflection-for-semiring-solver

A simple demonstration of the Agda Reflection API
11
star
2

Agda-Representing-Monads

A formalization of some notions from the paper "Representing Monads" by Andrzej Filinski
8
star
3

Agda-small-developments-and-examples

A collection of mostly unrelated Agda programs which I found interesting in some way.
Coq
7
star
4

agda-DTP-examples

Haskell
7
star
5

Agda-mode-improvements

Some simple tools for agda-mode to make programming in Agda even more enjoyable.
Emacs Lisp
5
star
6

Combinatory-logic

A program for generating combinators with certain properties. Inspired by "To mock a mockingbird" by Raymon Smullyan.
Common Lisp
4
star
7

Agda-theorem-library

My collection of rather simple, but useful theorems about basic Agda data types
4
star
8

PumpingLemma

A formalization of the pumping lemma for regular languages in Coq
Verilog
2
star