JavaBDD 1FREEJava library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc.Read More Rating:
joeq virtual machine 1.4.2FREEA Java 2 (JDK 1.3/1.4) compatible virtual machine. joeq is unique in that it is almost entirely implemented in Java, making it reliable and efficient. It is also language-independent, so code from any language can be seamlessly and dynamically...Read More Rating:
TOP DOWNLOADSlast weekLive Video Call - Girls Random Video Chat app106TempoVPN87nthLink67V2Box - V2ray Client56SpaceEngine26AnyGo26Radmin VPN18 View All Top Downloads
LATEST ADDITIONSRecently Added SoftwareRGB MPS2026-11-08游戏攻略For巫师3：狂猎2026-11-08MonexFX SPEED2026-11-08國會Online 22026-11-082代目 Nソウル みそぽん2026-11-08رفيق المصلي2026-11-08Harel for tourists2026-11-08 View All Top Additions
LATEST UPDATESRecently Updated SoftwareRGB MPS2026-11-08游戏攻略For巫师3：狂猎2026-11-08MonexFX SPEED2026-11-08國會Online 22026-11-082代目 Nソウル みそぽん2026-11-08رفيق المصلي2026-11-08Harel for tourists2026-11-08 View All Updates
