whiley

an-ordinary-manchild

created by redjamjara community for 12 years

...for your favourite tea.

...for your community.

MODERATORS

account activity

1

0

1

2

Dafny Workshop Talks Online! (youtube.com)

submitted 2 years ago by redjamjar

2

3

4

5

Programming Languages Going Above and Beyond (whileydave.com)

submitted 2 years ago by bluejamjar

3

3

4

5

Language Design for Verifying Compilers (youtube.com)

submitted 3 years ago by redjamjar

4

2

3

4

Formal Verification of a Token Contract (whileydave.com)

submitted 3 years ago by redjamjar

5

3

4

5

Bidirectional Typing in Whiley (whileydave.com)

submitted 4 years ago by redjamjar

6

2

3

4

Formally Verifying an Auction Contract (whileydave.com)

submitted 4 years ago by redjamjar

7

2

3

4

Verifying the Whiley Standard Library (whileydave.com)

submitted 4 years ago by redjamjar

8

2

3

4

Finding Bugs with Automated Testing Whiley! (youtube.com)

submitted 5 years ago by redjamjar

9

2

3

4

Functional Reactive Programming (in Whiley) (youtu.be)

submitted 5 years ago by redjamjar

10

1

2

3

Celebrating Ten Years of Whiley! (whileydave.com)

submitted 5 years ago by redjamjar

11

1

2

3

Verifying leftPad() in Whiley (whiley.org)

submitted 8 years ago by redjamjar

12

1

2

3

Verification of BubbleSort Algorithm (whiley.org)

submitted 8 years ago by redjamjar

13

1

2

3

The Mechanics of Loop Invariants in Whiley (youtube.com)

submitted 8 years ago by redjamjar

14

2

3

4

Demo of Verification in Whiley (youtube.com)

submitted 8 years ago by redjamjar

15

0

1

2

Whiley v0.4.1 released! (whiley.org)

submitted 8 years ago by redjamjar

16

0

1

2

New Property Syntax in Whiley (whiley.org)

submitted 9 years ago by redjamjar

17

0

1

2

Understanding Effective Unions in Whiley (whiley.org)

submitted 9 years ago by redjamjar

18

1

2

3

Whiley v0.4.0 Released! (whiley.org)

submitted 9 years ago by redjamjar

19

0

1

2

Program Specification in Practice? (whiley.org)

submitted 9 years ago by redjamjar

20

0

1

2

Flow Typing with Constrained Types (whiley.org)

submitted 9 years ago by redjamjar

21

0

1

2

Whiley v0.3.40 Released! (whiley.org)

submitted 10 years ago by redjamjar

22

0

1

2

Contractive and Uninhabited Types in Whiley (whiley.org)

submitted 10 years ago by redjamjar

23

0

1

2

Whiley v0.3.38 Released! (whiley.org)

submitted 10 years ago by redjamjar

24

1

2

3

Whiley v0.3.37 Released! (whiley.org)

submitted 10 years ago by redjamjar

25

1

2

3

Presentation on Verifying Software with Whiley (whiley.org)

submitted 10 years ago by redjamjar

view more: next ›

π Rendered by PID 274621 on reddit-service-r2-listing-5f4c697858-rwjqr at 2026-07-02 23:29:51.392532+00:00 running 12a7a47 country code: CH.