Beast code in Giters

Sean B. Palmer's repositories

phenny

Python IRC bot

Language:Python380 26 19

gin

Git index file parser, using python3

Language:JavaScript225 7 3

saxo

Quick and flexible irc bot, extensible in any language

Language:PythonApache-2.052 7 69

idris-bi

Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq

Language:Idris36 5 12

tweetnacl-tools

Tools for using TweetNaCl

Language:C23 3 1

cadr

CADR Lisp Machine Simulator

Language:C10 40

xoocycle

Xoocycle, a C90 implementation of the Xoodyak hash and AEAD construction

Language:CApache-2.010 5 1

cwm

CWM — A mirror of the W3C's Closed World Machine

Language:PythonNOASSERTION8 30

yosefk-forth

A FORTH using C as an intermediate language, by Yossi Kreinin.

Language:Python6 30

fountain

Write an input stream to multiple output streams

Language:ShellGPL-2.02 40

mmm

Metamath Miscellanea!

Language:C2 30

simplesha3

Simple SHA-3 implementation that works in Python 2 and 3.

Language:C2 30

dic32

Data integrity checker

Language:Python1 30

funs

The picolisp of python.

Language:Python1 30

acl2

ACL2 System and Books as Maintained by the Community

Language:Common LispNOASSERTION020

ansible-modules-core

Ansible modules - these modules ship with ansible

Language:Python030

dotpy3

Heroku Python 3 eval app

Language:Python030

elas

Pythonic Elasticsearch API

Language:Python030

homebrew-core

:beers: Core formulae for the Homebrew package manager

Language:RubyNOASSERTION030

html

HTML Standard

Language:HTMLCC-BY-4.0020

hub

hub helps you win at git.

Language:GoMIT030

incubator-ponymail

Apache Pony Mail (Incubating) - Email for Ponies & People

Language:JavaScriptNOASSERTION030

incubator-ponymail-foal

Apache Pony Mail Foal (Next Generation Suite)

Language:PythonApache-2.0020

LizardHQ

An open source project about open source things

030

metamorphic

Converts HTML into Jade, HAML or Slim templates.

Language:JavaScriptNOASSERTION030

plune

The Plune Project

030

sbp.github.io

Language:Shell030

tsr

Archival, research, and documentation

02 1

typeshed

Collection of library stubs for Python, with static types

Language:PythonNOASSERTION010

yoleaux

An IRC bot.

Language:RubyNOASSERTION030