Настольные ПК
Мобильные платформы
Планшеты
Разработка
Браузеры
Остальные
- Self Hosted • 239 ,
- Palm Pre • 107 ,
- Kindle Fire • 71 ,
- Safari • 69 ,
- Windows Explorer • 68 ,
- Haiku • 61 ,
- Wordpress • 51 ,
- Microsoft Office Outlook • 30 ,
- Adobe Photoshop • 23 ,
- Visual Studio • 23 ,
- Eclipse • 23 ,
- Mozilla Thunderbird • 22 ,
- Net Framework • 21 ,
- 3Ds Max • 18 ,
- Microsoft Excel • 16 ,
- Seamonkey • 14 ,
- Skype • 12 ,
- Wine • 10
Agda
Programming Language
Verification
Mathematics
Safety
Proofs
Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs interfa...
Открытое ПO
Linux
Windows
macOS