Skip to content

Commit 8bbc1d0

Browse files
committed
Add Website
1 parent 8f2bdb6 commit 8bbc1d0

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

resources.md

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,10 +16,14 @@ description: Find LiquidJava papers, posters, and source repositories for deeper
1616
- [Usability-Oriented Design of Liquid Types for Java](https://icse2023.paperlessevents.com.au/share/Gamboa-85), ICSE 2023 digital poster session
1717
- [LiquidJava: Adding Lightweight Verification to Java](https://catarinagamboa.github.io/assets/docs/poster_LiquidJava.pdf), INForum 2021
1818

19-
## GitHub Repositories
19+
## GitHub Repositories
2020

2121
- [liquidjava](https://github.com/liquid-java/liquidjava)
2222
- [vscode-liquidjava](https://github.com/liquid-java/vscode-liquidjava)
2323
- [liquidjava-examples](https://github.com/liquid-java/liquidjava-examples)
2424
- [liquidjava-tutorial](https://github.com/liquid-java/liquidjava-tutorial)
2525
- [liquid-java-external-libs](https://github.com/liquid-java/liquid-java-external-libs)
26+
27+
## Website
28+
29+
- [LiquidJava Website](https://liquid-java.github.io)

0 commit comments

Comments
 (0)