🎶 a fast and simple multimedia fileserver

mawww's experiment for a better code editor

OBD2 scantool

Lua parser for the djot light markup language

minimal terminal emulator for wayland

The original Edinburgh LCF.

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

Bedrock Bit Vector Library

RISC-V Specification in Coq

HTTP Library for Lua. Supports HTTP(S) 1.0, 1.1 and 2.0; client and server.

WebSocket server for Ponylang🐴

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

The Ott tool for writing definitions of programming languages and calculi

An automatic theorem prover for first order logic with equality

WIP fork of musl that adds RISCV support. Currently implemented: floating point primitives, 64/32 bit support, support for systems without atomics, and soft-float support. Only static linking curre…

Read-only mirror of https://review.coreboot.org/coreboot.git. Synced every hour. We don't handle Pull Requests.

Debian's w3m: WWW browsable pager

Official chibi-scheme repository

A vi-like editor based on Plan 9's structural regular expressions

The MLton repository

The s6 supervision suite.

A device-file manager for *nix

Repository for eudev development

RISC-V Opcodes