Partha Susarla's repositories
qnap-finder
A program to list any active QNAP NAS boxes in a network
zeroskip
Zeroskip is a key-value database format.
Language:CMIT000
Language:HTML000
cakeml
CakeML: A Verified Implementation of ML
Language:Standard MLNOASSERTION000
Language:Rust000
Language:PerlNOASSERTION000
chiselstrike
ChiselStrike runtime for building full-stack from prototype to production.
Apache-2.0000
cogent
Proof-Code co-generation
Language:IsabelleNOASSERTION000
cyrus-imapd
Cyrus IMAP is an email, contacts and calendar server
Language:CNOASSERTION000
Language:CNOASSERTION000
Language:Emacs Lisp000
Language:HaskellBSD-3-Clause000
JMAP-TestSuite
tentative ideas for a JMAP test suite
Language:Perl000
Language:C000
Language:C000
learning
my learning area
Language:C000
Language:RustMIT000
Language:Perl000
p5-Net-APNs-HTTP2
APNs Provider API Client for Perl5
NOASSERTION000
Language:Rust000
Language:CMIT000
Synergy
a little annoying bot that annoys me a little
Language:Perl000
tekuti
Server-side blog engine written in Scheme
Language:SchemeGPL-3.0000
v8go
Execute JavaScript from Go
BSD-3-Clause000
Language:RustMIT000
Language:RustMIT000
Language:HaskellBSD-3-Clause000