cwebber Goto Github PK

adqc

adqc - A version of C with verification and resource bounds

agoric-sdk

monorepo for the Agoric Javascript smart contract platform

cc.license

celery

Distributed Task Queue (development branch)

cl-ledger

Port of the Ledger accounting system (see project "ledger") to Common Lisp

cliffer

Quickly file bank OXF/QXF reports into ledger via emacs

creativecommons.org

Creative Commons website

cwebbers-emacs-config

Christine Lemmer-Webber's emacs config

cypress

django-openid

Clone of Simon Willison's django-openid

emacslisten

emacslisten allows you to control emacs with your voice.

fibers

Concurrent ML-like concurrency for Guile

guix-notes

Notes on Guix

http-signatures

Signing HTTP Messages specification

hy

ὑμήνπτερόν

hy-mode

Hy mode for Emacs

json-ld.org

JSON for Linked Data

jsonld-signatures

An implementation of the Linked Data Signatures specification for JSON-LD. Works in the browser and node.js.

ld-signatures

Linked Data Signatures enable digital signatures on Linked Data

lux

lux - a simple library for creating real-time graphical apps

magit

It's Magit! An Emacs mode for Git.

magit-annex

Use git-annex within Magit

magit-review

Tool for code reviewing in emacs' magit. Like magit-wazzup, but more powerful.

minikanren

r6rs packaging of minikanren from "The Reasoned Schemer"

mode-lambda

mode-lambda - sprite-based 2D graphics engine

neveragaindottech.github.io

Source files for the neveragain.tech site

ocap-ld

Linked Data Object Capabilities specification

ocapn

General planning and documentation repository for the OCapN protocol suite for distributed networked objects

pamrel-el

Emacs client for Pamrel pastebin software

pelican

Static site generator that supports Markdown and reST syntax. Powered by Python.