cwebber

rebooting-the-web-of-trust-spring2018

RWOT6 in Santa Barbara, California

racket-linkeddata

Linked data tooling for the Racket programming language (json-ld, eventually more)

cwebbers-emacs-config

Christine Lemmer-Webber's emacs config

rockit

Rockit is Guile tooling to translate James, a lispy language, into Jessica, a Javascript subset

racket2-rfcs

RFCs for Racket 2 design

rebooting-the-web-of-trust-fall2017

RWOT5 in Boston, Masachusetts

rwot9-prague

RWOT9 in Prague, The Czech Republic (September 2019)

rwot7

RWOT7 in Toronto, Canada (September 2018)

adqc

adqc - A version of C with verification and resource bounds

agoric-sdk

monorepo for the Agoric Javascript smart contract platform

cl-ledger

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

fibers

Concurrent ML-like concurrency for Guile

http-signatures

Signing HTTP Messages specification

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-annex

Use git-annex within Magit

mode-lambda

mode-lambda - sprite-based 2D graphics engine

ocap-ld

Linked Data Object Capabilities specification

ocapn

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

raart

raart - racket ansi art

racket

The Racket repository

schism

A self-hosting Scheme to WebAssembly compiler

scribble

srpnt

srpnt - synthesized, random pulse, noise, and triangle (wip)

struct-define

struct-define - quickly access fields of struct

vc-data-model

Verifiable Claims Data Model and Representations specification

vc-test-suite

Verifiable Claims WG Test Suite

w3c-socialwg-activitystreams

Activity Streams 2.0 Editor Drafts