Pluggable type-checking for Java

Please see the Checker Framework manual. It appears in this repository (after you run `make -C checker/manual`): * checker/manual/manual.html * checker/manual/manual.pdf Prebuilt versions also appear on the web: * http://types.cs.

Related Repos

gojek Ziggurat Wiki Release Notes Upgrade Guide Description Dev Setup Usage Configuration Contribution Guidelines License Description Ziggurat is a framework built to simplify Stre

GZYangKui ChangLiao introduce Simulate the Wechat Client (PC version), using JavaFX development. Instructions JDK version should not be less than 10 or it will not work properly. jdk11 is recommended Parti

maekawatoshiki Ferrugo Ferrugo is a JVM implementation written in Rust. This is now just a toy project (for me/you to learn how it works). Current Status Able to run some classfiles. see ./examples/(Hello|BigInt|SmallPT).cla

doublechaintech The business suite for B2C omni-channel Commerce

jVirus jToolkit Last Update: 01/January/2019. If you like the project, please give it a star ⭐ It will show the creator your appreciation and help others to discover the repo. ✍️ About A colle

jerverless Turn anything into a serverless function.. Docker ready! jerverless is a serverless runner which will execute anything (binaries, commands or your scripts) as a serverless function. It simply pipes http POST data into STDIN

reneargento Algorithms Solutions to the exercises of the Algorithms book by Robert Sedgewick and Kevin Wayne (4th editon). I found the book to be an excellent resource to learning algorithms and data structures. Since there are not many (

web3j The JVM (Java, Android, Kotlin) implementation of the libp2p Networking Stack. Background web3j-libp2p is an implementation of the libp2p modular network stack for the Java virtual machine. Its