sbp Goto Github PK

acl2

ACL2 System and Books as Maintained by the Community

ansible-modules-core

Ansible modules - these modules ship with ansible

cadr

CADR Lisp Machine Simulator

coffee-script

Unfancy JavaScript

cwm

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

dic32

Data integrity checker

dotpy3

Heroku Python 3 eval app

duxlot

Superseded by https://github.com/sbp/saxo

elas

Pythonic Elasticsearch API

fountain

Write an input stream to multiple output streams

funs

The picolisp of python.

gin

Git index file parser, using python3

hedgehog

Concise implementation of a lisp-like language for low-end and embedded devices

homebrew

The missing package manager for OS X.

homebrew-core

:beers: Core formulae for the Homebrew package manager

html

HTML Standard

hub

hub helps you win at git.

hy

ὑμήνπτερόν

idris-bi

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

incubator-ponymail

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

incubator-ponymail-foal

Apache Pony Mail Foal (Next Generation Suite)

jonesforth

JONESFORTH, by Richard W. M. Jones. Public domain software

jot

Static website CMS using python

lemacs

Archive of Lucid Emacs, containing all the releases from 19.0.00 to 19.10

linux-ng

lizardhq

An open source project about open source things

metamorphic

Converts HTML into Jade, HAML or Slim templates.

mlp-guide

An episode guide for My Little Pony: Friendship is Magic

mmm

Metamath Miscellanea!

octavo

Rich web editor in JavaScript, allowing WYSIWYG HTML5 editing