Partha Susarla's repositories
qnap-finder
A program to list any active QNAP NAS boxes in a network
cakeml
CakeML: A Verified Implementation of ML
Language:Standard MLNOASSERTION000
chiselstrike
ChiselStrike runtime for building full-stack from prototype to production.
cyrus-imapd
Cyrus IMAP is an email, contacts and calendar server
Language:CNOASSERTION000
JMAP-TestSuite
tentative ideas for a JMAP test suite
Language:Perl000
p5-Net-APNs-HTTP2
APNs Provider API Client for Perl5
Language:Rust000
v8go
Execute JavaScript from Go
BSD-3-Clause000
Language:HaskellBSD-3-Clause000