Pinned Repositories
charcha
elfparser
A simple ELF parsing library.
mtpc
Gtk+ based mtp client for Linux
qnap-finder
A program to list any active QNAP NAS boxes in a network
rfc822-datetime-parser
tic-tac-toe
A curses based game of Tic Tac Toe.
xml2json
zeroskip
Zeroskip is a key-value database format.
cogent
Cogent Project
cyrus-imapd
Cyrus IMAP is an email, contacts and calendar server
ajaysusarla's Repositories
ajaysusarla/qnap-finder
A program to list any active QNAP NAS boxes in a network
ajaysusarla/charcha
ajaysusarla/rfc822-datetime-parser
ajaysusarla/xml2json
ajaysusarla/zeroskip
Zeroskip is a key-value database format.
ajaysusarla/ajaysusarla.github.io
ajaysusarla/cakeml
CakeML: A Verified Implementation of ML
ajaysusarla/carddavcli
ajaysusarla/cassandane
ajaysusarla/chiselstrike
ChiselStrike runtime for building full-stack from prototype to production.
ajaysusarla/cogent
Proof-Code co-generation
ajaysusarla/cyrus-imapd
Cyrus IMAP is an email, contacts and calendar server
ajaysusarla/cyrus-sasl
ajaysusarla/emacs.d
ajaysusarla/jmap-hs
ajaysusarla/JMAP-TestSuite
tentative ideas for a JMAP test suite
ajaysusarla/kixfs
ajaysusarla/kixterm
ajaysusarla/learning
my learning area
ajaysusarla/mio-vfs
ajaysusarla/Net-CalDAVTalk
ajaysusarla/p5-Net-APNs-HTTP2
APNs Provider API Client for Perl5
ajaysusarla/rfc822dtparser
ajaysusarla/skiplistdb
ajaysusarla/Synergy
a little annoying bot that annoys me a little
ajaysusarla/tekuti
Server-side blog engine written in Scheme
ajaysusarla/v8go
Execute JavaScript from Go
ajaysusarla/vfsd
ajaysusarla/vfsproxy
ajaysusarla/yapper