sbp

Pinned Repositories

cadr
CADR Lisp Machine Simulator
Language:C10 4 02
duxlot
Superseded by https://github.com/sbp/saxo
Language:Python13 4 03
gin
Git index file parser, using python3
Language:JavaScript231 7 338
hedgehog
Concise implementation of a lisp-like language for low-end and embedded devices
Language:C100 11 114
idris-bi
Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
Language:Idris36 5 125
phenny
Python IRC bot
Language:Python379 25 19232
saxo
Quick and flexible irc bot, extensible in any language
Language:Python52 7 6922
tweetnacl-tools
Tools for using TweetNaCl
Language:C23 3 19
xoocycle
Xoocycle, a C90 implementation of the Xoodyak hash and AEAD construction
Language:C10 5 11

sbp's Repositories

sbp/phenny
Python IRC bot
Language:Python379 25 19232
sbp/gin
Git index file parser, using python3
Language:JavaScript231 7 338
sbp/saxo
Quick and flexible irc bot, extensible in any language
Language:Python52 7 6922
sbp/idris-bi
Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
Language:Idris36 5 125
sbp/tweetnacl-tools
Tools for using TweetNaCl
Language:C23 3 19
sbp/cadr
CADR Lisp Machine Simulator
Language:C10 4 02
sbp/xoocycle
Xoocycle, a C90 implementation of the Xoodyak hash and AEAD construction
Language:C10 5 11
sbp/cwm
CWM — A mirror of the W3C's Closed World Machine
Language:Python8 3 04
sbp/yosefk-forth
A FORTH using C as an intermediate language, by Yossi Kreinin.
Language:Python6 3 0
sbp/fountain
Write an input stream to multiple output streams
Language:Shell2 4 0
sbp/mmm
Metamath Miscellanea!
Language:C2 3 0
sbp/simplesha3
Simple SHA-3 implementation that works in Python 2 and 3.
Language:C2 3 0
sbp/dic32
Data integrity checker
Language:Python1 3 0
sbp/funs
The picolisp of python.
Language:Python1 3 0
sbp/acl2
ACL2 System and Books as Maintained by the Community
Language:Common Lisp2 0
sbp/ansible-modules-core
Ansible modules - these modules ship with ansible
Language:Python3 0
sbp/dotpy3
Heroku Python 3 eval app
Language:Python3 0
sbp/elas
Pythonic Elasticsearch API
Language:Python3 0
sbp/homebrew-core
:beers: Core formulae for the Homebrew package manager
Language:Ruby3 0
sbp/html
HTML Standard
Language:HTML2 0
sbp/hub
hub helps you win at git.
Language:Go3 01
sbp/incubator-ponymail
Apache Pony Mail (Incubating) - Email for Ponies & People
Language:JavaScript3 0
sbp/incubator-ponymail-foal
Apache Pony Mail Foal (Next Generation Suite)
Language:Python2 01
sbp/LizardHQ
An open source project about open source things
3 0
sbp/metamorphic
Converts HTML into Jade, HAML or Slim templates.
Language:JavaScript3 0
sbp/plune
The Plune Project
3 0
sbp/sbp.github.io
sbp.github.io
Language:Shell3 0
sbp/tsr
Archival, research, and documentation
3 1
sbp/typeshed
Collection of library stubs for Python, with static types
Language:Python1 0
sbp/yoleaux
An IRC bot.
Language:Ruby3 0