jppa 0.09FREEjppa is a pointer and purity analysis tool for Java programs. Mainly a purity analysis tool: given a full Java program, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate new ones).Read More Rating:
jpaul 2.5.1FREEjpaul is a Java implementation of severalalgorithms widely used in program analysis. It emphasizesflexibility and ease-of-use and is independent of any specificcompiler infrastructure project. BSD Licence.Read More Rating:
athena-dpl 0.1FREEAthena is an interactive theorem prover, liberated from the "proofs are types" dogma!Read More Rating:
TOP DOWNLOADSlast weekLive Video Call - Girls Random Video Chat app106TempoVPN87nthLink67V2Box - V2ray Client56SpaceEngine26AnyGo26Radmin VPN18 View All Top Downloads
LATEST ADDITIONSRecently Added SoftwareVivaldi Browser: Fast, Private2026-11-11Opera Mini: Fast Web Browser2026-11-11صيد الضبان2026-11-11Button: Baby Weather & Outfits2026-11-11Radio Agricultura 101.3 FM2026-11-11Radio La Costa 106.1 FM2026-11-11Clean The Map: City Cleanup2026-11-11 View All Top Additions
LATEST UPDATESRecently Updated SoftwareVivaldi Browser: Fast, Private2026-11-11Opera Mini: Fast Web Browser2026-11-11صيد الضبان2026-11-11Button: Baby Weather & Outfits2026-11-11Radio Agricultura 101.3 FM2026-11-11Radio La Costa 106.1 FM2026-11-11Clean The Map: City Cleanup2026-11-11 View All Updates
