Lambda Tamer 20091106FREEA collection of tools for formalizing programming languages and compilers, based around the Coq proof assistantRead More Rating:
ProofOS 0.1FREEThis project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.Read More Rating:
Dynamic web tools for Standard ML 0.1FREETools for developing dynamic web sitesusing the Standard ML programming language, including all the software you need to create PHP-style web sites with type-safe, statically checked page generationRead More Rating:
TOP DOWNLOADSlast weekTempoVPN21nthLink12Live Video Call - Girls Random Video Chat app9Radmin VPN8Snap VPN - VPN Master6Leaf VPN5Cyberpunk Icons & KWGT Widget5 View All Top Downloads
LATEST ADDITIONSRecently Added SoftwareViễn Chinh Mobile - game PK2026-11-05Alettifag School2026-11-05Thapki Pyar Ki Songs2026-11-05McxCenter2026-11-05Ikeja Electric CEM Application2026-11-05Tarla Dalal2026-11-05dodolK Language pack(한국어)2026-11-05 View All Top Additions
LATEST UPDATESRecently Updated SoftwareViễn Chinh Mobile - game PK2026-11-05Alettifag School2026-11-05Thapki Pyar Ki Songs2026-11-05McxCenter2026-11-05Ikeja Electric CEM Application2026-11-05Tarla Dalal2026-11-05dodolK Language pack(한국어)2026-11-05 View All Updates
