We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Python IRC bot
Python 380 232
Git index file parser, using python3
JavaScript 231 39
Concise implementation of a lisp-like language for low-end and embedded devices
C 99 14
Quick and flexible irc bot, extensible in any language
Python 52 22
Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
Idris 36 5
Tools for using TweetNaCl
C 23 9