- Grouping and Descriptive Categories (3)
- Linux (3)
- BSD (2)
- Modern (2)
- Windows (2)
- Emulation and API Compatibility (1)
- Mac (1)
- Programming Language: OCaml (Objective Caml) ×
This 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.
banshee-- A toolkit for building constraint-based program analyses4 weekly downloads
Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
Cloudbased voice solutions are common in enterprise networks and frustrating for operations teams to manage. Simplify VoIP monitoring by having a proactive analysis of on-prem, hybrid and UCaaS voice services. Try the ThousandEyes VoIP monitoring solution today, free.Advertisement