Putting Wikipedia Snapshots on IPFS

The canonical spec for ulid

128-bit id generation in multiple formats

Manage system config using nix on any distro

Bring object capability, an powerful security diagram into Lua

A simpler, more sustainable way of web development

ODGen is a JavaScript Static Analysis tool to detect multiple types of vulnerabilities in Node.js packages.

Convert a public Tweet into embedded semantic HTML

A tiny (490b) utility to build JSON schema types.

Ron Rivest's sexpr (from http://people.csail.mit.edu/rivest/sexp.html)

xhyve, a lightweight OS X virtualization solution

ProVerif support for VSCode

Textual is an IRC client for OS X

Bitcoin Core release attestations (Guix)

LyX to I-D/RFC export by way of Lyx export to XHTML and XSLT conversion to xml2rfc schema

Control all your tooling from a single console

High-performance diffing of large datasets across databases

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp. (contact: @porcuquine)

A massively parallel, high-level programming language

This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.

🚀 A fast WebAssembly interpreter and the most universal WASM runtime

LLM verified with Monte Carlo Tree Search

Cerberus C semantics

Web-based environment for live coding algorithmic patterns, incorporating a faithful port of TidalCycles to JavaScript

A Python based REST framework for the Gnucash accounting application

Generate OCaml bindings from TypeScript definitions via the TypeScript compiler API

Interactively browse dependency graphs of Nix derivations.

Create delightful software with Jupyter Notebooks

Pure OCaml Wayland protocol implementation