-
cwebbers-emacs-config Public
Christine Lemmer-Webber's emacs config
-
ocapn Public
Forked from ocapn/ocapnGeneral planning and documentation repository for the OCapN protocol suite for distributed networked objects
Apache License 2.0 UpdatedMar 1, 2023 -
rebooting-the-web-of-trust-fall2017 Public
Forked from WebOfTrustInfo/rwot5-bostonRWOT5 in Boston, Masachusetts
-
rebooting-the-web-of-trust-spring2018 Public
Forked from WebOfTrustInfo/rwot6-santabarbaraRWOT6 in Santa Barbara, California
-
-
rockit Public
Rockit is Guile tooling to translate James, a lispy language, into Jessica, a Javascript subset
-
raart Public
Forked from jeapostrophe/raartraart - racket ansi art
Racket Other UpdatedOct 4, 2021 -
srpnt Public
Forked from jeapostrophe/srpntsrpnt - synthesized, random pulse, noise, and triangle (wip)
Racket Other UpdatedOct 4, 2021 -
struct-define Public
Forked from jeapostrophe/struct-definestruct-define - quickly access fields of struct
Racket Other UpdatedOct 4, 2021 -
mode-lambda Public
Forked from jeapostrophe/mode-lambdamode-lambda - sprite-based 2D graphics engine
Racket Other UpdatedOct 4, 2021 -
lux Public
Forked from jeapostrophe/luxlux - a simple library for creating real-time graphical apps
Racket Other UpdatedOct 4, 2021 -
adqc Public
Forked from jeapostrophe/adqcadqc - A version of C with verification and resource bounds
Racket Other UpdatedOct 4, 2021 -
schism Public
Forked from google/schismA self-hosting Scheme to WebAssembly compiler
Scheme Apache License 2.0 UpdatedMay 3, 2021 -
-
agoric-sdk Public
Forked from Agoric/agoric-sdkmonorepo for the Agoric Javascript smart contract platform
JavaScript UpdatedJun 16, 2020 -
magit-annex Public
Forked from magit/magit-annexUse git-annex within Magit
Emacs Lisp UpdatedApr 2, 2020 -
rwot9-prague Public
Forked from WebOfTrustInfo/rwot9-pragueRWOT9 in Prague, The Czech Republic (September 2019)
-
jsonld-signatures Public
Forked from digitalbazaar/jsonld-signaturesAn implementation of the Linked Data Signatures specification for JSON-LD. Works in the browser and node.js.
JavaScript BSD 3-Clause "New" or "Revised" License UpdatedNov 9, 2018 -
vc-test-suite Public
Forked from w3c/vc-test-suiteVerifiable Claims WG Test Suite
Racket BSD 3-Clause "New" or "Revised" License UpdatedOct 23, 2018 -
vc-data-model Public
Forked from w3c/vc-data-modelVerifiable Claims Data Model and Representations specification
HTML Other UpdatedOct 16, 2018 -
rwot7 Public
Forked from WebOfTrustInfo/rwot7-torontoRWOT7 in Toronto, Canada (September 2018)
1 UpdatedSep 7, 2018 -
racket-linkeddata Public
Linked data tooling for the Racket programming language (json-ld, eventually more)
-
-
cl-ledger Public
Forked from ledger/cl-ledgerPort of the Ledger accounting system (see project "ledger") to Common Lisp
Common Lisp UpdatedFeb 12, 2018 -
json-ld.org Public
Forked from json-ld/json-ld.orgJSON for Linked Data
HTML Other UpdatedJan 27, 2018 -
ocap-ld Public
Forked from w3c-ccg/zcap-specLinked Data Object Capabilities specification
UpdatedDec 5, 2017 -
http-signatures Public
Forked from w3c-ccg/http-signaturesSigning HTTP Messages specification
XSLT UpdatedSep 18, 2017 -
fibers Public
Forked from wingo/fibersConcurrent ML-like concurrency for Guile
Scheme GNU Lesser General Public License v3.0 UpdatedAug 10, 2017 -
ld-signatures Public
Forked from w3c-ccg/ld-signaturesLinked Data Signatures enable digital signatures on Linked Data
HTML UpdatedApr 26, 2017 -
w3c-socialwg-activitystreams Public
Forked from w3c/activitystreamsActivity Streams 2.0 Editor Drafts
UpdatedFeb 28, 2017