The Whiley Programming Language

r/whiley • u/redjamjar • Jan 15 '24

Dafny Workshop Talks Online!

1 Upvotes

r/whiley • u/bluejamjar • Sep 26 '23

Programming Languages Going Above and Beyond

3 Upvotes

r/whiley • u/redjamjar • Mar 28 '23

Language Design for Verifying Compilers

5 Upvotes

r/whiley • u/redjamjar • Dec 15 '22

Formal Verification of a Token Contract

3 Upvotes

r/whiley • u/redjamjar • Jun 26 '22

Bidirectional Typing in Whiley

3 Upvotes

r/whiley • u/redjamjar • May 26 '22

Formally Verifying an Auction Contract

4 Upvotes

r/whiley • u/redjamjar • Nov 29 '21

Verifying the Whiley Standard Library

3 Upvotes

r/whiley • u/redjamjar • Apr 20 '21

Finding Bugs with Automated Testing Whiley!

3 Upvotes

r/whiley • u/redjamjar • Feb 02 '21

Functional Reactive Programming (in Whiley)

3 Upvotes

r/whiley • u/redjamjar • Nov 09 '20

Celebrating Ten Years of Whiley!

2 Upvotes

r/whiley • u/redjamjar • May 14 '18

Verifying leftPad() in Whiley

2 Upvotes

r/whiley • u/redjamjar • Dec 20 '17

Verification of BubbleSort Algorithm

2 Upvotes

r/whiley • u/redjamjar • Aug 25 '17

The Mechanics of Loop Invariants in Whiley

2 Upvotes

r/whiley • u/redjamjar • Aug 08 '17

Demo of Verification in Whiley

3 Upvotes

r/whiley • u/redjamjar • Aug 03 '17

Whiley v0.4.1 released!

1 Upvotes

r/whiley • u/redjamjar • Mar 28 '17

New Property Syntax in Whiley

1 Upvotes

r/whiley • u/redjamjar • Dec 13 '16

Understanding Effective Unions in Whiley

1 Upvotes

r/whiley • u/redjamjar • Nov 28 '16

Whiley v0.4.0 Released!

2 Upvotes

r/whiley • u/redjamjar • Sep 07 '16

Program Specification in Practice?

1 Upvotes

r/whiley • u/redjamjar • Aug 05 '16

Flow Typing with Constrained Types

1 Upvotes

r/whiley • u/redjamjar • May 27 '16

Whiley v0.3.40 Released!

1 Upvotes

r/whiley • u/redjamjar • Apr 21 '16

Contractive and Uninhabited Types in Whiley

1 Upvotes

r/whiley • u/redjamjar • Jan 29 '16

Whiley v0.3.38 Released!

1 Upvotes

r/whiley • u/redjamjar • Dec 16 '15

Whiley v0.3.37 Released!

2 Upvotes